A Multi-target Code Generator for High-Level B. - Fabian Vu; Dominik Hansen; Philipp Körner; Michael Leuschel (IFM, 2019)

Validation of Formal Models by Timed Probabilistic Simulation. - Fabian Vu; Michael Leuschel; Atif Mashkoor (ABZ, 2021)

ProB2-UI: A Java-Based User Interface for ProB. - Jens Bendisposto; David Geleßus; Yumiko Jansing; Michael Leuschel; Antonia Pütz; Fabian Vu; Michelle Werth (FMICS, 2021)

Generating Domain-Specific Interactive Validation Documents. - Fabian Vu; Christopher Happe; Michael Leuschel (FMICS, 2022)

Model Checking B Models via High-Level Code Generation. - Fabian Vu; Dominik Brandt; Michael Leuschel (ICFEM, 2022)

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. - Sebastian Stock 002; Fabian Vu; Atif Mashkoor; Michael Leuschel; Alexander Egyed (CoRR, 2022)

Formalization of Advanced VOs semantics and VO Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Atif Mashkoor; Michael Leuschel; Alexander Egyed (CoRR, 2022)

A Formal Model of Train Control with AI-Based Obstacle Detection. - Jan Gruteser; David Geleßus; Michael Leuschel; Jan Roßbach; Fabian Vu (RSSRail, 2023)

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. - David Geleßus; Sebastian Stock 002; Fabian Vu; Michael Leuschel; Atif Mashkoor (ABZ, 2023)

Validation by Abstraction and Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Michael Leuschel; Atif Mashkoor; Alexander Egyed (ABZ, 2023)

Validation of Formal Models by Interactive Simulation. - Fabian Vu; Michael Leuschel (ABZ, 2023)

Validation of Reinforcement Learning Agents and Safety Shields with ProB. - Fabian Vu; Jannik Dunkelau; Michael Leuschel (NFM, 2024)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems. - Jan Gruteser; Jan Roßbach; Fabian Vu; Michael Leuschel (FMAS@iFM, 2024)

Generating interactive documents for domain-specific validation of formal models. - Fabian Vu; Christopher Happe; Michael Leuschel (Int. J. Softw. Tools Technol. Transf., 2024)