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