Sabine Rieder, M.Sc.

2025

• A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community

  KANAV Sudeep KŘETÍNSKÝ Jan RIEDER Sabine

  Kapitola v knize

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, rok: 2025, počet stran: 27 s.

• Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation

  KŘETÍNSKÝ Jan RIEDER Sabine SCHWALBE Gesina SHOEB Youssef

  Článek ve sborníku

  International Conference on Runtime Verification, rok: 2025

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

  RV 2024, 24th International Conference on Runtime Verification, rok: 2024

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

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

  Článek ve sborníku

  CAV 2024, International Conference on 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