| 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 | 45 | 2020 |
| 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 | 43 | 2014 |
| 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 | 38 | 2018 |
| SMT Solvers for Validation of B and Event-B models S Krings, M Leuschel International Conference on Integrated Formal Methods, 361-375, 2016 | 36 | 2016 |
| 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 | 34 | 2020 |
| 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 | 27 | 2015 |
| 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 | 16 | 2018 |
| 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 | 16 | 2013 |
| 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 | 15 | 2019 |
| Repair and generation of formal models using synthesis J Schmidt, S Krings, M Leuschel Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 15 | 2018 |
| 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 | 14 | 2018 |
| Towards Infinite-State Symbolic Model Checking for B and Event-B S Krings Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017, 2017 | 13 | 2017 |
| 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 | 11 | 2021 |
| 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 | 10 | 2020 |
| 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 | 10 | 2019 |
| 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 | 10 | 2016 |
| Interactive Model Repair by Synthesis J Schmidt, S Krings, M Leuschel International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016 | 10 | 2016 |
| 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 | 9 | 2019 |
| 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 | 8 | 2019 |
| Prototyping games using formal methods S Krings, P Körner Formal Methods–Fun for Everybody: First International Workshop, FMFun 2019 …, 2021 | 7 | 2021 |
Michael LeuschelHeinrich-Heine Universität DüsseldorfVerified email at hhu.de
