Fabian Vu

16 papers B 1C 8Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Development and Validation of a Formal Model and Prototype for an Air Traffic Control System.
Formal Aspects Comput.
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2025 C conf
Case Study: Safety Controller for Autonomous Driving on Highways.
ABZ
Michael Leuschel, Fabian Vu, Kristin Rutenkolk
2024 J jnl
Generating interactive documents for domain-specific validation of formal models.
Int. J. Softw. Tools Technol. Transf.
Fabian Vu, Christopher Happe, Michael Leuschel
2024 — conf
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems.
FMAS@iFM
Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel
2024 — conf
Validation of Reinforcement Learning Agents and Safety Shields with ProB.
NFM
Fabian Vu, Jannik Dunkelau, Michael Leuschel
2023 — conf
A Formal Model of Train Control with AI-Based Obstacle Detection.
RSSRail
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
2023 C conf
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.
ABZ
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
2023 C conf
Validation by Abstraction and Refinement.
ABZ
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
2023 C conf
Validation of Formal Models by Interactive Simulation.
ABZ
Fabian Vu, Michael Leuschel
2022 J jnl
Formalization of Advanced VOs semantics and VO Refinement.
CoRR
Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022 C conf
Generating Domain-Specific Interactive Validation Documents.
FMICS
Fabian Vu, Christopher Happe, Michael Leuschel
2022 J jnl
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics.
CoRR
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
2022 C conf
Model Checking B Models via High-Level Code Generation.
ICFEM
Fabian Vu, Dominik Brandt, Michael Leuschel
2021 C conf
ProB2-UI: A Java-Based User Interface for ProB.
FMICS
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
2021 C conf
Validation of Formal Models by Timed Probabilistic Simulation.
ABZ
Fabian Vu, Michael Leuschel, Atif Mashkoor
2019 B conf
A Multi-target Code Generator for High-Level B.
IFM
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel