1. 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
2. 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
3. Run-Time Monitors Design for Adaptive Radar Systems: A Practical Framework;2023 IEEE Radar Conference (RadarConf23);2023-05-01
4. Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform;Journal of Systems and Software;2023-04
5. Trace contracts;Journal of Functional Programming;2023