Emmanouela Stachtiari

Dependable Horizontal Scaling Based on Probabilistic Model Checking

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris et al. · 2015 · 56 citations

Mathematical Programming, Cluster Computing, Provisioning (Technology) +22

Early validation of system requirements and design through correctness-by-construction

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros et al. · Journal of Systems and Software · 2018 · 36 citations · Full text

Early Validation, Engineering, Requirement Engineering +8

Cloud elasticity using probabilistic model checking

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris et al. · arXiv (Cornell University) · 2014 · 27 citations · Full text

Cluster Computing, Provisioning (Technology), Engineering +18

Model‐based design of IoT systems with the BIP component framework

Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros et al. · Software Practice and Experience · 2018 · 25 citations · Full text

Event-driven Architecture, Engineering, Bip Component Framework +25

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari et al. · IEEE Transactions on Dependable and Secure Computing · 2022 · 18 citations

Engineering, Verification, Software Engineering +23