1. Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL;International Journal on Software Tools for Technology Transfer;2022-09-03
2. Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach;Electronic Proceedings in Theoretical Computer Science;2022-07-14
3. STLmc: Robust STL Model Checking of Hybrid Systems Using SMT;Computer Aided Verification;2022
4. Efficient SMT-Based Model Checking for Signal Temporal Logic;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
5. Categorical Semantics of Cyber-Physical Systems Theory;ACM Transactions on Cyber-Physical Systems;2021-07-31