Sabine Rieder, M.Sc.

Research specialist, Department of Computer Science

correspondence Address:
Botanická 554/68a, 602 00 Brno

e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 4

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

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

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