| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefan Hallerstede, Michael Leuschel |
Experiments in program verification using Event-B.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Static slicing of explicitly synchronized languages. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel |
Preface. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge |
Automated property verification for large scale B models with ProB. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Heike Wehrheim |
Selected papers on Integrated Formal Methods (iFM09). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt |
Developing Camille, a text editor for Rodin. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Michael Leuschel |
Constraint-Based Deadlock Checking of High-Level Specifications |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Hallerstede, Michael Leuschel |
Constraint-based deadlock checking of high-level specifications. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge |
On Fitting a Formal Method into Practice. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
Allocation removal by partial evaluation in a tracing JIT. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
Automatic Flow Analysis for Event-B. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel, Markus Roggenbach |
Avocs2010 Preface. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Thierry Massart |
Efficient approximate verification of B and Z models via symmetry markers. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Plagge, Michael Leuschel |
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) |
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jens Bendisposto |
Directed Model Checking for B: An Evaluation and New Techniques. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo |
An Approach of Requirements Tracing in Formal Refinement. |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Friedrich Bolz, Michael Leuschel, David Schneider |
Towards a jitting VM for prolog execution. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
| 1 | Edd Turner, Michael J. Butler, Michael Leuschel |
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Michael Leuschel, Daniel Plagge |
Refinement-Animation for Event-B - Towards a Method of Validation. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Improving Size-Change Analysis in Offline Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider |
A Semantics-Aware Editing Environment for Prolog in Eclipse |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel |
Proof Assisted Model Checking for B. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration |
| 1 | Stefan Hallerstede, Michael Leuschel |
How to Explain Mistakes. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
| 1 | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
Visualising Event-B Models with B-Motion Studio. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker |
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
Service Choreography Models, Model Checking, Formal Methods, Model-based Testing, Integration Testing |
| 1 | Michael Leuschel, Heike Wehrheim (eds.) |
Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Samia, Michael Leuschel |
Towards pie tree visualization of graphs and large software architectures. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge |
Automated Property Verification for Large Scale B Models. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Tools, Constraint-Solving, Industrial Applications, B-Method |
| 1 | Michael Leuschel, Dominique Cansell, Michael J. Butler |
Validating and Animating Higher-Order Recursive Functions in B. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mireille Samia, Michael Leuschel |
Pie Tree Visualization. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carl Friedrich Bolz, Michael Leuschel, Armin Rigo |
Towards Just-In-Time Partial Evaluation of Prolog. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. |
WFLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia |
La validation de modèles Event-B avec le plug-in ProB pour RODIN. |
Technique et Science Informatiques |
2008 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via Jones-optimal logic program specialisation. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming |
| 1 | Julia L. Lawall, Michael Leuschel, Peter Sestoft |
Editorial. |
Higher-Order and Symbolic Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Michael J. Butler |
ProB: an automated analysis toolset for the B method. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marc Fontaine |
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method |
| 1 | Michael Leuschel |
Towards Demonstrably Correct Compilation of Java Byte Code. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel |
Declarative programming for verification: lessons and outlook. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
model checking, verification, formal methods, animation, logic programming |
| 1 | Corinna Spermann, Michael Leuschel |
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Model Checking, Tool Support, Tool Support, B-Method, B-Method, Symmetry Reduction |
| 1 | Michael Leuschel, Germán Vidal |
Fast Offline Partial Evaluation of Large Logic Programs. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
The MEB and CEB Static Analysis for CSP Specifications. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
Concurrent Programming, CSP, Program Slicing |
| 1 | Michael Leuschel |
The High Road to Formal Validation: . |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction |
| 1 | Karl Klose, Klaus Ostermann, Michael Leuschel |
Partial Evaluation of Pointcuts. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh |
Automatic Testing from Formal Specifications. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
Model Based Testing, B-Method, Non-determinism |
| 1 | Jens Bendisposto, Michael Leuschel |
BE4: The B Extensible Eclipse Editing Environment. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Michael J. Butler, Corinna Spermann, Edd Turner |
Symmetry Reduction for B by Permutation Flooding. |
B |
2007 |
DBLP DOI BibTeX RDF |
Symmetry Reduction.1, Model Checking, Tool Support, B-Method |
| 1 | Jens Bendisposto, Michael Leuschel |
A Generic Flash-Based Animation Engine for ProB. |
B |
2007 |
DBLP DOI BibTeX RDF |
Animation, Tool Support, B-Method |
| 1 | Michael Leuschel, Jens Bendisposto |
Animating and Model Checking B Specifications with Higher-Order Recursive Functions. |
Rigorous Methods for Software Construction and Analysis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart |
Efficient Approximate Verification of Promela Models Via Symmetry Markers. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Plagge, Michael Leuschel |
Validating Z Specifications Using the ProBAnimator and Model Checker. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Andreas Podelski (eds.) |
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland |
PPDP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Daniel Plagge |
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler |
Symmetry Reduced Model Checking for B. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
The Ecce and Logen partial evaluators and their web interfaces. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
logic programming, prolog, program transformation, partial evaluation, web programming, partial deduction |
| 1 | Michael Leuschel, Stephen-John Craig, Daniel Elphick |
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel |
Guest Editorial. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoranjan Satpathy, Michael Leuschel, Michael J. Butler |
ProTest: An Automatic Test Environment for B Specifications. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Michael J. Butler |
Automatic Refinement Checking for B. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking |
| 1 | Qian Wang, Gopal Gupta, Michael Leuschel |
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Edd Turner |
Visualising Larger State Spaces in Pro B. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Methods, Animation, Logic Programming, Visualisation, Tool Support, B-Method |
| 1 | Michael J. Butler, Michael Leuschel |
Combining CSP and B for Specification and Property Verification. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method |
| 1 | Stephen-John Craig, Michael Leuschel |
Self-tuning resource aware specialisation for prolog. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Germán Vidal |
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Michael Leuschel, Colin F. Snook |
Tools for System Validation with B Abstract Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel |
A framework for the integration of partial evaluation and abstract interpretation of logic programs. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction |
| 1 | Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche |
Introduction to the Special Issue on Verification and Computational Logic. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline specialisation in Prolog using a hand-written compiler generator. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Michael Leuschel, Stéphane Lo Presti, Phillip Turner |
The Use of Formal Methods in the Analysis of Trust (Position Paper). |
iTrust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel |
PROB: un outil de modélisation formelle. |
JFPLC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Steve Barker, Michael Leuschel, Mauricio Varea |
Efficient and flexible access control via logic program specialisation. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Cogen approach, database access control, program transformation, datalog, partial deduction |
| 1 | Stephen-John Craig, Michael Leuschel |
LIX: an Effective Self-applicable Partial Evaluator for Prolog. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application |
| 1 | Berndt Farwer, Michael Leuschel |
Model checking object petri nets in prolog. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
model checking, compilation, animation, prolog, object petri nets |
| 1 | Stéphane Lo Presti, Michael J. Butler, Michael Leuschel, Chris Booth |
A Trust Analysis Methodology for Pervasive Computing Systems. |
Trusting Agents for Trusting Electronic Societies |
2004 |
DBLP DOI BibTeX RDF |
Trust Analysis Methodology, Pervasive Scenario, Trust Analysis Grid, Pervasive Computing |
| 1 | Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof |
Specialising Interpreters Using Offline Partial Deduction. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel |
Binding-Time Analysis for Mercury. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen |
Fully Automatic Binding-Time Analysis for Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen-John Craig, Michael Leuschel |
A Compiler Generator for Constraint Logic Programs. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel (eds.) |
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003 |
PEPM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Daniel Elphick, Michael Leuschel, Simon J. Cox |
Partial Evaluation of MATLAB. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel |
Model-Based Approaches for Validating Business Critical Systems. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Michael J. Butler |
ProB: A Model Checker for B. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method |
| 1 | Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng |
The Benefits of Rapid Modelling for E-business System Development. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel (eds.) |
Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers |
LOPSTR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Helko Lehmann, Michael Leuschel |
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe |
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Maurice Bruynooghe |
Logic program specialisation through partial deduction: Control issues |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel |
Book Reviews. |
Softw. Test., Verif. Reliab. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Maurice Bruynooghe |
Logic program specialisation through partial deduction: Control issues. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel |
Homeomorphic Embedding for Online Termination of Symbolic Methods. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders |
| 1 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
| 1 | Michael Leuschel, Thierry Massart, Andrew Currie |
How to Make FDR Spin LTL Model Checking of CSP by Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Stefan Gruner |
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen |
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Helko Lehmann, Michael Leuschel |
Solving Planning Problems by Partial Deduction. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Helko Lehmann |
Solving coverability problems of petri nets by partial deduction. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
program analysis and verification, model checking, petri nets, concurrency, logic programming, abstract interpretation, partial evaluation |
| 1 | Michael Leuschel, Helko Lehmann |
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")