Simos Gerasimou — York Research Database

Phone(01904) 325198
Emailsimos.gerasimouyork.acuk

If you made any changes in Pure these will be visible here soon.

23 Conference contribution
6 Article
2 Chapter (peer-reviewed)
1 Working paper

Fast Parametric Model Checking with Applications to Software Performability Analysis
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Probabilistic program performance analysis with confidence intervals
Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Apr 2023, In: Information and Software Technology. 156, 18 p., 107143.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Semantic Data Augmentation for Deep Learning Testing using Generative AI
Missaoui, S. & Gerasimou, S., 15 Sept 2023, 38th IEEE/ACM International Conference on Automated Software Engineering: Proceedings. IEEE, 5 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

1 Finished
1 Active
2 Not started

Socially-Acceptable and Trustworthy Human-Robot Teaming for Agile Industries (SYMPHONY Resubmission)
Gerasimou, S. & Kolovos, D.
EUROPEAN COMMISSION
1/10/23 → 31/01/27
Project: Research project (funded) › Research
Automated Robustness Testing Of Safety-Critical Multi-Robot Inspection Applications (AAIP Demo) SAFEMUV
Matragkas, N. & Gerasimou, S.
Project: Research project (funded) › Research
Secure and Safe Multi-Robot Systems
Matragkas, N. & Gerasimou, S.
Project: Research project (funded) › Research

Tutorial on Architecting Trustworthy Self-Adaptive Systems at International Conference on Software Architecture 2019
Simos Gerasimou (Organiser), Radu Constantin Calinescu (Organiser) & Danny Weyns (Organiser)
26 Mar 2019
Activity: Participating in or organising an event › Seminar/workshop/course
GI Dagstuhl seminar 19023 on Explainable Software for Cyber-Physical Systems
Simos Gerasimou (Advisor)
21 Jan 2019 → 25 Jan 2019
Activity: Participating in or organising an event › Seminar/workshop/course
GI Dagstuhl seminar 18343 on Software Engineering for Intelligent and Autonomous Systems
Simos Gerasimou (Advisor), Thomas Vogel (Member of programme committee) & Ada Diaconescu (Member of programme committee)
20 Aug 2018 → 24 Aug 2018
Activity: Participating in or organising an event › Seminar/workshop/course