Ioannis Stefanakos

Orcid: 0000-0003-3741-252X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Probabilistic program performance analysis with confidence intervals.
Inf. Softw. Technol., April, 2023

2022
Towards Adaptive Planning of Assistive-care Robot Tasks.
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.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2021
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Probabilistic Program Performance Analysis.
Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

2020
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).
Proceedings of the Software Engineering for Resilient Systems, 2019


  Loading...