Emmanouela Stachtiari

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