Michael Leuschel

Available identifiers

zbMath Open leuschel.michaelMaRDI QIDQ418180

List of research outcomes

Publication	Date of Publication	Type
Trace preservation in B and Event-B refinements	2024-02-12	Paper
From Software Specifications to Constraint Programming	2023-05-05	Paper
Making ProB Compatible with SWI-Prolog	2022-09-30	Paper
Operation caching and state compression for model checking of high-level models. How to have your cake and eat it	2022-08-19	Paper
Integrating formal specifications into applications: the ProB Java API	2022-06-20	Paper
Spot the difference: a detailed comparison between B and Event-B	2022-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5020651	2022-01-06	Paper
Formal model-based constraint solving and document generation	2018-09-27	Paper
Optimising the ProB model checker for B using partial order reduction	2016-08-04	Paper
Fast offline partial evaluation of logic programs	2014-03-13	Paper
Validation of formal models by refinement animation	2013-06-06	Paper
Experiments in program verification using Event-B	2012-07-03	Paper
Static slicing of explicitly synchronized languages	2012-05-24	Paper
Directed Model Checking for B: An Evaluation and New Techniques	2011-05-12	Paper
Efficient approximate verification of B and Z models via symmetry markers	2011-02-03	Paper
Towards Just-In-Time Partial Evaluation of Prolog	2010-05-04	Paper
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation	2010-04-27	Paper
Efficient and flexible access control via Jones-optimal logic program specialisation	2009-08-04	Paper
The MEB and CEB Static Analysis for CSP Specifications	2009-03-24	Paper
Fast Offline Partial Evaluation of Large Logic Programs	2009-03-24	Paper
The High Road to Formal Validation:	2008-11-11	Paper
Efficient Approximate Verification of Promela Models Via Symmetry Markers	2008-07-03	Paper
Fully Automatic Binding-Time Analysis for Prolog	2008-04-24	Paper
Functional and Logic Programming	2007-09-25	Paper
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques	2007-09-10	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Program Development in Computational Logic	2005-12-23	Paper
Program Development in Computational Logic	2005-12-23	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
Programming Languages and Systems	2005-09-13	Paper
Offline specialisation in Prolog using a hand-written compiler generator	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4808810	2004-08-12	Paper
Logic program specialisation through partial deduction: Control issues	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4414739	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q2767038	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2767047	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767102	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2763965	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2729911	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2723916	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4499252	2001-03-05	Paper
Conjunctive partial deduction: foundations, control, algorithms, and experiments	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4944878	2000-03-22	Paper
Creating specialised integrity checks through partial evaluation of meta-interpreters	1999-04-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Leuschel