Follow
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
8152003
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
4642008
Combining CSP and B for specification and property verification
M Butler, M Leuschel
International Symposium on Formal Methods, 221-236, 2005
1542005
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
1341999
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
1291998
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
1102002
On the power of homeomorphic embedding for online termination
M Leuschel
International Static Analysis Symposium, 230-245, 1998
1061998
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
851996
Validating Z Specifications Using the ProB Animator and Model Checker
D Plagge, M Leuschel
International Conference on Integrated Formal Methods, 480-500, 2007
812007
Homeomorphic embedding for online termination of symbolic methods
M Leuschel
The essence of computation, 379-403, 2002
792002
Global control for partial deduction through characteristic atoms and global trees
M Leuschel, B Martens
Partial Evaluation, 263-283, 1996
771996
Redundant argument filtering of logic programs
M Leuschel, MH Sørensen
International Workshop on Logic Programming Synthesis and Transformation, 83-103, 1996
751996
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
742001
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
672011
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
672010
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
662011
Visualising event-B models with B-motion studio
L Ladenberger, J Bendisposto, M Leuschel
International Workshop on Formal Methods for Industrial Critical Systems …, 2009
662009
ProTest: An automatic test environment for B specifications
M Satpathy, M Leuschel, M Butler
Electronic Notes in Theoretical Computer Science 111, 113-136, 2005
642005
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool
M Leuschel, M Fontaine
International Conference on Formal Engineering Methods, 278-297, 2008
622008
The system can't perform the operation now. Try again later.
Articles 1–20