2024

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk
A verified low-level implementation and visualization of the adaptive exterior light and speed control system.
In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5

2021

Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Olveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.
In CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_1
- LINK
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods.
In Proceedings FMFun 2019, CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_6

2020

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B.
In Science of Computer Programming, 188, 2020.
Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
In International Journal on Software Tools for Technology Transfer, 2020.
- LINK
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.
In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- PDF
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Declarative Programming and Knowledge Management, LNCS, 12057, Springer, 139--159, 2020.
Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B Method.
In Proceedings FMICS, LNCS, 12327, Springer, 2020.
- PDF
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API.
In Formal Methods in System Design, Springer, 2020.
- LINK

2019

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Proceedings WFLP 2018, LNCS, 11285, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-16202-3_3
Sebastian Krings, Philipp Körner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking.
In Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, 2358, CEUR, 87--98, 2019.
- PDF
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning.
In NASA Formal Methods, LNCS, 11460, Springer, 130--147, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-20652-9_9
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications.
In Proceedings FM, LNCS, 11800, Springer, 2019.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-30942-8_31
Sebastian Krings, Michael Butler, Philipp Körner, Thierry Lecomte, Michael Leuschel, Laurent Voisin
The History and Evolution of B and Event-B.
In Presentation HFM, 2019.
- PDF
Falco Nogatz, Philipp Körner, Sebastian Krings
Prolog Coding Guidelines: Status and Tool Support.
In Proceedings ICLP (Technical Communications), EPTCS, 306, 2019.
- PDF
- LINK
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation.
In Pre-Proceedings WLP, 2019.
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods.
In Pre-Proceedings FMFun, 2019.
- PDF
Sebastian Krings, Philipp Körner, Joshua Schmidt
Inquiry- and Research-based Teaching in a Course on Model Checking.
In Pre-Proceedings FMFun, 2019.
- PDF

2018

Sebastian Krings, Michael Leuschel
Proof Assisted Bounded and Unbounded Symbolic Model Checking of Software and System Models.
In Science of Computer Programming, 158, 41-63, 2018.
Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, LNAI, 10997, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-00801-7_13
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three is a crowd: SAT, SMT and CLP on a chessboard.
In Proceedings PADL 2018, LNCS, 10702, Springer, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-73305-0_5
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.
In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B.
In Proceedings ABZ 2018, LNCS, 10817, Springer, 71--86, 2018.
- PDF
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Repair and Generation of Formal Models Using Synthesis.
In Proceedings iFM 2018, LNCS, 11023, Springer, 2018.
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing.
In Pre-Proceedings WFLP, 2018.
- PDF

2017

Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data.
In Proceedings Declare 2017, Dietmar Seipel and Michael Hanus and Salvador Abreu, Technical Report, 499, University of Würzburg, 2017.

2016

Sebastian Krings, Michael Leuschel
Constraint Logic Programming over Infinite Domains with an Application to Proof.
In Proceedings of the 30th Workshop on (Constraint) Logic Programming, EPTCS, 234, 2016.
- PDF
Sebastian Krings, Michael Leuschel
Proof Assisted Symbolic Model Checking for B and Event-B.
In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
- PDF
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Interactive Model Repair by Synthesis.
In Proceedings ABZ 2016, LNCS, 9675, Springer, 2016.
- PDF
Sebastian Krings, Michael Leuschel
SMT Solvers for Validation of B and Event-B models.
In Proceedings iFM 2016, LNCS, 9681, Springer, 2016.
- PDF
Sebastian Krings
Meta-Predicates for Rodin.
In 6th Rodin User and Developer Workshop, 2016.
- PDF
Sebastian Krings
The Burden of High-Level Languages: Complicated Symbolic Model Checking.
In PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications, 2016.
- PDF

2015

Sebastian Krings, Jens Bendisposto, Michael Leuschel
From Failure to Proof: The ProB Disprover for B and Event-B.
In Proceedings SEFM'2015, LNCS 9276, Springer, 2015.
- PDF
Sebastian Krings, Michael Leuschel
Inferring Physical Units in Formal Models.
In Software & Systems Modeling, Springer Berlin Heidelberg, 1-23, 2015.
- PDF

2014

Michael Leuschel, Jens Bendisposto, Ivaylo Dobrikov, Sebastian Krings, Daniel Plagge
From Animation to Data Validation: The ProB Constraint Solver 10 Years On.
In Formal Methods Applied to Complex Systems: Implementation of the B Method, Jean-Louis Boulanger, Wiley ISTE, 427--446, 2014.
- LINK
Sebastian Krings, Jens Bendisposto, Michael Leuschel
Turning Failure into Proof: Evaluating the ProB Disprover.
In Proceedings of the 1st International Workshop about Sets and Tools, 2014.
- PDF
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Who watches the watchers: Validating the ProB Validation Tool.
In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 2014.
- PDF

2013

Jens Bendisposto, Joy Clark, Ivaylo Dobrikov, Philipp Körner, Sebastian Krings, Lukas Ladenberger, Michael Leuschel, Daniel Plagge
ProB 2.0 Tutorial.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF
- LINK
Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov, Michael Leuschel
B constrained.
In Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes, TUCS, 2013.
- PDF
Sebastian Krings, Michael Leuschel
Inferring Physical Units in B Models.
In Proceedings SEFM'2013, LNCS 8137, Springer, 137--151, 2013.
- PDF

ToC

2024

2021

2020

2019

2018

2017

2016

2015

2014

2013