Sabine Rieder, M.Sc.

2024

• Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHÖN Torsten VORHOFF Jan

  Článek ve sborníku

  International Conference on Runtime Verification, rok: 2024

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

  AZEEM Muqsit KANAV Sudeep KŘETÍNSKÝ Jan MOHR Stefanie RIEDER Sabine

  Článek ve sborníku

  Computer Aided Verification, rok: 2024

2023

• Guessing Winning Policies in LTL Synthesis by Semantic Learning

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian RIEDER Sabine

  Článek ve sborníku

  Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, rok: 2023

• Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHMIDT Jessica

  Článek ve sborníku

  FORMAL METHODS, FM 2023, rok: 2023