Emmanouil Seferis

16 papers A* 2A 2B 4Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A* conf
Detecting Compute Structuring in AI Governance Is Likely Feasible.
AAAI
Emmanouil Seferis, Timothy Fist
2025 A conf
Feasibility Analysis of real-time Robustness Certification.
IROS
Emmanouil Seferis, Stefanos Kollias
2025 A* conf
Randomized Smoothing Meets Vision-Language Models.
EMNLP
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2025 J jnl
Randomized Smoothing Meets Vision-Language Models.
CoRR
Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng
2024 A conf
Estimating the Robustness Radius for Randomized Smoothing with 100× Sample Efficiency.
ECAI
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng
2024 J jnl
Estimating the Robustness Radius for Randomized Smoothing with 100⨉ Sample Efficiency.
CoRR
Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng
2023 — conf
Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2023 — conf
Statistical Property Testing for Generative Models.
Tiny Papers @ ICLR
Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022 J jnl
Facilitating Change Implementation for Continuous ML-Safety Assurance.
CoRR
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
2022 B conf
Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
SAFECOMP
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2022 B conf
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
ATVA
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022 J jnl
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.
CoRR
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
2022 B conf
SMC4PEP: Stochastic Model Checking of Product Engineering Processes.
FASE
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
2022 J jnl
SMC4PEP: Stochastic Model Checking of Product Engineering Processes.
CoRR
Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill
2022 J jnl
Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.
CoRR
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng
2021 B conf
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.
RV
Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis