Cited By
View all- Chalupa MMuehlboeck FMuroya Lei SHenzinger T(2024)Vamos: Middleware for Best-Effort Third-Party MonitoringScience of Computer Programming10.1016/j.scico.2024.103212(103212)Online publication date: Sep-2024
- Chalupa MMuehlboeck FLei SHenzinger T(2023)Vamos: Middleware for Best-Effort Third-Party MonitoringFundamental Approaches to Software Engineering10.1007/978-3-031-30826-0_15(260-281)Online publication date: 22-Apr-2023
- Xie KHallé SHung CHong JBechini ASong E(2021)Offline monitoring of LTL with bit vectorsProceedings of the 36th Annual ACM Symposium on Applied Computing10.1145/3412841.3442138(1833-1836)Online publication date: 22-Mar-2021
- Show More Cited By