2026

Fabian Vu, Jan Gruteser, Philipp Körner, Michael Leuschel, David Geleßus, Miles Vella
Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones.
In Proceedings NFM 2026, LNCS, 16622, Springer, 120--141, 2026.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-032-28079-4_6
Jan Gruteser, Michael Leuschel, Katharina Engels, Fabian Vu
Animation, Verification and Visualisation of Prolog Transition Systems with ProB.
In Proceedings ICLP 2026, EPTCS, 450, 148--162, 2026.
- The final authenticated version is available online at https://dx.doi.org/10.4204/EPTCS.450.13
Max Richter, Fabian Vu
Domain-Specific 3D Visualization of Formal Models.
In Proceedings FMICS 2026, LNCS, 16967, 137--153, 2026.
- The final authenticated version is available online at https://dx.doi.org/10.1007/978-3-032-36849-2_8
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Development and Validation of a Formal Model and Prototype for an Air Traffic Control System.
In Formal Aspects of Computing, 38, 1, Association for Computing Machinery, 1--37, 2026.
- The final authenticated version is available online at https://doi.org/10.1145/3774647

2025

Michael Leuschel, Fabian Vu, Kristin Rutenkolk
Case Study: Safety Controller for Autonomous Driving on Highways.
In Proceedings ABZ 2025, 15728, Springer, 203--211, 2025.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-94533-5_12
Fabian Vu
Simulation and Code Generation for Validation and Verification of Formal B Models.
PhD Thesis, Heinrich-Heine-Universität, Düsseldorf, Germany, 2025.
- The final authenticated version is available online at https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=71002

Fabian Vu, Jannik Dunkelau, Michael Leuschel
Validation of Reinforcement Learning Agents and Safety Shields with ProB.
In Proceedings NFM 2024, LNCS, 14627, Springer, 279--297, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-60698-4_16
Fabian Vu, Christopher Happe, Michael Leuschel
Generating interactive documents for domain-specific validation of formal models.
In International Journal on Software Tools for Technology Transfer, 26, 2, Springer, 147--168, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00739-0
Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.
In Proceedings FMAS 2024, EPTCS, 411, 151--159, 2024.
- The final authenticated version is available online at https://doi.org/10.4204/EPTCS.411.10

Fabian Vu, Michael Leuschel
Validation of Formal Models by Interactive Simulation.
In Proceedings ABZ 2023, LNCS, 14010, Springer, 59--69, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_5
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement.
In Proceedings ABZ 2023, LNCS, 14010, Springer, 160--178, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_12
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.
In Proceedings ABZ 2023, LNCS, 14010, Springer, 284--302, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-33163-3_22
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection.
In Proceedings RSSRail 2023, Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte, LNCS, 14198, Springer, 128--145, 2023.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-43366-5_8

Fabian Vu, Christopher Happe, Michael Leuschel
Generating Domain-Specific Interactive Validation Documents.
In Proceedings FMICS, LNCS, 13487, Springer, 32--49, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-15008-1_4
Fabian Vu, Dominik Brandt, Michael Leuschel
Model Checking B Models via High-Level Code Generation.
In Proceedings ICFEM, LNCS, 13478, Springer, 334--351, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-17244-1_20

Fabian Vu, Michael Leuschel, Atif Mashkoor
Validation of Formal Models by Timed Probabilistic Simulation.
In Proceedings ABZ, LNCS, 12709, Springer, 81--96, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-77543-8_6
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
ProB2-UI: A Java-Based User Interface for ProB.
In Proceedings FMICS, LNCS, 12863, Springer, 193--201, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-85248-1_12

Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-Target Code Generator for High-Level B.
In Proceedings iFM, LNCS, 11918, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34968-4_25