Follow
Michael Leuschel
Title
Cited by
Cited by
Year
ProB: A model checker for B
M Leuschel, M Butler
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
8492003
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
5002008
Combining CSP and B for specification and property verification
M Butler, M Leuschel
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
1592005
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
1351999
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
1331998
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
1261999
Logic program specialisation through partial deduction: Control issues
M Leuschel, M Bruynooghe
Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002
1112002
On the power of homeomorphic embedding for online termination
M Leuschel
International Static Analysis Symposium, 230-245, 1998
1051998
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.
M Leuschel, D De Schreye, A de Waal
JICSLP, 319-332, 1996
881996
Validating Z Specifications Using the ProB Animator and Model Checker
D Plagge, M Leuschel
International Conference on Integrated Formal Methods, 480-500, 2007
852007
Homeomorphic embedding for online termination of symbolic methods
M Leuschel
The essence of computation: complexity, analysis, transformation, 379-403, 2002
792002
Redundant argument filtering of logic programs
M Leuschel, MH Sørensen
International Workshop on Logic Programming Synthesis and Transformation, 83-103, 1996
791996
Global control for partial deduction through characteristic atoms and global trees
M Leuschel, B Martens
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996
781996
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
752001
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
732011
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
712011
Visualising event-B models with B-motion studio
L Ladenberger, J Bendisposto, M Leuschel
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009
712009
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
662010
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
662005
Automatic refinement checking for B
M Leuschel, M Butler
Formal Methods and Software Engineering: 7th International Conference on …, 2005
642005
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
622008
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
621996
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
592004
Logic program specialisation: How to be more specific
M Leuschel, D De Schreye
International Symposium on Programming Language Implementation and Logic …, 1996
541996
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
532011
Visualising Larger State Spaces in Pro B
M Leuschel, E Turner
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
512005
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
502009
Validating B,Z and TLA  +  Using ProB and Kodkod
D Plagge, M Leuschel
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
492012
Translating TLA +  to B for Validation with ProB
D Hansen, M Leuschel
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
492012
Advanced techniques for logic program specialisation
M Leuschel
471997
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
462000
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
452004
Solving coverability problems of Petri nets by partial deduction
M Leuschel, H Lehmann
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
442000
Program specialisation and abstract interpretation reconciled
M Leuschel
Proceedings of the 1998 joint international conference and symposium on …, 1998
431998
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
422014
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
421998
Formally checking large data sets in the railways
T Lecomte, L Burdy, M Leuschel
arXiv preprint arXiv:1210.6815, 2012
402012
Efficiently generating efficient generating extensions in Prolog
J Jørgensen, M Leuschel
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 1996
401996
An approach of requirements tracing in formal refinement
M Jastram, S Hallerstede, M Leuschel, AG Russo
Verified Software: Theories, Tools, Experiments: Third International …, 2010
392010
Conjunctive partial deduction in practice
J Jørgensen, M Leuschel, B Martens
Logic Program Synthesis and Transformation: 6th International Workshop …, 1997
391997
Improving homeomorphic embedding for online termination
M Leuschel
Logic-Based Program Synthesis and Transformation: 8th International Workshop …, 1999
381999
Constrained partial deduction and the preservation of characteristic trees
M Leuschel, D De Schreye
New Generation Computing 16, 283-342, 1998
381998
Validation of formal models by refinement animation
S Hallerstede, M Leuschel, D Plagge
Science of Computer Programming 78 (3), 272-292, 2013
372013
Automatic testing from formal specifications
M Satpathy, M Butler, M Leuschel, S Ramesh
Tests and Proofs: First International Conference, TAP 2007, Zurich …, 2007
372007
Logic program specialisation
M Leuschel
DIKU International Summer School, 155-188, 1998
371998
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
362020
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
362018
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
362008
SMT Solvers for Validation of B and Event-B models
S Krings, M Leuschel
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
352016
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
352009
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
352008
Partial evaluation of MATLAB
D Elphick, M Leuschel, S Cox
International Conference on Generative Programming and Component Engineering …, 2003
352003
Ecological partial deduction: Preserving characteristic trees without constraints
M Leuschel
Logic Program Synthesis and Transformation: 5th International Workshop …, 1996
351996
Towards a jitting VM for prolog execution
CF Bolz, M Leuschel, D Schneider
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
342010
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
332006
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
322014
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
322010
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
322007
Model checking object Petri nets in Prolog
B Farwer, M Leuschel
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
322004
Design and implementation of the high-level specification language CSP (LP) in Prolog
M Leuschel
Practical Aspects of Declarative Languages: Third International Symposium …, 2001
322001
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
312022
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
312020
Proposals for mathematical extensions for Event-B
JR Abrial, M Butler, S Hallerstede, M Leuschel, M Schmalz, L Voisin
Technical report, 2009
312009
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
311999
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
311998
Partial evaluation of the “real thing”
M Leuschel
International Workshop on Meta-Programming in Logic, 122-137, 1994
311994
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
302016
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
302004
Partial deduction of the ground representation and its application to integrity checking
M Leuschel, B Martens
ILPS, 495-509, 1995
301995
Fully automatic binding-time analysis for Prolog
SJ Craig, JP Gallagher, M Leuschel, KS Henriksen
Logic Based Program Synthesis and Transformation: 14th International …, 2005
292005
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
282010
Self-tuning resource aware specialisation for Prolog
SJ Craig, M Leuschel
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
282005
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
281998
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
272015
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
272000
Debugging event-b models using the prob disprover plug-in
O Ligot, J Bendisposto, M Leuschel
Proceedings AFADL 7, 1-13, 2007
262007
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
252005
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
251995
Easy graphical animation and formula visualisation for teaching B
M Leuschel, M Samia, J Bendisposto
232008
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
222019
Translating B to TLA+ for validation with TLC
D Hansen, M Leuschel
Science of Computer Programming 131, 109-125, 2016
222016
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
222008
Forward slicing by conjunctive partial deduction and argument filtering
M Leuschel, G Vidal
European Symposium on Programming, 61-76, 2005
222005
Preserving termination of tabled logic programs while unfolding
M Leuschel, B Martens, K Sagonas
Logic Program Synthesis and Transformation: 7th International Workshop …, 1998
221998
Tutorial on program specialisation
D De Schreye, M Leuschel, B Martens
ILPS, 615-616, 1995
221995
Constraint-based deadlock checking of high-level specifications
S Hallerstede, M Leuschel
Theory and Practice of Logic Programming 11 (4-5), 767-782, 2011
212011
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
202013
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
202009
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
202006
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
202004
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
192020
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
192010
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
192001
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
182020
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
182017
Automatic flow analysis for Event-B
J Bendisposto, M Leuschel
Fundamental Approaches to Software Engineering: 14th International …, 2011
182011
Proof assisted model checking for B
J Bendisposto, M Leuschel
Formal Methods and Software Engineering: 11th International Conference on …, 2009
182009
Animation and model checking of csp and b using prolog technology
M Leuschel, L Adhianto, M Butler, C Ferreira, L Mikhailov
182001
BMotionWeb: a tool for rapid creation of formal prototypes
L Ladenberger, M Leuschel
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
172016
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
172015
The system can't perform the operation now. Try again later.
Articles 1–100