Record link: 
http://hdl.handle.net/20.500.12708/219667
-
Title: 
Execution and Monitoring of HOA Automata with HOAX
en
Citation: 
Di Stefano, L. (2025). Execution and Monitoring of HOA Automata with HOAX. In Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings (pp. 44–53). Springer, Cham. https://doi.org/10.1007/978-3-032-05435-7_3
-
Publisher DOI: 
10.1007/978-3-032-05435-7_3
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Di Stefano, Luca 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Published in: 
Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 
-
ISBN: 
978-3-032-05435-7
-
Volume: 
16087
-
Date (published): 
12-Sep-2025
-
Event name: 
25th International Conference on Runtime Verification (RV 2025) 
en
Event date: 
15-Sep-2025 - 19-Sep-2025
-
Event place: 
Graz, Austria
-
Number of Pages: 
10
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Runtime Verification; Monitoring; monitorability
en
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

10
checked on Oct 6, 2025

Google ScholarTM

Check