Michael Leuschel

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 80

Top Venues

Publications

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace preservation in B and Event-B refinements. J. Log. Algebraic Methods Program. 137 (2024)
Amel Mammar, Michael Leuschel
Modeling and Verifying an Arrival Manager Using Event-B. ABZ (2023)
Michael Leuschel, Nader Nayeri
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System. RSSRail (2023)
Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
Validation by Abstraction and Refinement. ABZ (2023)
Fabian Vu, Michael Leuschel
Validation of Formal Models by Interactive Simulation. ABZ (2023)
Jannik Dunkelau, Michael Leuschel
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method. iFM (2023)
David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ (2023)
Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
A Formal Model of Train Control with AI-Based Obstacle Detection. RSSRail (2023)
Jan Roßbach, Michael Leuschel
Certified Control for Train Sign Classification. CoRR (2023)
Philipp Körner, Michael Leuschel
Towards Practical Partial Order Reduction for High-Level Formalisms. VSTTE (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. ICFEM (2022)
Sebastian Stock, Fabian Vu, David Geleßus, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Formalization of Advanced VOs semantics and VO Refinement. CoRR (2022)
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel, Alexander Egyed
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics. CoRR (2022)
Fabian Vu, Dominik Brandt, Michael Leuschel
Model Checking B Models via High-Level Code Generation. ICFEM (2022)
David Geleßus, Michael Leuschel
Making ProB compatible with SWI-Prolog. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Fabian Vu, Christopher Happe, Michael Leuschel
Generating Domain-Specific Interactive Validation Documents. FMICS (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Joshua Schmidt, Michael Leuschel
SMT solving for the validation of B and Event-B models. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
David Geleßus, Michael Leuschel
Making ProB Compatible with SWI-Prolog. Theory Pract. Log. Program. 22 (5) (2022)
Michael Leuschel
Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat It. IFM (2022)
Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed
Trace Refinement in B and Event-B. CoRR (2022)
Michael Leuschel
Spot the Difference: A Detailed Comparison Between B and Event-B. Logic, Computation and Rigorous Methods (2021)
Joshua Schmidt, Michael Leuschel
Improving SMT Solver Integrations for the Validation of B and Event-B Models. FMICS (2021)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58 (1-2) (2021)
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR (2021)
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
ProB2-UI: A Java-Based User Interface for ProB. FMICS (2021)
Atif Mashkoor, Michael Leuschel, Alexander Egyed
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. ICSE (NIER) (2021)
Fabian Vu, Michael Leuschel, Atif Mashkoor
Validation of Formal Models by Timed Probabilistic Simulation. ABZ (2021)
Philipp Körner, Michael Leuschel, Jannik Dunkelau
Towards a Shared Specification Repository. ABZ (2020)
Dominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider, Frank Skowron
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. CoRR (2020)
Michelle Werth, Michael Leuschel
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. ABZ (2020)
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! ABZ (2020)
Michael Leuschel
Fast and Effective Well-Definedness Checking. IFM (2020)
David Geleßus, Michael Leuschel
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. ABZ (2020)
Michael Leuschel, Mareike Mutz, Michelle Werth
Modelling and Validating an Automotive System in Classical B and Event-B. ABZ (2020)
Philipp Körner, David Schneider, Michael Leuschel
On the Performance of Bytecode Interpreters in Prolog. WFLP (2020)
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B-Method. FMICS (2020)
Michael Leuschel
Prolog for Verification, Analysis and Transformation Tools. VPT/HCVS@ETAPS (2020)
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B. Sci. Comput. Program. 188 (2020)
Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. RSSRail (2019)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications. FM (2019)
Akram Idani, Germán Vega, Michael Leuschel
Applying Formal Reasoning to Model Transformation: The Meeduse solution. TTC@STAF (2019)
Sebastian Krings, Michael Leuschel
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving. IFM (2019)
Fabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel
A Multi-target Code Generator for High-Level B. IFM (2019)
Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ABZ (2018)
Ivaylo Dobrikov, Michael Leuschel
Enabling analysis for Event-B. Sci. Comput. Program. 158 (2018)
Michael Leuschel
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk). SETS@ABZ (2018)
Philipp Körner, Michael Leuschel, Jeroen Meijer
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. IFM (2018)
David Schneider, Michael Leuschel, Tobias Witt
Model-based problem solving for university timetable validation and improvement. Formal Aspects Comput. 30 (5) (2018)
Lionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar
Extended Algebraic State-Transition Diagrams. ICECCS (2018)
Sebastian Krings, Michael Leuschel
Proof assisted bounded and unbounded symbolic model checking of software and system models. Sci. Comput. Program. 158 (2018)
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B. ABZ (2018)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Repair and Generation of Formal Models Using Synthesis. IFM (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM (2018)
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic
Three Is a Crowd: SAT, SMT and CLP on a Chessboard. PADL (2018)
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
From Software Specifications to Constraint Programming. SEFM (2018)
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ landing gear system using ProB. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Sebastian Krings, Michael Leuschel
Inferring physical units in formal models. Softw. Syst. Model. 16 (1) (2017)
Sebastian Krings, Michael Leuschel
Constraint Logic Programming over Infinite Domains with an Application to Proof. WLP / WFLP (2017)
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel, Gerda Janssens
Knowledge Representation Analysis of Graph Mining. CoRR (2016)
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
Generating Event-B Specifications from Algorithm Descriptions. ABZ (2016)
Sebastian Krings, Michael Leuschel
Proof Assisted Symbolic Model Checking for B and Event-B. ABZ (2016)
Ivaylo Dobrikov, Michael Leuschel
Optimising the ProB model checker for B using partial order reduction. Formal Aspects Comput. 28 (2) (2016)
Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
LTL Model Checking under Fairness in ProB. SEFM (2016)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Lukas Ladenberger, Michael Leuschel
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes. SEFM (2016)
Dominik Hansen, Michael Leuschel
for validation with TLC. Sci. Comput. Program. 131 (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Interactive Model Repair by Synthesis. ABZ (2016)
Dominik Hansen, David Schneider, Michael Leuschel
Using B and ProB for Data Validation Projects. ABZ (2016)
Michael Leuschel
Formal Model-Based Constraint Solving and Document Generation. SBMF (2016)
Michael Leuschel, Egon Börger
A Compact Encoding of Sequential ASMs in Event-B. ABZ (2016)
Ivaylo Dobrikov, Michael Leuschel
Enabling Analysis for Event-B. ABZ (2016)
Sebastian Krings, Michael Leuschel
SMT Solvers for Validation of B and Event-B Models. IFM (2016)
Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
Model-Based Robustness Testing in Event-B Using Mutation. SEFM (2015)
Sebastian Krings, Jens Bendisposto, Michael Leuschel
From Failure to Proof: The ProB Disprover for B and Event-B. SEFM (2015)
David Schneider, Michael Leuschel, Tobias Witt
Model-Based Problem Solving for University Timetable Validation and Improvement. FM (2015)
Lukas Ladenberger, Michael Leuschel
Mastering the Visualization of Larger State Spaces with Projection Diagrams. ICFEM (2015)
Michael Leuschel, David Schneider
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. ABZ (2014)
Dominik Hansen, Michael Leuschel
Translating B to TLA + for Validation with TLC. ABZ (2014)
John Witulski, Michael Leuschel
Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. F-IDE (2014)
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). Sci. Comput. Program. 81 (2014)
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Who watches the watchers: Validating the ProB Validation Tool. F-IDE (2014)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)
Michael Leuschel, Tom Schrijvers
Introduction to the 30th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 14 (4-5) (2014)
Michael Leuschel
Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools. VPT@CAV (2014)
Ivaylo Dobrikov, Michael Leuschel
Optimising the ProB Model Checker for B Using Partial Order Reduction. SEFM (2014)
Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
An Approach for Creating Domain Specific Visualisations of CSP Models. SEFM Workshops (2014)
Michael Leuschel, Germán Vidal
Fast offline partial evaluation of logic programs. Inf. Comput. 235 (2014)
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports 3 (9) (2013)
Stefan Hallerstede, Michael Leuschel, Daniel Plagge
Validation of formal models by refinement animation. Sci. Comput. Program. 78 (3) (2013)
Sebastian Krings, Michael Leuschel
Inferring Physical Units in B Models. SEFM (2013)
Stefan Hallerstede, Michael Leuschel
Experiments in program verification using Event-B. Formal Aspects Comput. 24 (1) (2012)
Thierry Lecomte, Lilian Burdy, Michael Leuschel
Formally Checking Large Data Sets in the Railways CoRR (2012)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Static slicing of explicitly synchronized languages. Inf. Comput. 214 (2012)
Dominik Hansen, Michael Leuschel
Translating TLA + to B for Validation with ProB. IFM (2012)
Daniel Plagge, Michael Leuschel
Validating B, Z and TLA + Using ProB and Kodkod. FM (2012)
Jens Bendisposto, Michael Leuschel
Automatic Flow Analysis for Event-B. FASE (2011)

Michael Leuschel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Leuschel