Michael Leuschel - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Michael Leuschel' as author, editor, or advisor:

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.
Towards Just-In-Time Partial Evaluation of PrologCarl Friedrich Bolz, Michael Leuschel, Armin Rigo. LOPSTR 2010: 158-172 [doi]
Avocs2010 PrefaceJens Bendisposto, Michael Leuschel, Markus Roggenbach. eceasst, 35, 2010. [doi]
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real TrainsDominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron. asm 2018: 292-306 [doi]
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and moreDaniel Plagge, Michael Leuschel. STTT, 12(1):9-21, 2010. [doi]
Validating and Animating Higher-Order Recursive Functions in BMichael Leuschel, Dominique Cansell, Michael J. Butler. BIRTHDAY 2009: 78-92 [doi]
Validation of Formal Models by Interactive SimulationFabian Vu, Michael Leuschel. zum 2023: 59-69 [doi]
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B modelDominik Hansen, Michael Leuschel, Philipp Körner, Sebastian Krings, Thomas Naulin, Nader Nayeri, David Schneider 0001, Frank Skowron. STTT, 22(3):315-332, 2020. [doi]
Translating TLA + to B for Validation with ProBDominik Hansen, Michael Leuschel. IFM 2012: 24-38 [doi]
+ for validation with TLCDominik Hansen, Michael Leuschel. SCP, 131:109-125, 2016. [doi]
From Software Specifications to Constraint ProgrammingStefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel. SEFM 2018: 21-36 [doi]
Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle ChallengeMichael Leuschel, David Schneider. asm 2014: 101-116 [doi]
Validation of Formal Models by Timed Probabilistic SimulationFabian Vu, Michael Leuschel, Atif Mashkoor. asm 2021: 81-96 [doi]
Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationMichael Leuschel, Salvador Tamarit, Germán Vidal. wflp 2010: 111-127 [doi]
Model Checking B Models via High-Level Code GenerationFabian Vu, Dominik Brandt, Michael Leuschel. icfem 2022: 334-351 [doi]
Validation of formal models by refinement animationStefan Hallerstede, Michael Leuschel, Daniel Plagge. SCP, 78(3):272-292, 2013. [doi]
Towards a Shared Specification RepositoryPhilipp Körner, Michael Leuschel, Jannik Dunkelau. asm 2020: 266-271 [doi]
A Refinement-Based Correctness Proof of Symmetry Reduced Model CheckingEdd Turner, Michael Butler, Michael Leuschel. asm 2010: 231-244 [doi]
Automated Property Verification for Large Scale B ModelsMichael Leuschel, JÃ©rÃ´me Falampin, Fabian Fritz, Daniel Plagge. FM 2009: 708-723 [doi]
Enabling Analysis for Event-BIvaylo Dobrikov, Michael Leuschel. asm 2016: 102-118 [doi]
Experiments in program verification using Event-BStefan Hallerstede, Michael Leuschel. fac, 24(1):97-125, 2012. [doi]
Towards Practical Partial Order Reduction for High-Level FormalismsPhilipp Körner, Michael Leuschel. vstte 2023: 72-91 [doi]
Directed Model Checking for B: An Evaluation and New TechniquesMichael Leuschel, Jens Bendisposto. sbmf 2011: 1-16 [doi]
Inferring physical units in formal modelsSebastian Krings, Michael Leuschel. SoSyM, 16(1):25-47, 2017. [doi]
An Approach for Creating Domain Specific Visualisations of CSP ModelsLukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel. SEFM 2015: 20-35 [doi]
Refinement-Animation for Event-B - Towards a Method of ValidationStefan Hallerstede, Michael Leuschel, Daniel Plagge. asm 2010: 287-301 [doi]
Static slicing of explicitly synchronized languagesMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. iandc, 214:10-46, 2012. [doi]
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal SpecificationAtif Mashkoor, Michael Leuschel, Alexander Egyed. ICSE 2021: 1-5 [doi]
Selected papers on Integrated Formal Methods (iFM09)Michael Leuschel, Heike Wehrheim. SCP, 76(10):835-836, 2011. [doi]
A Translation from Alloy to BSebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel. asm 2018: 71-86 [doi]
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)Jens Bendisposto, Michael Leuschel, Markus Roggenbach. SCP, 81:1-2, 2014. [doi]
Fifty Years of Prolog and BeyondPhilipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales 0001, Jan Wielemaker, Daniel Diaz, Salvador Abreu. tplp, 22(6):776-858, 2022. [doi]
Efficient approximate verification of B and Z models via symmetry markersMichael Leuschel, Thierry Massart. AMAI, 59(1):81-106, 2010. [doi]
Runtime feedback in a meta-tracing JIT for efficient dynamic languagesCarl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo. ECOOP 2011: [doi]
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene. dagstuhl-reports, 3(9):74-105, 2013. [doi]
Repair and Generation of Formal Models Using SynthesisJoshua Schmidt, Sebastian Krings, Michael Leuschel. IFM 2018: 346-366 [doi]
A Multi-target Code Generator for High-Level BFabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel. IFM 2019: 456-473 [doi]
Validation of the ABZ landing gear system using ProBLukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel. STTT, 19(2):187-203, 2017. [doi]
Model-Based Problem Solving for University Timetable Validation and ImprovementDavid Schneider, Michael Leuschel, Tobias Witt. FM 2015: 487-495 [doi]
SMT Solvers for Validation of B and Event-B ModelsSebastian Krings, Michael Leuschel. IFM 2016: 361-375 [doi]
Improving SMT Solver Integrations for the Validation of B and Event-B ModelsJoshua Schmidt, Michael Leuschel. fmics 2021: 107-125 [doi]
Symbolic Reachability Analysis of B Through ProB and LTSminJens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield. IFM 2016: 275-291 [doi]
Formalisation of SysML/KAOS Goal Assignments with B System Component DecompositionsSteve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel. IFM 2018: 377-397 [doi]
Towards a jitting VM for prolog executionCarl Friedrich Bolz, Michael Leuschel, David Schneider. ppdp 2010: 99-108 [doi]
An Approach of Requirements Tracing in Formal RefinementMichael Jastram, Stefan Hallerstede, Michael Leuschel, Aryldo G. Russo. vstte 2010: 97-111 [doi]
A Compact Encoding of Sequential ASMs in Event-BMichael Leuschel, Egon Börger. asm 2016: 119-134 [doi]
Software Architecture of Modern Model CheckersFabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 393-419, Springer, 2019. [doi]
Proof assisted bounded and unbounded symbolic model checking of software and system modelsSebastian Krings, Michael Leuschel. SCP, 158:41-63, 2018. [doi]
LTL Model Checking under Fairness in ProBIvaylo Dobrikov, Michael Leuschel, Daniel Plagge. SEFM 2016: 204-211 [doi]
Visualising Event-B Models with B-Motion StudioLukas Ladenberger, Jens Bendisposto, Michael Leuschel. fmics 2009: 202-204 [doi]
Integrating formal specifications into applications: the ProB Java APIPhilipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel. fmsd, 58(1):160-187, 2021. [doi]
Proof Assisted Symbolic Model Checking for B and Event-BSebastian Krings, Michael Leuschel. asm 2016: 135-150 [doi]
Applying Formal Reasoning to Model Transformation: The Meeduse solutionAkram Idani, Germán Vega, Michael Leuschel. staf 2020: 33-44 [doi]
Model-based problem solving for university timetable validation and improvementDavid Schneider 0001, Michael Leuschel, Tobias Witt. fac, 30(5):545-569, 2018. [doi]
Developing Camille, a text editor for RodinJens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt. SPE, 41(2):189-198, 2011. [doi]
Improving Railway Data Validation with ProBJérôme Falampin, Hung Le Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 27-43, Springer, 2013. [doi]
Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. ProceedingsJohn Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Volume 7316 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Embedding SMT-LIB into B for Interactive Proof and Constraint SolvingSebastian Krings, Michael Leuschel. IFM 2019: 265-283 [doi]
Extended Algebraic State-Transition DiagramsLionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. ICECCS 2018: 146-155 [doi]
Validating B, Z and TLA + Using ProB and KodkodDaniel Plagge, Michael Leuschel. FM 2012: 372-386 [doi]
Interactive Model Repair by SynthesisJoshua Schmidt, Sebastian Krings, Michael Leuschel. asm 2016: 303-307 [doi]
Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods ToolsMichael Leuschel. cav 2014: 1 [doi]
Modeling and Analysis of a Safety-Critical Interactive System Through Validation ObligationsDavid Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor. zum 2023: 284-302 [doi]
Operation Caching and State Compression for Model Checking of High-Level Models - How to Have Your Cake and Eat ItMichael Leuschel. IFM 2022: 129-145 [doi]
Enabling analysis for Event-BIvaylo Dobrikov, Michael Leuschel. SCP, 158:81-99, 2018. [doi]
Mastering the Visualization of Larger State Spaces with Projection DiagramsLukas Ladenberger, Michael Leuschel. icfem 2015: 153-169 [doi]
Optimising the ProB model checker for B using partial order reductionIvaylo Dobrikov, Michael Leuschel. fac, 28(2):295-323, 2016. [doi]
Model-Based Robustness Testing in Event-B Using MutationAymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet. SEFM 2015: 132-147 [doi]
Validation of the ABZ Landing Gear System Using ProBDominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel. asm 2014: 66-79 [doi]
VisB: A Lightweight Tool to Visualize Formal Models with SVG GraphicsMichelle Werth, Michael Leuschel. asm 2020: 260-265 [doi]
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B MethodJannik Dunkelau, Michael Leuschel. IFM 2024: 237-256 [doi]
Allocation removal by partial evaluation in a tracing JITCarl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo. PEPM 2011: 43-52 [doi]
Introduction to the 30th International Conference on Logic Programming Special IssueMichael Leuschel, Tom Schrijvers. tplp, 14(4-5):401-414, 2014. [doi]
Automatic Flow Analysis for Event-BJens Bendisposto, Michael Leuschel. FASE 2011: 50-64 [doi]
Making ProB Compatible with SWI-PrologDavid Geleßus, Michael Leuschel. tplp, 22(5):755-769, 2022. [doi]
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSminPhilipp Körner, Michael Leuschel, Jeroen Meijer. IFM 2018: 275-295 [doi]
Validation by Abstraction and RefinementSebastian Stock 0002, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed. zum 2023: 160-178 [doi]
On the Performance of Bytecode Interpreters in PrologPhilipp Körner, David Schneider 0001, Michael Leuschel. wflp 2021: 41-56 [doi]
Formal Model-Based Constraint Solving and Document GenerationMichael Leuschel. sbmf 2016: 3-20 [doi]
Applying Model Checking to Generate Model-Based Integration Tests from Choreography ModelsSebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker. pts 2009: 179-194 [doi]
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal MethodsDavid Geleßus, Michael Leuschel. asm 2020: 248-254 [doi]
Rapid Visualization of B Specifications containing Higher-Order Recursive FunctionsJens Bendisposto, Michael Leuschel. stt, 26(2), 2006. [doi]
Constraint-based deadlock checking of high-level specificationsStefan Hallerstede, Michael Leuschel. tplp, 11(4-5):767-782, 2011. [doi]
Automated property verification for large scale B models with ProBMichael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. fac, 23(6):683-709, 2011. [doi]
Modelling and Validating an Automotive System in Classical B and Event-BMichael Leuschel, Mareike Mutz, Michelle Werth. asm 2020: 335-350 [doi]
Inferring Physical Units in B ModelsSebastian Krings, Michael Leuschel. SEFM 2013: 137-151 [doi]
Generating Event-B Specifications from Algorithm DescriptionsJoy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel. asm 2016: 183-197 [doi]
Three Is a Crowd: SAT, SMT and CLP on a ChessboardSebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagic. PADL 2018: 63-79 [doi]
Spot the Difference: A Detailed Comparison Between B and Event-BMichael Leuschel. BIRTHDAY 2021: 147-172 [doi]
PrefaceAlexander Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel. eceasst, 46, 2011. [doi]
Generating interactive documents for domain-specific validation of formal modelsFabian Vu, Christopher Happe, Michael Leuschel. STTT, 26(2):147-168, April 2024. [doi]
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block SystemMichael Leuschel, Nader Nayeri. rssrail 2023: 193-210 [doi]
Proof Assisted Model Checking for BJens Bendisposto, Michael Leuschel. icfem 2009: 504-520 [doi]
BMotionWeb: A Tool for Rapid Creation of Formal PrototypesLukas Ladenberger, Michael Leuschel. SEFM 2016: 403-417 [doi]
Trace preservation in B and Event-B refinementsSebastian Stock 0002, Atif Mashkoor, Michael Leuschel, Alexander Egyed. jlap, 137:100943, February 2024. [doi]
Fast and Effective Well-Definedness CheckingMichael Leuschel. IFM 2020: 63-81 [doi]
Modeling and Verifying an Arrival Manager Using Event-BAmel Mammar, Michael Leuschel. zum 2023: 321-339 [doi]
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-BMathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz. rssrail 2019: 202-212 [doi]
Translating Alloy and extensions to classical BSebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider 0001, Marc Frappier. SCP, 188:102378, 2020. [doi]
Using B and ProB for Data Validation ProjectsDominik Hansen, David Schneider, Michael Leuschel. asm 2016: 167-182 [doi]
Generating Domain-Specific Interactive Validation DocumentsFabian Vu, Christopher Happe, Michael Leuschel. fmics 2022: 32-49 [doi]
Fast offline partial evaluation of logic programsMichael Leuschel, Germán Vidal. iandc, 235:70-97, 2014. [doi]
How to Explain MistakesStefan Hallerstede, Michael Leuschel. tfm 2009: 105-124 [doi]
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected PapersFrank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Volume 6286 of Lecture Notes in Computer Science, Springer, 2010. [doi]
On Fitting a Formal Method into PracticeRainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge. icfem 2011: 195-210 [doi]
From Failure to Proof: The ProB Disprover for B and Event-BSebastian Krings, Jens Bendisposto, Michael Leuschel. SEFM 2015: 199-214 [doi]
A Formal Model of Train Control with AI-Based Obstacle DetectionJan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu. rssrail 2023: 128-145 [doi]
ProB2-UI: A Java-Based User Interface for ProBJens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth. fmics 2021: 193-201 [doi]
The First Twenty-Five Years of Industrial Use of the B-MethodMichael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin. fmics 2020: 189-209 [doi]
Translating B to TLA + for Validation with TLCDominik Hansen, Michael Leuschel. asm 2014: 40-55 [doi]
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!Jannik Dunkelau, Joshua Schmidt, Michael Leuschel. asm 2020: 107-123 [doi]
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk)Michael Leuschel. zum 2018: 1 [doi]
Embedding High-Level Formal Specifications into ApplicationsPhilipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel. FM 2019: 519-535 [doi]
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to LifeMichael Leuschel. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 239-247, Springer, 2023. [doi]
Trace Refinement in B and Event-BSebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed. icfem 2022: 316-333 [doi]
SMT solving for the validation of B and Event-B modelsJoshua Schmidt, Michael Leuschel. STTT, 24(6):1043-1077, 2022. [doi]
Towards pie tree visualization of graphs and large software architecturesMireille Samia, Michael Leuschel. IWPC 2009: 301-302 [doi]
Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999Michael Leuschel, editor, Volume 30 of Electronic Notes in Theoretical Computer Science, Elsevier, 1999. [doi]
Optimising the ProB Model Checker for B Using Partial Order ReductionIvaylo Dobrikov, Michael Leuschel. SEFM 2014: 220-234 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Michael Leuschel's Profile

Unidentified Publications