Fabian Vu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Reinforcement Learning Agents

Operational Semantics

Interactive Retrieval

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Fabian Vu, Jannik Dunkelau, Michael Leuschel
Validation of Reinforcement Learning Agents and Safety Shields with ProB. NFM (2024)
Fabian Vu, Christopher Happe, Michael Leuschel
Generating interactive documents for domain-specific validation of formal models. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. ABZ (2023)
Fabian Vu, Michael Leuschel
Validation of Formal Models by Interactive Simulation. ABZ (2023)
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ (2023)
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection. RSSRail (2023)
Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Formalization of Advanced VOs semantics and VO Refinement. CoRR (2022)
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR (2022)
Fabian Vu, Dominik Brandt, Michael Leuschel
Model Checking B Models via High-Level Code Generation. ICFEM (2022)
Fabian Vu, Christopher Happe, Michael Leuschel
Generating Domain-Specific Interactive Validation Documents. FMICS (2022)
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. FMICS (2021)
Fabian Vu, Michael Leuschel, Atif Mashkoor
Validation of Formal Models by Timed Probabilistic Simulation. ABZ (2021)
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-target Code Generator for High-Level B. IFM (2019)