Ioannis Stefanakos

According to our database, Ioannis Stefanakos authored at least 8 papers between 2019 and 2024.

Collaborative distances:

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

2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

CoRR, 2024

2023

Probabilistic program performance analysis with confidence intervals.

Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou

Inf. Softw. Technol., April, 2023

2022

Towards Adaptive Planning of Assistive-care Robot Tasks.

Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Safety Controller Synthesis for a Mobile Manufacturing Cobot.

Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis.

Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Probabilistic Program Performance Analysis.

Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

2020

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles.

Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).

Ioannis Stefanakos

Proceedings of the Software Engineering for Resilient Systems, 2019