| 2026 | AAAI | Detecting Compute Structuring in AI Governance Is Likely Feasible. | Emmanouil Seferis, Timothy Fist |
| 2025 | EMNLP | Randomized Smoothing Meets Vision-Language Models. | Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng |
| 2025 | IROS | Feasibility Analysis of real-time Robustness Certification. | Emmanouil Seferis, Stefanos Kollias |
| 2024 | ECAI | Estimating the Robustness Radius for Randomized Smoothing with 100 Sample Efficiency. | Emmanouil Seferis, Stefanos Kollias, Chih-Hong Cheng |
| 2023 | ICLR | Statistical Property Testing for Generative Models. | Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2023 | ICLR | Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models? | Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2022 | ATVA | Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
| 2022 | FASE | SMC4PEP: Stochastic Model Checking of Product Engineering Processes. | Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill |
| 2022 | SAFECOMP | Formally Compensating Performance Limitations for Imprecise 2D Object Detection. | Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng |
| 2021 | RV | Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. | Vahid Hashemi, Jan Kretnsk, Stefanie Mohr, Emmanouil Seferis |