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.

• 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: 2025

2024

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

  AZEEM Muqsit GROBELNA Marta 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