Michaël Leuschel

Johannes Kepler University of Linz — Austria

Computer Science · Physical Sciences

32h-index4.7kcitations349works2.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(199), Logic, programming, and type systems(122), Software Testing and Debugging Techniques(110), Model-Driven Software Engineering Techniques(69), Software Reliability and Analysis Research(42)

Publications349 total

Development and Validation of a Formal Model and Prototype for an Air Traffic Control System
Formal Aspects of Computing·2025Open Access
Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Lecture notes in computer science·2025· 1 cited
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems
Lecture notes in computer science·2025· 1 cited
Failure Divergence Refinement for Event-B
Lecture notes in computer science·2025
Case Study: Safety Controller for Autonomous Driving on Highways
Lecture notes in computer science·2025· 1 cited
Failure divergence refinement for Event-B
arXiv (Cornell University)·2025Open Access
Certified control for train sign classification
Science of Computer Programming·2025· 1 citedOpen Access
Modeling and verifying an arrival manager using the formal Event-B method
International Journal on Software Tools for Technology Transfer·2025
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method
Formal Aspects of Computing·2025
Correction to: Validation of railML Using ProB
Lecture notes in computer science·2025Open Access
Towards a Novel Approach to Railway Safety Using STPA and Promise Theory
Lecture notes in computer science·2025· 2 cited
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Validation of railML Using ProB
Lecture notes in computer science·2024· 5 cited
B2SAT: A Bare-Metal Reduction of B to SAT
Lecture notes in computer science·2024· 1 citedOpen Access
Formal Methods in Industry
Formal Aspects of Computing·2024· 26 citedOpen Access
Kann eine Smartphone App mit KI die VNG in der Kalorik ersetzen?
Laryngo-Rhino-Otologie·2024
Can a smartphone app with AI replace the VNG in caloric testing?
Laryngo-Rhino-Otologie·2024
Generating interactive documents for domain-specific validation of formal models
International Journal on Software Tools for Technology Transfer·2024· 2 citedOpen Access
Trace preservation in B and Event-B refinements
Journal of Logical and Algebraic Methods in Programming·2024Open Access
Validation of Reinforcement Learning Agents and Safety Shields with ProB
Lecture notes in computer science·2024· 6 cited
page 1 of 18Next →

Frequent Co-authors

Daniel Plagge(7), Michael Butler(6), Danny De Schreye(6), Jesper Jørgensen(4), Bern Martens(4), Sebastian Krings(4), Jens Bendisposto(4), Dominik Hansen(4), Maurice Bruynooghe(3), Philipp Körner(3), Thierry Lecomte(3), Carl Friedrich Bolz(3), David C. Schneider(3), Morten Heine Sørensen(2), Thierry Massart(2), Luis-Fernando Mejia(2), Lukas Ladenberger(2), Antonio Cuni(2), Samuele Pedroni(2), Armin Rigo(2)