Følg
Sebastian Krings
Sebastian Krings
Qt Quality Assurance, Axivion
Verifisert e-postadresse på krin.gs - Startside
Tittel
Sitert av
Sitert av
År
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
582020
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
452014
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
412018
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
382020
SMT Solvers for Validation of B and Event-B models
S Krings, M Leuschel
International Conference on Integrated Formal Methods, 361-375, 2016
372016
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
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
172019
Repair and generation of formal models using synthesis
J Schmidt, S Krings, M Leuschel
International Conference on Integrated Formal Methods, 346-366, 2018
172018
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
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
152018
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
152013
Towards Infinite-State Symbolic Model Checking for B and Event-B
S Krings
Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017, 2017
142017
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), 160-187, 2021
132021
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
112019
A verified low-level implementation of the adaptive exterior light and speed control system
S Krings, P Körner, J Dunkelau, C Rutenkolk
International Conference on Rigorous State-Based Methods, 382-397, 2020
102020
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
Interactive Model Repair by Synthesis
J Schmidt, S Krings, M Leuschel
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
102016
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
92019
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
Who watches the watchers: Validating the ProB Validation Tool
J Bendisposto, S Krings, M Leuschel
arXiv preprint arXiv:1404.6603, 2014
82014
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20