1. Teaching and Training in Formalisation with B;Formal Methods Teaching;2023
2. Resource Aware Synthesis of Automotive Security Primitives;Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems;2023
3. Formal Validation of Interlocking Under Signaling Rules;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12
4. Designing Operating Rules for ERTMS Transnational Lines;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12
5. Fault Tolerant Sensor Network Using Formal Method Event-B;Software Engineering and Algorithms;2021