Items where authors include "Stefanakos, Ioannis"
Article
Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2023) Probabilistic program performance analysis with confidence intervals. Information and Software Technology. 107143. ISSN 0950-5849
Proceedings Paper
Zhang, Qi, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Camara Moreno, Javier et al. (1 more author) (2023) Towards Lifelong Social Robot Navigation in Dynamic Environments. In: 24th Towards Autonomous Robotic Systems Conference (TAROS), Proceedings. 24th Towards Autonomous Robotic Systems Conference (TAROS), 13-15 Sep 2023. Springer , GBR .
Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James A. et al. (2 more authors) (2022) Safety Controller Synthesis for a Mobile Manufacturing Cobot. In: Software Engineering and Formal Methods 2022:Proceedings. Software Engineering and Formal Methods, 28-30 Sep 2022, Humboldt University. Lecture Notes in Computer Science . Springer , DEU . (In Press)
Hamilton, Jordan, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2022) Towards Planning and Adaptation of Assistive-care Robot Tasks. In: Fourth Workshop on Formal Methods for Autonomous Systems. UNSPECIFIED. . (In Press)
Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2021) Probabilistic Program Performance Analysis. In: EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). UNSPECIFIED. IEEE , pp. 148-157. (In Press)
Calinescu, Radu orcid.org/0000-0002-2678-9260, Cortelessa, Vittorio, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X et al. (1 more author) (2020) Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. In: Fundamental Approaches to Software Engineering:23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 357-377.