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

  Chapter of a book

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, year: 2025, number of pages: 27 s.

2024

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

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

  Article in Proceedings

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

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

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

  Article in Proceedings

  CAV 2024, International Conference on Computer Aided Verification, year: 2024

2023

• Guessing Winning Policies in LTL Synthesis by Semantic Learning

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

  Article in Proceedings

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

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

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

  Article in Proceedings

  FORMAL METHODS, FM 2023, year: 2023