Sebastian Krings

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 33

Top Venues

ABZ

CoRR

IFM

Int. J. Softw. Tools Technol. Transf.

University of Düsseldorf, Germany (PHD)

Education History

University of Düsseldorf, Germany

PHD

Publications

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. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Sebastian Krings
Experience Report on a Student-Organized AI Course. ITiCSE (1) (2022)
Philipp Körner, Sebastian Krings
Increasing Student Self-Reliance and Engagement in Model-Checking Courses. FMTea (2021)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58 (1-2) (2021)
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. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Sebastian Krings, Philipp Körner, Jannik Dunkelau, Chris Rutenkolk
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. ABZ (2020)
Michael J. 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. FMICS (2020)
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B. Sci. Comput. Program. 188 (2020)
Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR (2020)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. CoRR (2019)
Antonio Cerone, Markus Roggenbach, James 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
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun (2019)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications. FM (2019)
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning. NFM (2019)
Falco Nogatz, Philipp Körner, Sebastian Krings
Prolog Coding Guidelines: Status and Tool Support. ICLP Technical Communications (2019)
Sebastian Krings, Philipp Körner
Prototyping Games Using Formal Methods. FMFun (2019)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. DECLARE (2019)
Sebastian Krings, Philipp Körner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking. SEUH (2019)
Sebastian Krings, Michael Leuschel
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. IFM (2019)
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. ABZ (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. CoRR (2018)
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. WFLP (2018)
Sebastian Krings, Michael Leuschel
Proof assisted bounded and unbounded symbolic model checking of software and system models. Sci. Comput. Program. 158 (2018)
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B. ABZ (2018)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Repair and Generation of Formal Models Using Synthesis. IFM (2018)
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL (2018)
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
From Software Specifications to Constraint Programming. SEFM (2018)
Philipp Körner, Sebastian Krings
plspec - A Specification Language for Prolog Data. DECLARE (2017)
Sebastian Krings, Michael Leuschel
Inferring physical units in formal models. Softw. Syst. Model. 16 (1) (2017)
Sebastian Krings, Michael Leuschel
Constraint Logic Programming over Infinite Domains with an Application to Proof. WLP / WFLP (2017)
Sebastian Krings, Michael Leuschel
Proof Assisted Symbolic Model Checking for B and Event-B. ABZ (2016)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Interactive Model Repair by Synthesis. ABZ (2016)
Sebastian Krings, Michael Leuschel
SMT Solvers for Validation of B and Event-B Models. IFM (2016)
Sebastian Krings, Jens Bendisposto, Michael Leuschel
From Failure to Proof: The ProB Disprover for B and Event-B. SEFM (2015)
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Who watches the watchers: Validating the ProB Validation Tool. F-IDE (2014)
Sebastian Krings, Michael Leuschel
Inferring Physical Units in B Models. SEFM (2013)

Sebastian Krings.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Krings