1. High-Integrity Runtime Verification;Computer;2024-04
2. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services;Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems;2023-06-19
4. Run-Time Monitors Design for Adaptive Radar Systems: A Practical Framework;2023 IEEE Radar Conference (RadarConf23);2023-05-01
5. Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform;Journal of Systems and Software;2023-04