Fabian Vu, Christopher Happe, Michael Leuschel
Generating Domain-Specific Interactive Validation Documents.
In Proceedings FMICS, LNCS, 13487, Springer, 32--49, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-15008-1_4
Fabian Vu, Dominik Brandt, Michael Leuschel
Model Checking B Models via High-Level Code Generation.
In Proceedings ICFEM, LNCS, 13478, Springer, 334--351, 2022.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-17244-1_20
Jannik Dunkelau, Manh Khoi Duong
Towards Equalised Odds as Fairness Metric in Academic Performance Prediction.
In 2nd Workshop on Fairness, Accountability, and Transparency in Educational Data, 2022.
- PDF
Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Michael Leuschel, Christiane Schüle, Jörg Schipper
VertiGo-App - Smartphone-based video nystagmography using artificial intelligence.
In Laryngorhinootologie 2022, 101, 2, 243--244, 2022.
- LINK
Joshua Schmidt, Michael Leuschel
SMT solving for the validation of B and Event-B models.
In Software Tools for Technology Transfer (STTT), Springer-Verlag, 2022.

2022