David Geleßus

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Logical Language

Backward Chaining

Obstacle Detection

Top Venues

Theory Pract. Log. Program.

Publications

Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. 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)
David Geleßus, Michael Leuschel
Making ProB compatible with SWI-Prolog. CoRR (2022)
David Geleßus, Michael Leuschel
Making ProB Compatible with SWI-Prolog. Theory Pract. Log. Program. 22 (5) (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)
David Geleßus, Michael Leuschel
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. ABZ (2020)