1. Verifying Opacity of a Modified PSTM;2019 International Symposium on Theoretical Aspects of Software Engineering (TASE);2019-07
2. Semantics of Real-Time Trigger-Response Properties in Event-B;2018 International Symposium on Theoretical Aspects of Software Engineering (TASE);2018-08
3. Refinement of Timing Constraints for Concurrent Tasks with Scheduling;Lecture Notes in Computer Science;2018
4. Defining Fairness in Reactive and Concurrent Systems;Journal of the ACM;2012-06
5. Verification methods for the divergent runs of clock systems;Lecture Notes in Computer Science;1994