1. Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Resource Aware Synthesis of Automotive Security Primitives;Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems;2023
3. Teaching and Training in Formalisation with B;Formal Methods Teaching;2023
4. Formal Validation of Interlocking Under Signaling Rules;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12
5. Designing Operating Rules for ERTMS Transnational Lines;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12