ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. - David Geleßus; Michael Leuschel (ABZ, 2020)

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 (FMICS, 2021)

Formalization of Advanced VOs semantics and VO Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Atif Mashkoor; Michael Leuschel; Alexander Egyed (CoRR, 2022)

Making ProB Compatible with SWI-Prolog. - David Geleßus; Michael Leuschel (Theory Pract. Log. Program., 2022)

A Formal Model of Train Control with AI-Based Obstacle Detection. - Jan Gruteser; David Geleßus; Michael Leuschel; Jan Roßbach; Fabian Vu (RSSRail, 2023)

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. - David Geleßus; Sebastian Stock 002; Fabian Vu; Michael Leuschel; Atif Mashkoor (ABZ, 2023)

Validation by Abstraction and Refinement. - Sebastian Stock 002; Fabian Vu; David Geleßus; Michael Leuschel; Atif Mashkoor; Alexander Egyed (ABZ, 2023)