selected publications
-
academic article
- An Event-B model of an automotive adaptive exterior light system. International Journal on Software Tools for Technology Transfer. 26:331-346. 2024
- A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer. 22:333-347. 2019
- Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer. 22:349-363. 2019
- A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Information and Software Technology. 92:158-178. 2017
- Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer. 19:167-186. 2015
-
blog posting
- The Generic SysML/KAOS Domain Metamodel.. arXiv (Cornell University). 2018
-
chapter
- Integrating Domain Modeling Within a Formal Requirements Engineering Method. Springer eBooks. 39-58. 2020
- An Event-B Model of an Automotive Adaptive Exterior Light System. Lecture notes in computer science. 351-366. 2020
- Modelling Hybrid Programs with Event-B. Lecture notes in computer science. 139-154. 2020
- Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. Lecture notes in computer science. 262-276. 2018
- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. Lecture notes in computer science. 325-339. 2016
- Modeling a Landing Gear System in Event-B. Communications in computer and information science. 80-94. 2014
-
conference paper
- A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. . 71-83. 2023
- Back Propagating B System Updates on SysML/KAOS Domain Models. . 160-169. 2018
- Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. . 1-5. 2017
- A tool for the generation of a secure access control filter. . 1-12. 2016
-
document
-
report
Co-author Network