Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
H-index: 39
Europe-Germany
Top articles of Michael Leuschel
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Can a smartphone app with AI replace the VNG in caloric testing? | Laryngo-Rhino-Otologie | Sophia Reinhardt Joshua Schmidt Jonas Schneider Elena Schulte Michael Leuschel | 2024/5 |
Generating interactive documents for domain-specific validation of formal models | International Journal on Software Tools for Technology Transfer | Fabian Vu Christopher Happe Michael Leuschel | 2024/2/20 |
Trace preservation in B and Event-B refinements | Journal of Logical and Algebraic Methods in Programming | Sebastian Stock Atif Mashkoor Michael Leuschel Alexander Egyed | 2024/2/1 |
Kann eine Smartphone App mit KI die VNG in der Kalorik ersetzen? | Laryngo-Rhino-Otologie | Sophia Reinhardt Joshua Schmidt Jonas Schneider Elena Schulte Michael Leuschel | 2024/5 |
A Formal Model of Train Control with AI-Based Obstacle Detection | Jan Gruteser David Geleßus Michael Leuschel Jan Roßbach Fabian Vu | 2023/9/27 | |
Clinical nystagmus characteristics–distribution of intensity components in acute vertigo patients | Laryngo-Rhino-Otologie | Elena Schulte Sophia Reinhardt Christian Hartmann Joshua Schmidt Jonas Schneider | 2023/5 |
Modeling and Verifying an Arrival Manager Using Event-B | Amel Mammar Michael Leuschel | 2023/5/15 | |
Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System | Michael Leuschel Nader Nayeri | 2023/9/27 | |
Klinische Nystagmusbeschreibung–Verteilung der Intensitätskomponenten bei akuten Schwindelpatienten | Laryngo-Rhino-Otologie | Elena Schulte Sophia Reinhardt Christian Hartmann Joshua Schmidt Jonas Schneider | 2023/5 |
Validation by abstraction and refinement | Sebastian Stock Fabian Vu David Geleßus Michael Leuschel Atif Mashkoor | 2023/5/15 | |
Mobile videonystagmography for everybody | Laryngo-Rhino-Otologie | Sophia Reinhardt Joshua Schmidt Jonas Schneider Elena Schulte Christian Hartmann | 2023/5 |
Check for | Science of Cyber Security: 5th International Conference, SciSec 2023, Melbourne, VIC, Australia, July 11–14, 2023, Proceedings | Jason T LeGrow Brian Koziel Reza Azarderakhsh | 2023/11/20 |
Modeling and analysis of a safety-critical interactive system through validation obligations | David Geleßus Sebastian Stock Fabian Vu Michael Leuschel Atif Mashkoor | 2023/5/15 | |
Access | The Journal of Hellenic Studies | Tom Boiy | 2010/11 |
Certified Control for Train Sign Classification | arXiv preprint arXiv:2311.09778 | Jan Roßbach Michael Leuschel | 2023/11/16 |
Validation of formal models by interactive simulation | Fabian Vu Michael Leuschel | 2023/5/15 | |
Smartphone-Based Videonystagmography Using Artificial Intelligence | Sophia Reinhardt Joshua Schmidt Jonas Schneider Elena Schulte Christiane Schüle | 2023/9/1 | |
Gesetzter Vortrag aus der Univ. HNO-Klinik Düsseldorf: Mobile Videonystagmographie für Jedermann | Laryngo-Rhino-Otologie | Sophia Reinhardt Joshua Schmidt Jonas Schneider Elena Schulte Christian Hartmann | 2023/5 |
Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method | Jannik Dunkelau Michael Leuschel | 2023/11/6 | |
ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life | Michael Leuschel | 2023/6/17 |
Co-Authors
