1. Model checking distributed temporal logic;Logic Journal of the IGPL;2024-05-16
2. Network Simulator-Centric Compositional Testing;Lecture Notes in Computer Science;2024
3. Symbolic Model Checking Using Intervals of Vectors;Lecture Notes in Computer Science;2024
4. Sense Amplifier Offset Error Correction Method for High Speed Systems;2023 International Conference on Electrical, Computer and Energy Technologies (ICECET);2023-11-16
5. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01