Emmanouela Stachtiari
University of Geneva(CH)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Software System Performance and Reliability, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis, Distributed systems and fault tolerance
Most-Cited Works
- → Dependable Horizontal Scaling Based on Probabilistic Model Checking(2015)56 cited
- → Early validation of system requirements and design through correctness-by-construction(2018)36 cited
- → Architecture-Based Design: A Satellite On-Board Software Case Study(2017)29 cited
- → Cloud elasticity using probabilistic model checking(2014)27 cited
- → Model‐based design of IoT systems with the BIP component framework(2018)25 cited
- → Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid(2022)19 cited
- → Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources(2015)13 cited
- → Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework(2012)10 cited
- → Using BIP to reinforce correctness of resource-constrained IoT applications(2015)8 cited
- → VeriSolid: Correct-by-Design Smart Contracts for Ethereum(2019)5 cited