Emmanouela Stachtiari

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Decision Diagrams

Pspace Complete

Probabilistic Model

Top Venues

J. Syst. Softw.

Publications

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE (2020)
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. CoRR (2019)
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. Financial Cryptography (2019)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48 (6) (2018)
Emmanouela Stachtiari, Panagiotis Katsaros
Compositional execution semantics for business process verification. J. Syst. Softw. 137 (2018)
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018)
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS (2016)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Using BIP to reinforce correctness of resource-constrained IoT applications. SIES (2015)
Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas
Dependable Horizontal Scaling Based on Probabilistic Model Checking. CCGRID (2015)
Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. RV (2015)
Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas
Cloud elasticity using probabilistic model checking. CoRR (2014)
Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis, Panagiotis Katsaros
Correct-by-Construction Web Service Architecture. SOSE (2014)
Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis
Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. CRITIS (2012)
Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. ICWS (2012)
Hans-Henning Gabriel, Myra Spiliopoulou, Emmanouela Stachtiari, Athena Vakali
Summarization Meets Visualization on Online Social Networks. Web Intelligence (2011)