Simos Gerasimou

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Radu Călinescu, Danny Weyns, Simos Gerasimou et al. · IEEE Transactions on Software Engineering · 2017 · 176 citations · Full text

Engineering, Verification, Software Engineering +19

Importance-driven deep learning system testing

Simos Gerasimou, Hasan Ferit Enişer, Alper Şen et al. · 2020 · 64 citations

Artificial Intelligence, Engineering, Machine Learning +16

Synthesis of probabilistic models for quality-of-service software engineering

Simos Gerasimou, Radu Călinescu, Giordano Tamburrelli · Automated Software Engineering · 2018 · 56 citations · Full text

Software Maintenance, Software Reliability Testing, Engineering +22

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

Simos Gerasimou, Radu Călinescu, Alec Banks · 2014 · 55 citations

Program Checking, Engineering, Verification +26

On Learning in Collective Self-Adaptive Systems: State of Practice and a 3D Framework

Mirko D’Angelo, Simos Gerasimou, Sona Ghahremani et al. · 2019 · 50 citations · Full text

Artificial Intelligence, Distributed Intelligent System, Engineering +20