Michael Leuschel
Cited by
Cited by
ProB: A model checker for B
M Leuschel, M Butler
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 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
Combining CSP and B for specification and property verification
M Butler, M Leuschel
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
Infinite state model checking by abstract interpretation and program specialisation
M Leuschel, T Massart
Logic-Based Program Synthesis and Transformation: 9th International Workshop …, 2000
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
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
Logic program specialisation through partial deduction: Control issues
M Leuschel, M Bruynooghe
Theory and Practice of Logic Programming 2 (4-5), 461-515, 2002
On the power of homeomorphic embedding for online termination
M Leuschel
Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September …, 2002
A conceptual embedding of folding into partial deduction: Towards a maximal integration
M Leuschel, D De Schreye, DA de Waal
the Joint International Conference and Symposium on Logic Programming …, 1996
Validating Z Specifications Using the ProB Animator and Model Checker
D Plagge, M Leuschel
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
Homeomorphic embedding for online termination of symbolic methods
M Leuschel
The essence of computation: complexity, analysis, transformation, 379-403, 2002
Redundant argument filtering of logic programs
M Leuschel, MH Sørensen
Logic Program Synthesis and Transformation: 6th International Workshop …, 1997
Global control for partial deduction through characteristic atoms and global trees
M Leuschel, B Martens
1996 Dagstuhl Seminar on Partial Evaluation 1110, 263-283, 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
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
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
Visualising event-B models with B-motion studio
L Ladenberger, J Bendisposto, M Leuschel
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 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
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
Automatic refinement checking for B
M Leuschel, M Butler
Formal Methods and Software Engineering: 7th International Conference on …, 2005
The system can't perform the operation now. Try again later.
Articles 1–20