Simos Gerasimou
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
722017
Self-Adaptive Software with Decentralised Control Loops
R Calinescu, S Gerasimou, A Banks
18th International Conference on Fundamental Approaches to Software …, 2015
602015
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
542014
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
442015
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
282017
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
272017
Synthesis of probabilistic models for quality-of-service software engineering
S Gerasimou, R Calinescu, G Tamburrelli
Automated Software Engineering 25 (4), 785-831, 2018
262018
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
242012
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
202017
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
182018
An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization.
S Gerasimou, C Stylianou, AS Andreou
ICEIS (2), 168-171, 2012
152012
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
92019
DeepFault: Fault Localization for Deep Neural Networks
HF Eniser, S Gerasimou, A Sen
22nd International Conference on Fundamental Approaches to Software Engineering, 2019
82019
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems
R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti
International Conference on Quantitative Evaluation of Systems, 304-308, 2017
72017
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances, 223-248, 2017
72017
Runtime quantitative verification of self-adaptive systems
S Gerasimou
University of York, 2016
72016
Continual Verification of Non-Functional Properties in Cloud-Based Systems.
R Calinescu, K Johnson, Y Rafiq, S Gerasimou, GC Silva, SN Pehlivanov
NiM-ALP@ MoDELS, 1-5, 2013
62013
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343
S Gerasimou, T Vogel, A Diaconescu
arXiv preprint arXiv:1904.01518, 2019
32019
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus
A Zolotas, R Wei, S Gerasimou, HH Rodriguez, DS Kolovos, RF Paige
European Conference on Modelling Foundations and Applications, 12-27, 2018
32018
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases
R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly
Proceedings of the 40th International Conference on Software Engineering …, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20