| Validating Z Specifications Using the ProB Animator and Model Checker D Plagge, M Leuschel International Conference on Integrated Formal Methods, 480-500, 2007 | 85 | 2007 |
| Automated property verification for large scale B models with ProB M Leuschel, J Falampin, F Fritz, D Plagge Formal Aspects of Computing 23, 683-709, 2011 | 71 | 2011 |
| Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more D Plagge, M Leuschel International journal on software tools for technology transfer 12 (1), 9-21, 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 | 50 | 2009 |
| Validating B,Z and TLA + Using ProB and Kodkod D Plagge, M Leuschel FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 49 | 2012 |
| 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 | 42 | 2014 |
| Validation of formal models by refinement animation S Hallerstede, M Leuschel, D Plagge Science of Computer Programming 78 (3), 272-292, 2013 | 37 | 2013 |
| Automated property verification for large scale B models M Leuschel, J Falampin, F Fritz, D Plagge FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 35 | 2009 |
| Refinement-animation for Event-B—towards a method of validation S Hallerstede, M Leuschel, D Plagge Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 28 | 2010 |
| Improving railway data validation with ProB J Falampin, H Le-Dang, M Leuschel, M Mokrani, D Plagge Industrial Deployment of System Engineering Methods, 27-43, 2013 | 20 | 2013 |
| Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. M Leuschel, D Plagge, S und Programmiersprachen ISoLA 7, 73-84, 2007 | 17 | 2007 |
| 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 |
| On fitting a formal method into practice R Gmehlich, K Grau, S Hallerstede, M Leuschel, F Lösch, D Plagge Formal Methods and Software Engineering: 13th International Conference on …, 2011 | 15 | 2011 |
| LTL Model Checking under Fairness in ProB I Dobrikov, M Leuschel, D Plagge International Conference on Software Engineering and Formal Methods, 204-211, 2016 | 8 | 2016 |
| SAL, Kodkod, and BDDs for Validation of B Models D Plagge, M Leuschel, I Lopatkin, A Iliasov, A Romanovsky Automated Formal Methods (AFM09), 2009 | 7 | 2009 |
| Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP M Leuschel, D Plagge and more. Technical report, 2007 | 6 | 2007 |
| Supporting Validation and Verification of State-Based Formal Models D Plagge Universitäts-und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2016 | 1 | 2016 |
| Arbeitsgebiete am Lehrstuhl für Softwaretechnik und Programmiersprachen J Bendisposto, CF Bolz, M Fontaine, M Leuschel, D Plagge, C Spermann | | |
| Specifying and Solving Constraint Satisfaction Problems in B M Leuschel, D Plagge | | |
