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
- Intrusion Detection Systems: A Cross-Domain Overview. IEEE Communications Surveys & Tutorials. 21:3639-3681. 2019
-
blog posting
- The Generic SysML/KAOS Domain Metamodel.. arXiv (Cornell University). 2018
-
chapter
- Proving Local Invariants in ASTDs. Lecture notes in computer science. 228-246. 2023
- 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
- Intrusion Detection Using ASTDs. Advances in intelligent systems and computing. 1397-1411. 2020
- Modeling of a Speed Control System Using Event-B. Lecture notes in computer science. 367-381. 2020
- An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. Lecture notes in computer science. 353-366. 2018
- Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. Lecture notes in computer science. 262-276. 2018
-
conference paper
- Back Propagating B System Updates on SysML/KAOS Domain Models. . 160-169. 2018
- Extended Algebraic State-Transition Diagrams. . 146-155. 2018
- Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. . 1-5. 2017
- Verification of SGAC Access Control Policies Using Alloy and ProB. . 120-123. 2017
- Verifying the Precedence Property Pattern Using the B Method. . 229-233. 2014
- Proving the Absence Property Pattern Using the B Method. . 167-170. 2012
- Proving Non-interference on Reachability Properties: A Refinement Approach. . 25-32. 2011
-
report
Co-author Network