Fabian Vu

According to our database, Fabian Vu authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generating interactive documents for domain-specific validation of formal models.

Fabian Vu, Christopher Happe, Michael Leuschel

Int. J. Softw. Tools Technol. Transf., April, 2024

Validation of Reinforcement Learning Agents and Safety Shields with ProB.

Fabian Vu, Jannik Dunkelau, Michael Leuschel

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Validation of Formal Models by Interactive Simulation.

Fabian Vu, Michael Leuschel

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Validation by Abstraction and Refinement.

Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.

David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

A Formal Model of Train Control with AI-Based Obstacle Detection.

Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

2022

Formalization of Advanced VOs semantics and VO Refinement.

Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed

CoRR, 2022

IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics.

Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed

CoRR, 2022

Model Checking B Models via High-Level Code Generation.

Fabian Vu, Dominik Brandt, Michael Leuschel

Proceedings of the Formal Methods and Software Engineering, 2022

Generating Domain-Specific Interactive Validation Documents.

Fabian Vu, Christopher Happe, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Validation of Formal Models by Timed Probabilistic Simulation.

Fabian Vu, Michael Leuschel, Atif Mashkoor

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2019

A Multi-target Code Generator for High-Level B.

Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019