Sebastian Krings

37 papers B 7C 7Journal 10Unranked 12

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