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 | 36 | 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 | | |