Sign in
Fabian Vu
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 11
Top Topics
Logical Language
Code Generator
Obstacle Detection
Interactive Retrieval
Top Venues
ABZ
CoRR
FMICS
RSSRail
</>
Publications
</>
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)