| Specification and refinement of discrete timing properties in Event-B MR Sarshogh, M Butler Electronic Communications of the EASST 46, 2012 | 100* | 2012 |
| Visualising event-B models with B-motion studio L Ladenberger, J Bendisposto, M Leuschel Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009 | 75 | 2009 |
| Automatically verifying railway interlockings using SAT-based model checking P James, M Roggenbach Electronic Communications of the EASST 35, 2010 | 66* | 2010 |
| Applying model checking to generate model-based integration tests from choreography models S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ... International Workshop on Formal Approaches to Software Testing, 179-194, 2009 | 52 | 2009 |
| 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 |
| La validation de modèles Event-B avec le plug-in ProB pour RODIN J Bendisposto, M Leuschel, O Ligot, M Samia TSI, 1065-1084, 2008 | 35 | 2008 |
| Validation of the ABZ landing gear system using ProB D Hansen, L Ladenberger, H Wiegard, J Bendisposto, M Leuschel ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014 | 34 | 2014 |
| Debugging event-b models using the prob disprover plug-in O Ligot, J Bendisposto, M Leuschel Proceedings AFADL 7, 1-13, 2007 | 29 | 2007 |
| From Failure to Proof: The ProB Disprover for B and Event-B S Krings, J Bendisposto, M Leuschel Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 27 | 2015 |
| Easy graphical animation and formula visualisation for teaching B M Leuschel, M Samia, J Bendisposto | 24 | 2008 |
| Validation of the ABZ landing gear system using ProB L Ladenberger, D Hansen, H Wiegard, J Bendisposto, M Leuschel International Journal on Software Tools for Technology Transfer 19, 187-203, 2017 | 21 | 2017 |
| ProB2-UI: A Java-Based User Interface for ProB J Bendisposto, D Geleßus, Y Jansing, M Leuschel, A Pütz, F Vu, M Werth Formal Methods for Industrial Critical Systems: 26th International …, 2021 | 18 | 2021 |
| Automatic flow analysis for Event-B J Bendisposto, M Leuschel Fundamental Approaches to Software Engineering: 14th International …, 2011 | 18 | 2011 |
| Proof assisted model checking for B J Bendisposto, M Leuschel Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 18 | 2009 |
| Developing Camille, a text editor for Rodin J Bendisposto, F Fritz, M Jastram, M Leuschel, I Weigelt Software: Practice and Experience 41 (2), 189-198, 2011 | 17 | 2011 |
| ProB 2.0 Tutorial J Bendisposto, J Clark, I Dobrikov, P Karner, S Krings, L Ladenberger, ... Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes …, 2013 | 16 | 2013 |
| A generic flash-based animation engine for ProB J Bendisposto, M Leuschel B 2007: Formal Specification and Development in B: 7th International …, 2006 | 15 | 2006 |
| 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 | 13 | 2021 |
| Symbolic Reachability Analysis of B Through ProB and LTSmin J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ... Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 13 | 2016 |
| Directed model checking for B: an evaluation and new techniques M Leuschel, J Bendisposto Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011 | 11 | 2011 |
