• Fabian Vu, Christopher Happe, Michael Leuschel
    Generating Domain-Specific Interactive Validation Documents.
    In Proceedings FMICS, LNCS, 13487, Springer, 32--49, 2022.
  • Fabian Vu, Dominik Brandt, Michael Leuschel
    Model Checking B Models via High-Level Code Generation.
    In Proceedings ICFEM, LNCS, 13478, Springer, 334--351, 2022.
  • 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.
  • 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.
  • 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.
    • 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.
    • 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.
    • Anne Brecklinghaus, Philipp Körner
      A Jupyter Kernel for Prolog.
      In Proceedings of the 36th Workshop on (Constraint) Logic Programming (WLP 2022), 2022.