Sabine Rieder

11 papers B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation.
RV
Jan Kretínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb
2024 — conf
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.
Principles of Verification (3)
Sudeep Kanav, Jan Kretínský, Sabine Rieder
2024 J jnl
A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions.
CoRR
Saeed Rahmani, Sabine Rieder, Erwin de Gelder, Marcel Sonntag, Jorge Lorente Mallada, Sytze Kalisvaart, Vahid Hashemi, Simeon C. Calvert
2024 B conf
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.
RV
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024 J jnl
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.
CoRR
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff
2024 — conf
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CAV (2)
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2024 J jnl
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
CoRR
Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder
2023 — conf
Guessing Winning Policies in LTL Synthesis by Semantic Learning.
CAV (1)
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 J jnl
Guessing Winning Policies in LTL Synthesis by Semantic Learning.
CoRR
Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
2023 B conf
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.
FM
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
2022 J jnl
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.
CoRR
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt