Publications

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

PDF Project

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

PDF

Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron (2019). Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model. In STTT, Springer.

Project

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier (2019). Translating Alloy and Extensions to Classical B. In SCP, Elsevier.

Project DOI

Sebastian Krings, Michael Leuschel (2019). Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. Proceedings iFM 2019, Springer LNCS.

PDF Project Slides DOI

Sebastian Krings, Philipp Körner, Joshua Schmidt (2019). Inquiry- and Research-based Teaching in a Course on Model Checking. In Pre-Proceedings FMFun 2019.

PDF Project Project Slides

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

PDF Project Project Slides

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

PDF Project DOI

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

PDF Project Slides DOI

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

PDF Project Slides DOI

Sebastian Krings, Michael Butler, Philipp Körner, Thierry Lecomte, Michael Leuschel, Laurent Voisin (2019). The History and Evolution of B and Event-B. Extended Abstract and Talk at HFM 2019.

PDF Project

Jannik Dunkelau, Sebastian Krings, Joshua Schmidt (2019). Automated Backend Selection for ProB Using Deep Learning. In Proceedings NFM 2019, Springer LNCS.

PDF Project Project DOI

Sebastian Krings, Philipp Körner, Joshua Schmidt (2019). Experience Report on An Inquiry-Based Course on Model Checking. In Proceedings SEUH 2019, CEUR Workshop Proceedings.

PDF Project Project

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner (2018). Measuring Code Coverage of Prolog Programs Using Mutation Testing. In Proceedings WFLP 2018, Springer LNCS.

PDF Project Slides DOI

Joshua Schmidt, Sebastian Krings, Michael Leuschel (2018). Repair and Generation of Formal Models Using Synthesis. In Proceedings iFM 2018, Springer LNCS.

PDF Project Project DOI

Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke (2018). Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. In Proceedings AVoCS 2018, Electronic Communications of the EASST.

PDF Project DOI

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel (2018). From Software Specifications to Constraint Programming. In Proceedings SEFM 2018, Springer LNCS.

PDF Project DOI

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

PDF Project DOI

Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel (2018). A Translation from Alloy to B. In Proceedings ABZ 2018, Springer LNCS.

PDF Project DOI

Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic (2018). Three is a crowd: SAT, SMT and CLP on a chessboard. In Proceedings PADL 2018, Springer LNCS.

PDF DOI

Sebastian Krings, Michael Leuschel (2017). Proof Assisted Bounded and Unbounded Symbolic Model Checking of Software and System Models. In Science of Computer Programming, Elsevier.

Project DOI

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

PDF Project DOI

Sebastian Krings (2017). Towards Infinite-State Symbolic Model Checking for B and Event-B. Dissertation submitted to the Heinrich-Heine-University Düsseldorf, Germany.

PDF Project

Sebastian Krings, Michael Leuschel (2017). Contraint Logic Programming over Infinite Domains with an Application to Proof. In Proceedings WLP 2016, EPTCS.

PDF Project Project DOI

Sebastian Krings (2016). The Burden of High-Level Languages: Complicated Symbolic Model Checking. Presented at PhD Symposium at iFM 2016.

PDF Project

Sebastian Krings, Michael Leuschel (2016). SMT Solvers for Validation of B and Event-B models. In Proceedings iFM 2016, Springer LNCS.

PDF Project DOI

Sebastian Krings (2016). Meta-Predicate for Rodin. In Proceedings Rodin User and Developer Workshop 2016.

PDF Project

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

PDF Project DOI

Joshua Schmidt, Sebastian Krings, Michael Leuschel (2016). Interactive Model Repair by Synthesis. In Proceedings ABZ 2016, Springer LNCS.

PDF Project Project DOI

Sebastian Krings, Jens Bendisposto, Michael Leuschel (2015). Turning Failure into Proof: The ProB Disprover for B and Event-B. In Proceedings SEFM 2015, Springer LNCS.

PDF Project DOI

Sebastian Krings, Michael Leuschel (2015). Inferring Physical Units in Formal Models. In Software and Systems Modeling, Springer.

PDF Project Project DOI

Michael Leuschel, Jens Bendisposto, Ivaylo Dobrikov, Sebastian Krings, Daniel Plagge (2014). From Animation to Data Validation: The ProB Constraint Solver 10 Years On. In Formal Methods Applied to Complex Systems: Implementation of the B Method.

Project DOI

Sebastian Krings (2014). Turning Failure into Proof: The ProB Disprover. Poster presented at SAT / SMT Summer School 2014.

PDF Project

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

PDF Project Project DOI

Sebastian Krings, Jens Bendisposto, Michael Leuschel (2013). Turning Failure into Proof: Evaluating the ProB Disprover. In Proceedings SETS 2014.

PDF Project

Sebastian Krings, Michael Leuschel (2013). Inferring Physical Units in B Models. In Proceedings SEFM 2013, Springer LNCS.

PDF Project Project DOI

Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov, Michael Leuschel (2013). B constrained. In Proceedings Rodin User and Developer Workshop 2013, TUCS Lecture Notes.

PDF Project