Emmanouil Seferis

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Component Based Development

Conformal Prediction

Formal Specification

Top Venues

Tiny Papers @ ICLR

Publications

Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng
Estimating the Robustness Radius for Randomized Smoothing with 100⨉ Sample Efficiency. CoRR (2024)
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Statistical Property Testing for Generative Models. Tiny Papers @ ICLR (2023)
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? Tiny Papers @ ICLR (2023)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA (2022)
Chih-Hong Cheng, Nguyen Anh Vu Doan, Balahari Balu, Franziska Schwaiger, Emmanouil Seferis, Simon Burton, Yassine Qamsane, Ankit Shukla, Yinchong Yang, Zhiliang Wu, Andreas Hapfelmeier, Ingo Thon
Facilitating Change Implementation for Continuous ML-Safety Assurance. CoRR (2022)
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. FASE (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection. CoRR (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR (2022)
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. SAFECOMP (2022)
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
SMC4PEP: Stochastic Model Checking of Product Engineering Processes. CoRR (2022)
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV (2021)