2023

  • Manh Khoi Duong, Jannik Dunkelau, José Andrés Cordova, Stefan Conrad
    RAPP: A Responsible Academic Performance Prediction Tool for Decision-Making in Educational Institutes.
    In BTW 2023, Gesellschaft für Informatik e.V., 2023.
  • Fabian Vu, Michael Leuschel
    Validation of Formal Models by Interactive Simulation.
    In Proceedings ABZ 2023, LNCS, 14010, Springer, 59--69, 2023.
  • Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed
    Validation by Abstraction and Refinement.
    In Proceedings ABZ 2023, LNCS, 14010, Springer, 160--178, 2023.
  • David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor
    Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations.
    In Proceedings ABZ 2023, LNCS, 14010, Springer, 284--302, 2023.
  • Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Christiane Schüle, Michael Leuschel, Jörg Schipper
    Smartphone-Based Videonystagmography Using Artificial Intelligence.
    In Current Directions in Biomedical Engineering, 9, 1, 528--531, 2023.
  • Jannik Dunkelau, Michael Leuschel
    Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method.
    In iFM 2023, Springer, 237--256, 2023.
  • Jan Gruteser, David Geleßus, Michael Leuschel, Jan Roßbach, Fabian Vu
    A Formal Model of Train Control with AI-Based Obstacle Detection.
    In Proceedings RSSRail 2023, Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte, LNCS, 14198, Springer, 128--145, 2023.
  • Jan Roßbach, Michael Leuschel
    Certified Control for Train Sign Classification.
    In Proceedings FMAS 2023, Marie Farrell and Matt Luckcuck and Mario Gleirscher and Maike Schwammberger, EPTCS, 395, 69--76, 2023.