You are here

Home › Research › Publications ›

Adding State to Stream Runtime Verification

TitleAdding State to Stream Runtime Verification
Publication TypeConference Paper
Year of Publication2024
AuthorsCaldeira, M, Kallwies, H, Leucker, M, Thoma, D
Conference Name24th International Conference on Runtime Verification
Volume15191
Date Published10/2024
PublisherSpringer, Cham
Conference LocationIstanbul, Turkey
ISBN Number978-3-031-74234-7
KeywordsAutomata, Monads, Stream Runtime Verification
URLhttps://link.springer.com/chapter/10.1007/978-3-031-74234-7_10
DOI10.1007/978-3-031-74234-7_10
Bibtex: 
@inproceedings {1449,
	title = {Adding State to Stream Runtime Verification},
	booktitle = {24th International Conference on Runtime Verification},
	volume = {15191},
	year = {2024},
	month = {10/2024},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	address = {Istanbul, Turkey},
	keywords = {Automata, Monads, Stream Runtime Verification},
	isbn = {978-3-031-74234-7},
	doi = {10.1007/978-3-031-74234-7_10},
	url = {https://link.springer.com/chapter/10.1007/978-3-031-74234-7_10},
	author = {Manuel Caldeira and Hannes Kallwies and Martin Leucker and Daniel Thoma}
}