2024
Bat2Web: A Framework for Real-Time Classification of Bat Species Echolocation Signals Using Audio Sensor Data.
Sensors, May, 2024
Can GPT-4 Aid in Detecting Ambiguities, Inconsistencies, and Incompleteness in Requirements Analysis? A Comprehensive Case Study.
IEEE Access, 2024
2023
Designing Critical Systems Using Hierarchical STPA and Event-B.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
2022
Developing the UML-B Modelling Tools.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Building an Extensible Textual Framework for the Rodin Platform.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Generating SPARK from Event-B, Providing Fundamental Safety and Security.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022
2021
Domain-specific scenarios for refinement-based methods.
J. Syst. Archit., 2021
Refinable Record Structures in Formal Methods.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021
The CamilleX Framework for the Rodin Platform.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
Extensible Record Structures in Event-B.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
Verifying System-Level Security of a Smart Ballot Box.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
2020
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.
Int. J. Softw. Tools Technol. Transf., 2020
2019
Formal Model Validation Through Acceptance Tests.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Domain-Specific Scenarios for Refinement-Based Methods.
Proceedings of the New Trends in Model and Data Engineering, 2019
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
2018
Behaviour-Driven Formal Model Development.
Proceedings of the Formal Methods and Software Engineering, 2018
Reusing Formal Models via Lifting.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Extending the ERS approach for workflow modelling in Event-B.
PhD thesis, 2017
Formal Modelling Techniques for Efficient Development of Railway Control Products.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Class-Diagrams for Abstract Data Types.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017
A Composition Mechanism for Refinement-Based Methods.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Extending ERS for Modelling Dynamic Workflows in Event-B.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
2016
A Graphical Tool for Event Refinement Structures in Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2013
Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013