Emmanouil Seferis

According to our database, Emmanouil Seferis authored at least 8 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Can Conformal Prediction Obtain Meaningful Safety Guarantees for ML Models?

Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

Statistical Property Testing for Generative Models.

Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the First Tiny Papers Track at ICLR 2023, 2023

2022

Facilitating Change Implementation for Continuous ML-Safety Assurance.

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

CoRR, 2022

Unaligned but Safe - Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

CoRR, 2022

Formally Compensating Performance Limitations for Imprecise 2D Object Detection.

Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng

Proceedings of the Computer Safety, Reliability, and Security, 2022

SMC4PEP: Stochastic Model Checking of Product Engineering Processes.

Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks.

Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis

Proceedings of the Runtime Verification - 21st International Conference, 2021