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.
Philipp Körner, Michael Leuschel, João Barbosa, Vtor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond.
In Theory and Practice of Logic Programming, 22, 6, 776--858, 2022.
- The final authenticated version is available online at https://doi.org/10.1017/S1471068422000102
Philipp Körner, Florian Mager
An embedding of B in Clojure.
In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, ACM, 598--606, 2022.
- The final authenticated version is available online at https://doi.org/10.1145/3550356.3561561
Philipp Körner, Michael Leuschel
Towards Practical Partial Order Reduction for High-Level Formalisms.
In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, Lecture Notes in Computer Science, 13800, Springer, 72--91, 2022.
- PDF
- The final authenticated version is available online at https://doi.org/10.1007/978-3-031-25803-9_5
Anne Brecklinghaus, Philipp Körner
A Jupyter Kernel for Prolog.
In Proceedings of the 36th Workshop on (Constraint) Logic Programming (WLP 2022), 2022.
- PDF

2022