Inferring Physical Units in B Models. - Sebastian Krings; Michael Leuschel (SEFM, 2013)

Who watches the watchers: Validating the ProB Validation Tool. - Jens Bendisposto; Sebastian Krings; Michael Leuschel (F-IDE, 2014)

From Failure to Proof: The ProB Disprover for B and Event-B. - Sebastian Krings; Jens Bendisposto; Michael Leuschel (SEFM, 2015)

Proof Assisted Symbolic Model Checking for B and Event-B. - Sebastian Krings; Michael Leuschel (ABZ, 2016)

Interactive Model Repair by Synthesis. - Joshua Schmidt; Sebastian Krings; Michael Leuschel (ABZ, 2016)

SMT Solvers for Validation of B and Event-B Models. - Sebastian Krings; Michael Leuschel (IFM, 2016)

plspec - A Specification Language for Prolog Data. - Philipp Körner; Sebastian Krings (DECLARE, 2017)

Constraint Logic Programming over Infinite Domains with an Application to Proof. - Sebastian Krings; Michael Leuschel (WLP / WFLP, 2017)

Inferring physical units in formal models. - Sebastian Krings; Michael Leuschel (Softw. Syst. Model., 2017)

Towards Infinite-State Symbolic Model Checking for B and Event-B. - Sebastian Krings (2017)

Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. - Dominik Hansen; Michael Leuschel; David Schneider 001; Sebastian Krings; Philipp Körner; Thomas Naulin; Nader Nayeri; Frank Skowron (ABZ, 2018)

A Translation from Alloy to B. - Sebastian Krings; Joshua Schmidt; Carola Brings; Marc Frappier; Michael Leuschel (ABZ, 2018)

Repair and Generation of Formal Models Using Synthesis. - Joshua Schmidt; Sebastian Krings; Michael Leuschel (IFM, 2018)

Three Is a Crowd: SAT, SMT and CLP on a Chessboard. - Sebastian Krings; Michael Leuschel; Philipp Körner; Stefan Hallerstede; Miran Hasanagic (PADL, 2018)

From Software Specifications to Constraint Programming. - Stefan Hallerstede; Miran Hasanagic; Sebastian Krings; Peter Gorm Larsen; Michael Leuschel (SEFM, 2018)

Measuring Coverage of Prolog Programs Using Mutation Testing. - Alexandros Efremidis; Joshua Schmidt; Sebastian Krings; Philipp Körner (WFLP, 2018)

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. - Jessica Petrasch; Jan-Hendrik Oepen; Sebastian Krings; Moritz Gericke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Proof assisted bounded and unbounded symbolic model checking of software and system models. - Sebastian Krings; Michael Leuschel (Sci. Comput. Program., 2018)

Embedding High-Level Formal Specifications into Applications. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (FM, 2019)

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. - Antonio Cerone; Markus Roggenbach; James H. Davenport; Casey Denner; Marie Farrell; Magne Haveraaen; Faron Moller; Philipp Körner; Sebastian Krings; Peter Csaba Ölveczky; Bernd-Holger Schlingloff; Nikolay V. Shilov 002; et al. (FMFun, 2019)

Prototyping Games Using Formal Methods. - Sebastian Krings; Philipp Körner (FMFun, 2019)

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. - Sebastian Krings; Michael Leuschel (IFM, 2019)

Towards Constraint Logic Programming over Strings for Test Data Generation. - Sebastian Krings; Joshua Schmidt; Patrick Skowronek; Jannik Dunkelau; Dierk Ehmke (DECLARE, 2019)

Automated Backend Selection for ProB Using Deep Learning. - Jannik Dunkelau; Sebastian Krings; Joshua Schmidt (NFM, 2019)

Experience Report on an Inquiry-Based Course on Model Checking. - Sebastian Krings; Philipp Körner; Joshua Schmidt (SEUH, 2019)

Prolog Coding Guidelines: Status and Tool Support. - Falco Nogatz; Philipp Körner; Sebastian Krings (ICLP Technical Communications, 2019)

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Chris Rutenkolk (ABZ, 2020)

The First Twenty-Five Years of Industrial Use of the B-Method. - Michael J. Butler; Philipp Körner; Sebastian Krings; Thierry Lecomte; Michael Leuschel; Luis-Fernando Mejia; Laurent Voisin (FMICS, 2020)

Translating Alloy and extensions to classical B. - Sebastian Krings; Michael Leuschel; Joshua Schmidt; David Schneider 001; Marc Frappier (Sci. Comput. Program., 2020)

Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. - Dominik Hansen; Michael Leuschel; Philipp Körner; Sebastian Krings; Thomas Naulin; Nader Nayeri; David Schneider 001; Frank Skowron (Int. J. Softw. Tools Technol. Transf., 2020)

Increasing Student Self-Reliance and Engagement in Model-Checking Courses. - Philipp Körner; Sebastian Krings (FMTea, 2021)

Integrating formal specifications into applications: the ProB Java API. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (Formal Methods Syst. Des., 2021)

Experience Report on a Student-Organized AI Course. - Sebastian Krings (ITiCSE (1), 2022)

A verified low-level implementation and visualization of the adaptive exterior light and speed control system. - Sebastian Krings; Philipp Körner; Jannik Dunkelau; Kristin Rutenkolk (Int. J. Softw. Tools Technol. Transf., 2024)