Sebastian Krings

According to our database, Sebastian Krings authored at least 33 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Experience Report on a Student-Organized AI Course.

Sebastian Krings

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

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

Increasing Student Self-Reliance and Engagement in Model-Checking Courses.

Philipp Körner, Sebastian Krings

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

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, Frank Skowron

Int. J. Softw. Tools Technol. Transf., 2020

Translating Alloy and extensions to classical B.

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier

Sci. Comput. Program., 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Prolog Coding Guidelines: Status and Tool Support.

Falco Nogatz, Philipp Körner, Sebastian Krings

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Experience Report on an Inquiry-Based Course on Model Checking.

Sebastian Krings, Philipp Körner, Joshua Schmidt

Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019

Automated Backend Selection for ProB Using Deep Learning.

Jannik Dunkelau, Sebastian Krings, Joshua Schmidt

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Constraint Logic Programming over Strings for Test Data Generation.

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Proceedings of the Declarative Programming and Knowledge Management, 2019

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.

Sebastian Krings, Michael Leuschel

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Prototyping Games Using Formal Methods.

Sebastian Krings, Philipp Körner

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 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, Rustam Zhumagambetov

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

Embedding High-Level Formal Specifications into Applications.

Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Proof assisted bounded and unbounded symbolic model checking of software and system models.

Sebastian Krings, Michael Leuschel

Sci. Comput. Program., 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

Measuring Coverage of Prolog Programs Using Mutation Testing.

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner

Proceedings of the Functional and Constraint Logic Programming, 2018

From Software Specifications to Constraint Programming.

Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.

Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic

Proceedings of the Practical Aspects of Declarative Languages, 2018

Repair and Generation of Formal Models Using Synthesis.

Joshua Schmidt, Sebastian Krings, Michael Leuschel

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Translation from Alloy to B.

Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

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, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Towards Infinite-State Symbolic Model Checking for B and Event-B.

Sebastian Krings

PhD thesis, 2017

Inferring physical units in formal models.

Sebastian Krings, Michael Leuschel

Softw. Syst. Model., 2017

Constraint Logic Programming over Infinite Domains with an Application to Proof.

Sebastian Krings, Michael Leuschel

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

plspec - A Specification Language for Prolog Data.

Philipp Körner, Sebastian Krings

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

SMT Solvers for Validation of B and Event-B Models.

Sebastian Krings, Michael Leuschel

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Interactive Model Repair by Synthesis.

Joshua Schmidt, Sebastian Krings, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Proof Assisted Symbolic Model Checking for B and Event-B.

Sebastian Krings, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

From Failure to Proof: The ProB Disprover for B and Event-B.

Sebastian Krings, Jens Bendisposto, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Who watches the watchers: Validating the ProB Validation Tool.

Jens Bendisposto, Sebastian Krings, Michael Leuschel

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

2013

Inferring Physical Units in B Models.

Sebastian Krings, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013