Follow
Sebastian Krings
Title
Cited by
Cited by
Year
From animation to data validation: the ProB constraint solver 10 years on
M Leuschel, J Bendisposto, I Dobrikov, S Krings, D Plagge
Formal Methods Applied to Complex Systems: Implementation of the B Method …, 2014
422014
The first twenty-five years of industrial use of the B-method
M Butler, P Körner, S Krings, T Lecomte, M Leuschel, LF Mejia, L Voisin
International Conference on Formal Methods for Industrial Critical Systems …, 2020
362020
Using a formal B model at runtime in a demonstration of the ETCS hybrid level 3 concept with real trains
D Hansen, M Leuschel, D Schneider, S Krings, P Körner, T Naulin, ...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
362018
SMT Solvers for Validation of B and Event-B models
S Krings, M Leuschel
International Conference on Integrated Formal Methods, 361-375, 2016
352016
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model
D Hansen, M Leuschel, P Körner, S Krings, T Naulin, N Nayeri, ...
International Journal on Software Tools for Technology Transfer 22, 315-332, 2020
312020
From failure to proof: the ProB disprover for B and Event-B
S Krings, J Bendisposto, M Leuschel
Software Engineering and Formal Methods, 199-214, 2015
272015
Proof assisted bounded and unbounded symbolic model checking of software and system models
S Krings, M Leuschel
Science of Computer Programming 158, 41-63, 2018
162018
ProB 2.0 Tutorial
J Bendisposto, J Clark, I Dobrikov, P Körner, S Krings, L Ladenberger, ...
Proceedings of the 4th Rodin User and Developer Workshop. TUCS Lecture Notes …, 2013
162013
Repair and generation of formal models using synthesis
J Schmidt, S Krings, M Leuschel
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
142018
A Translation from Alloy to B
S Krings, J Schmidt, C Brings, M Frappier, M Leuschel
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
132018
Measuring coverage of Prolog programs using mutation testing
A Efremidis, J Schmidt, S Krings, P Körner
Functional and Constraint Logic Programming: 26th International Workshop …, 2019
102019
Towards Infinite-State Symbolic Model Checking for B and Event-B
S Krings
Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017, 2017
102017
Proof Assisted Symbolic Model Checking for B and Event-B
S Krings, M Leuschel
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
102016
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering—A White Paper—
A Cerone, M Roggenbach, J Davenport, C Denner, M Farrell, ...
International Workshop on Formal Methods-Fun for Everybody, 1-26, 2019
92019
Interactive Model Repair by Synthesis
J Schmidt, S Krings, M Leuschel
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
92016
Integrating formal specifications into applications: the ProB Java API
P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel
Formal Methods in System Design 58 (1-2), 160-187, 2021
82021
Embedding high-level formal specifications into applications
P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel
International Symposium on Formal Methods, 519-535, 2019
82019
Experience Report on An Inquiry-Based Course on Model Checking
S Krings, P Körner, J Schmidt
Proceedings SEUH. CEUR Workshop Proceedings. CEURWS. org, 2019
82019
Constraint Logic Programming over Infinite Domains with an Application to Proof
S Krings, M Leuschel
arXiv preprint arXiv:1701.00629, 2017
72017
Who watches the watchers: Validating the ProB Validation Tool
J Bendisposto, S Krings, M Leuschel
arXiv preprint arXiv:1404.6603, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20