ProB: A model checker for B M Leuschel, M Butler FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 849 | 2003 |
ProB: an automated analysis toolset for the B method M Leuschel, M Butler International Journal on Software Tools for Technology Transfer 10, 185-203, 2008 | 500 | 2008 |
Combining CSP and B for specification and property verification M Butler, M Leuschel FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 159 | 2005 |
Infinite state model checking by abstract interpretation and program specialisation M Leuschel, T Massart International Workshop on Logic Programming Synthesis and Transformation, 62-81, 1999 | 135 | 1999 |
Controlling generalization and polyvariance in partial deduction of normal logic programs M Leuschel, B Martens, D De Schreye ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (1), 208-258, 1998 | 133 | 1998 |
Conjunctive partial deduction: Foundations, control, algorithms, and experiments D De Schreye, R Glück, J Jørgensen, M Leuschel, B Martens, ... The Journal of Logic Programming 41 (2-3), 231-277, 1999 | 126 | 1999 |
Logic program specialisation through partial deduction: Control issues M Leuschel, M Bruynooghe Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002 | 111 | 2002 |
On the power of homeomorphic embedding for online termination M Leuschel International Static Analysis Symposium, 230-245, 1998 | 105 | 1998 |
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. M Leuschel, D De Schreye, A de Waal JICSLP, 319-332, 1996 | 88 | 1996 |
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 |
Homeomorphic embedding for online termination of symbolic methods M Leuschel The essence of computation: complexity, analysis, transformation, 379-403, 2002 | 79 | 2002 |
Redundant argument filtering of logic programs M Leuschel, MH Sørensen International Workshop on Logic Programming Synthesis and Transformation, 83-103, 1996 | 79 | 1996 |
Global control for partial deduction through characteristic atoms and global trees M Leuschel, B Martens Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996 | 78 | 1996 |
How to make FDR spin LTL model checking of CSP by refinement M Leuschel, A Currie, T Massart FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 75 | 2001 |
Allocation removal by partial evaluation in a tracing JIT CF Bolz, A Cuni, M FijaBkowski, M Leuschel, S Pedroni, A Rigo Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 73 | 2011 |
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 |
Visualising event-B models with B-motion studio L Ladenberger, J Bendisposto, M Leuschel Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009 | 71 | 2009 |
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 |
ProTest: An automatic test environment for B specifications M Satpathy, M Leuschel, M Butler Electronic Notes in Theoretical Computer Science 111, 113-136, 2005 | 66 | 2005 |
Automatic refinement checking for B M Leuschel, M Butler Formal Methods and Software Engineering: 7th International Conference on …, 2005 | 64 | 2005 |
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool M Leuschel, M Fontaine Formal Methods and Software Engineering: 10th International Conference on …, 2008 | 62 | 2008 |
The ecce partial deduction system and the dppd library of benchmarks M Leuschel Obtainable via http://www. ecs. soton. ac. uk/~ mal 2002, 283-342, 1996 | 62 | 1996 |
Offline specialisation in Prolog using a hand-written compiler generator M Leuschel, J Jørgensen, W Vanhoof, M Bruynooghe Theory and Practice of Logic Programming 4 (1-2), 139-191, 2004 | 59 | 2004 |
Logic program specialisation: How to be more specific M Leuschel, D De Schreye International Symposium on Programming Language Implementation and Logic …, 1996 | 54 | 1996 |
Runtime feedback in a meta-tracing JIT for efficient dynamic languages CF Bolz, A Cuni, M Fijałkowski, M Leuschel, S Pedroni, A Rigo Proceedings of the 6th Workshop on Implementation, Compilation, Optimization …, 2011 | 53 | 2011 |
Visualising Larger State Spaces in Pro B M Leuschel, E Turner ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005 | 51 | 2005 |
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 |
Translating TLA + to B for Validation with ProB D Hansen, M Leuschel Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012 | 49 | 2012 |
Advanced techniques for logic program specialisation M Leuschel | 47 | 1997 |
Coverability of reset Petri nets and other well-structured transition systems by partial deduction M Leuschel, H Lehmann International Conference on Computational Logic, 101-115, 2000 | 46 | 2000 |
Specialising interpreters using offline partial deduction M Leuschel, SJ Craig, M Bruynooghe, W Vanhoof Program Development in Computational Logic: A Decade of Research Advances in …, 2004 | 45 | 2004 |
Solving coverability problems of Petri nets by partial deduction M Leuschel, H Lehmann Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000 | 44 | 2000 |
Program specialisation and abstract interpretation reconciled M Leuschel Proceedings of the 1998 joint international conference and symposium on …, 1998 | 43 | 1998 |
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 |
Creating specialised integrity checks through partial evaluation of meta-interpreters M Leuschel, D De Schreye The Journal of Logic Programming 36 (2), 149-193, 1998 | 42 | 1998 |
Formally checking large data sets in the railways T Lecomte, L Burdy, M Leuschel arXiv preprint arXiv:1210.6815, 2012 | 40 | 2012 |
Efficiently generating efficient generating extensions in Prolog J Jørgensen, M Leuschel Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996 | 40 | 1996 |
An approach of requirements tracing in formal refinement M Jastram, S Hallerstede, M Leuschel, AG Russo Verified Software: Theories, Tools, Experiments: Third International …, 2010 | 39 | 2010 |
Conjunctive partial deduction in practice J Jørgensen, M Leuschel, B Martens Logic Program Synthesis and Transformation: 6th International Workshop …, 1997 | 39 | 1997 |
Improving homeomorphic embedding for online termination M Leuschel Logic-Based Program Synthesis and Transformation: 8th International Workshop …, 1999 | 38 | 1999 |
Constrained partial deduction and the preservation of characteristic trees M Leuschel, D De Schreye New Generation Computing 16, 283-342, 1998 | 38 | 1998 |
Validation of formal models by refinement animation S Hallerstede, M Leuschel, D Plagge Science of Computer Programming 78 (3), 272-292, 2013 | 37 | 2013 |
Automatic testing from formal specifications M Satpathy, M Butler, M Leuschel, S Ramesh Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007 | 37 | 2007 |
Logic program specialisation M Leuschel DIKU International Summer School, 155-188, 1998 | 37 | 1998 |
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 | 36 | 2020 |
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 | 36 | 2018 |
ProB gets nauty: Effective symmetry reduction for B and Z models C Spermann, M Leuschel 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008 | 36 | 2008 |
SMT Solvers for Validation of B and Event-B models S Krings, M Leuschel Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 35 | 2016 |
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 |
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 |
Partial evaluation of MATLAB D Elphick, M Leuschel, S Cox International Conference on Generative Programming and Component Engineering …, 2003 | 35 | 2003 |
Ecological partial deduction: Preserving characteristic trees without constraints M Leuschel Logic Program Synthesis and Transformation: 5th International Workshop …, 1996 | 35 | 1996 |
Towards a jitting VM for prolog execution CF Bolz, M Leuschel, D Schneider Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 34 | 2010 |
Symmetry reduction for B by permutation flooding M Leuschel, M Butler, C Spermann, E Turner B 2007: Formal Specification and Development in B: 7th International …, 2006 | 33 | 2006 |
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 | 32 | 2014 |
Efficient approximate verification of B and Z models via symmetry markers M Leuschel, T Massart Annals of mathematics and artificial intelligence 59 (1), 81-106, 2010 | 32 | 2010 |
Symmetry reduced model checking for B E Turner, M Leuschel, C Spermann, M Butler First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 32 | 2007 |
Model checking object Petri nets in Prolog B Farwer, M Leuschel Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 32 | 2004 |
Design and implementation of the high-level specification language CSP (LP) in Prolog M Leuschel Practical Aspects of Declarative Languages: Third International Symposium …, 2001 | 32 | 2001 |
Fifty years of Prolog and beyond P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ... Theory and Practice of Logic Programming 22 (6), 776-858, 2022 | 31 | 2022 |
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 | 31 | 2020 |
Proposals for mathematical extensions for Event-B JR Abrial, M Butler, S Hallerstede, M Leuschel, M Schmalz, L Voisin Technical report, 2009 | 31 | 2009 |
Questions and answers about ten formal methods PH Hartel, MJ Butler, A Currie, P Henderson, M Leuschel, A Martin, ... 4th International Workshop on Formal Methods for Industrial Critical Systems …, 1999 | 31 | 1999 |
A polyvariant binding-time analysis for off-line partial deduction M Bruynooghe, M Leuschel, K Sagonas Programming Languages and Systems: 7th European Symposium on Programming …, 1998 | 31 | 1998 |
Partial evaluation of the “real thing” M Leuschel International Workshop on Meta-Programming in Logic, 122-137, 1994 | 31 | 1994 |
Using B and ProB for data validation projects D Hansen, D Schneider, M Leuschel Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016 | 30 | 2016 |
A framework for the integration of partial evaluation and abstract interpretation of logic programs M Leuschel ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (3), 413-463, 2004 | 30 | 2004 |
Partial deduction of the ground representation and its application to integrity checking M Leuschel, B Martens ILPS, 495-509, 1995 | 30 | 1995 |
Fully automatic binding-time analysis for Prolog SJ Craig, JP Gallagher, M Leuschel, KS Henriksen Logic Based Program Synthesis and Transformation: 14th International …, 2005 | 29 | 2005 |
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 |
Self-tuning resource aware specialisation for Prolog SJ Craig, M Leuschel Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 28 | 2005 |
Termination analysis for tabled logic programming S Decorte, D De Schreye, M Leuschel, B Martens, K Sagonas Logic Program Synthesis and Transformation: 7th International Workshop …, 1998 | 28 | 1998 |
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 |
Abstraction-based partial deduction for solving inverse problems—a transformational approach to software verification R Glück, M Leuschel Perspectives of System Informatics: Third International Andrei Ershov …, 2000 | 27 | 2000 |
Debugging event-b models using the prob disprover plug-in O Ligot, J Bendisposto, M Leuschel Proceedings AFADL 7, 1-13, 2007 | 26 | 2007 |
A trust analysis methodology for pervasive computing systems SL Presti, M Butler, M Leuschel, C Booth Trusting Agents for Trusting Electronic Societies: Theory and Applications …, 2005 | 25 | 2005 |
Towards creating specialised integrity checks through partial evaluation of meta-interpreters M Leuschel, D De Schreye Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and …, 1995 | 25 | 1995 |
Easy graphical animation and formula visualisation for teaching B M Leuschel, M Samia, J Bendisposto | 23 | 2008 |
Property-based modelling and validation of a CBTC zone controller in Event-B M Comptier, M Leuschel, LF Mejia, JM Perez, M Mutz International Conference on Reliability, Safety, and Security of Railway …, 2019 | 22 | 2019 |
Translating B to TLA+ for validation with TLC D Hansen, M Leuschel Science of Computer Programming 131, 109-125, 2016 | 22 | 2016 |
The high road to formal validation: model checking high-level versus low-level specifications M Leuschel Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008 | 22 | 2008 |
Forward slicing by conjunctive partial deduction and argument filtering M Leuschel, G Vidal European Symposium on Programming, 61-76, 2005 | 22 | 2005 |
Preserving termination of tabled logic programs while unfolding M Leuschel, B Martens, K Sagonas Logic Program Synthesis and Transformation: 7th International Workshop …, 1998 | 22 | 1998 |
Tutorial on program specialisation D De Schreye, M Leuschel, B Martens ILPS, 615-616, 1995 | 22 | 1995 |
Constraint-based deadlock checking of high-level specifications S Hallerstede, M Leuschel Theory and Practice of Logic Programming 11 (4-5), 767-782, 2011 | 21 | 2011 |
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 |
The MEB and CEB static analysis for CSP specifications M Leuschel, M Llorens, J Oliver, J Silva, S Tamarit Logic-Based Program Synthesis and Transformation: 18th International …, 2009 | 20 | 2009 |
The Ecce and Logen partial evaluators and their web interfaces M Leuschel, D Elphick, M Varea, SJ Craig, M Fontaine Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006 | 20 | 2006 |
Efficient and flexible access control via logic program specialisation S Barker, M Leuschel, M Varea Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004 | 20 | 2004 |
VisB: a lightweight tool to visualize formal models with SVG graphics M Werth, M Leuschel Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 19 | 2020 |
A refinement-based correctness proof of symmetry reduced model checking E Turner, M Butler, M Leuschel Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 19 | 2010 |
Abstract conjunctive partial deduction using regular types and its application to model checking M Leuschel, S Gruner International Workshop on Logic-based Program Synthesis and Transformation …, 2001 | 19 | 2001 |
Modelling and validating an automotive system in classical B and Event-B M Leuschel, M Mutz, M Werth Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 18 | 2020 |
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 | 18 | 2017 |
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 |
Animation and model checking of csp and b using prolog technology M Leuschel, L Adhianto, M Butler, C Ferreira, L Mikhailov | 18 | 2001 |
BMotionWeb: a tool for rapid creation of formal prototypes L Ladenberger, M Leuschel Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 17 | 2016 |
Model-Based Robustness Testing in Event-B Using Mutation A Savary, M Frappier, M Leuschel, JL Lanet Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 17 | 2015 |