Ioannis Stefanakos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSE | Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI. | Jie Zou, Simon Burton, Radu Calinescu, Ioannis Stefanakos, Roger Rivett |
| 2026 | SAC | Structural Causal World Models for Safety Assurance of AI-based Autonomy. | Jie Zou, Ioannis Stefanakos, Sepeedeh Shahbeigi Roudposhti, Simon Burton, Radu Calinescu, Kester Clegg, Roger Rivett |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | SAFECOMP | A Dynamic Assurance Framework for an Autonomous Survey Drone. | Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy |
| 2022 | SEFM | Safety Controller Synthesis for a Mobile Manufacturing Cobot. | Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law |
| 2021 | MODELS | Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. | Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu |
| 2020 | FASE | Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. | Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani |