Follow
Simos Gerasimou
Simos Gerasimou
Associate Professor (Senior Lecturer) in Computer Science, University of York
Verified email at york.ac.uk - Homepage
Title
Cited by
Cited by
Year
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
IEEE Transactions on Software Engineering, 2017
2092017
Importance-driven deep learning system testing
S Gerasimou, HF Eniser, A Sen, A Cakan
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
1172020
DeepFault: Fault Localization for Deep Neural Networks
HF Eniser, S Gerasimou, A Sen
22nd International Conference on Fundamental Approaches to Software Engineering, 2019
922019
Self-Adaptive Software with Decentralised Control Loops
R Calinescu, S Gerasimou, A Banks
18th International Conference on Fundamental Approaches to Software …, 2015
862015
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration
S Gerasimou, R Calinescu, A Banks
9th International Symposium on Software Engineering for Adaptive and Self …, 2014
792014
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering
S Gerasimou, G Tamburrelli, R Calinescu
30th IEEE/ACM International Conference on Automated Software Engineering …, 2015
782015
Synthesis of probabilistic models for quality-of-service software engineering
S Gerasimou, R Calinescu, G Tamburrelli
Automated Software Engineering 25 (4), 785-831, 2018
772018
Efficient synthesis of robust models for stochastic systems
R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti
Journal of Systems and Software 143, 140-158, 2018
672018
UNDERSEA: an exemplar for engineering self-adaptive unmanned underwater vehicles
S Gerasimou, R Calinescu, S Shevtsov, D Weyns
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
622017
On learning in collective self-adaptive systems: state of practice and a 3D framework
M D'Angelo, S Gerasimou, S Ghahremani, J Grohmann, I Nunes, ...
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
592019
Synthesis and verification of self-aware computing systems
R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ...
Self-Aware Computing Systems, 337-373, 2017
442017
Designing robust software systems through parametric Markov chain synthesis
R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti
2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017
362017
A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors
C Stylianou, S Gerasimou, AS Andreou
24th International Conference on Tools with Artificial Intelligence (ICTAI …, 2012
302012
Fast Parametric Model Checking through Model Fragmentation
X Fang, R Calinescu, S Gerasimou, F Alhwikem
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
272021
An investigation of optimal project scheduling and team staffing in software development using particle swarm optimization
S Gerasimou, C Stylianou, AS Andreou
International Conference on Enterprise Information Systems 2, 168-171, 2012
202012
Interval change-point detection for runtime probabilistic model checking
X Zhao, R Calinescu, S Gerasimou, V Robu, D Flynn
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
192020
SORA Methodology for Multi-UAS Airframe Inspections in an Airport
C Martinez, PJ Sanchez-Cuevas, S Gerasimou, A Bera, ...
Drones 5 (4), 141, 2021
182021
Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances …, 2017
182017
Model-driven simulation-based analysis for multi-robot systems
J Harbin, S Gerasimou, N Matragkas, A Zolotas, R Calinescu
2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021
172021
Importance-driven deep learning system testing. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
S Gerasimou, HF Eniser, A Sen, A Cakan
IEEE, Seoul, Korea (South), 702-713, 2020
162020
The system can't perform the operation now. Try again later.
Articles 1–20