David Geleßus

According to our database, David Geleßus authored at least 8 papers between 2020 and 2026.

Collaborative distances:

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

2026

Development and Validation of a Formal Model and Prototype for an Air Traffic Control System.

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

Formal Aspects Comput., March, 2026

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

Making ProB Compatible with SWI-Prolog.

David Geleßus, Michael Leuschel

Theory Pract. Log. Program., 2022

Formalization of Advanced VOs semantics and VO Refinement.

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

CoRR, 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

2020

ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods.

David Geleßus, Michael Leuschel

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020