Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. - Vahid Hashemi; Jan Kretínský; Stefanie Mohr; Emmanouil Seferis (RV, 2021)

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. - Chih-Hong Cheng; Changshun Wu; Emmanouil Seferis; Saddek Bensalem (ATVA, 2022)

SMC4PEP: Stochastic Model Checking of Product Engineering Processes. - Hassan Hage; Emmanouil Seferis; Vahid Hashemi; Frank Mantwill (FASE, 2022)

Formally Compensating Performance Limitations for Imprecise 2D Object Detection. - Tobias Schuster; Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (SAFECOMP, 2022)

Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. - Tobias Schuster; Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (CoRR, 2022)

Facilitating Change Implementation for Continuous ML-Safety Assurance. - Chih-Hong Cheng; Nguyen Anh Vu Doan; Balahari Balu; Franziska Schwaiger; Emmanouil Seferis; Simon Burton 001; Yassine Qamsane; Ankit Shukla 004; Yinchong Yang; Zhiliang Wu; Andreas Hapfelmeier; Ingo Thon (CoRR, 2022)

Statistical Property Testing for Generative Models. - Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (Tiny Papers @ ICLR, 2023)

Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? - Emmanouil Seferis; Simon Burton 001; Chih-Hong Cheng (Tiny Papers @ ICLR, 2023)

Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency. - Emmanouil Seferis; Stefanos Kollias; Chih-Hong Cheng (ECAI, 2024)