Michael Leuschel
Title
Cited by
Cited by
Year
ProB: A model checker for B
M Leuschel, M Butler
International symposium of formal methods europe, 855-874, 2003
7372003
ProB: an automated analysis toolset for the B method
M Leuschel, M Butler
International Journal on Software Tools for Technology Transfer 10 (2), 185-203, 2008
4062008
Combining CSP and B for specification and property verification
M Butler, M Leuschel
International Symposium on Formal Methods, 221-236, 2005
1482005
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
1331999
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
1301998
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
1191999
Logic program specialisation through partial deduction: Control issues
M Leuschel, M Bruynooghe
arXiv preprint cs/0202012, 2002
1052002
On the power of homeomorphic embedding for online termination
M Leuschel
International Static Analysis Symposium, 230-245, 1998
1011998
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.
M Leuschel, D De Schreye, DA de Waal
JICSLP, 319-332, 1996
841996
Validating Z Specifications Using the ProB Animator and Model Checker
D Plagge, M Leuschel
International Conference on Integrated Formal Methods, 480-500, 2007
762007
Homeomorphic embedding for online termination of symbolic methods
M Leuschel
The essence of computation, 379-403, 2002
762002
Global control for partial deduction through characteristic atoms and global trees
M Leuschel, B Martens
Partial Evaluation, 263-283, 1996
731996
Redundant argument filtering of logic programs
M Leuschel, MH Sørensen
International Workshop on Logic Programming Synthesis and Transformation, 83-103, 1996
721996
How to make FDR spin LTL model checking of CSP by refinement
M Leuschel, A Currie, T Massart
International Symposium of Formal Methods Europe, 99-118, 2001
712001
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
632011
Visualising event-B models with B-motion studio
L Ladenberger, J Bendisposto, M Leuschel
International Workshop on Formal Methods for Industrial Critical Systems …, 2009
622009
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
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
612005
Automated property verification for large scale B models with ProB
M Leuschel, J Falampin, F Fritz, D Plagge
Formal Aspects of Computing 23 (6), 683-709, 2011
592011
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
592010
The system can't perform the operation now. Try again later.
Articles 1–20