Emmanouela Stachtiari

According to our database, Emmanouela Stachtiari authored at least 16 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka

IEEE Trans. Dependable Secur. Comput., 2023

2020

Solving Schedulability as a Search Space Problem with Decision Diagrams.

Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

2019

VeriSolid: Correct-by-Design Smart Contracts for Ethereum.

Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Correct by construction model based design for systems and software

Emmanouela Stachtiari

PhD thesis, 2018

Model-based design of IoT systems with the BIP component framework.

Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis

Softw. Pract. Exp., 2018

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

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis

J. Syst. Softw., 2018

Compositional execution semantics for business process verification.

Emmanouela Stachtiari, Panagiotis Katsaros

J. Syst. Softw., 2018

2016

Architecture-Based Design: A Satellite On-Board Software Case Study.

Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Using BIP to reinforce correctness of resource-constrained IoT applications.

Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.

Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris

Proceedings of the Runtime Verification - 6th International Conference, 2015

Dependable Horizontal Scaling Based on Probabilistic Model Checking.

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014

Cloud elasticity using probabilistic model checking.

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas

CoRR, 2014

Correct-by-Construction Web Service Architecture.

Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis, Panagiotis Katsaros

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

2012

Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework.

Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection.

Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis

Proceedings of the Critical Information Infrastructures Security, 2012

2011

Summarization Meets Visualization on Online Social Networks.

Hans-Henning Gabriel, Myra Spiliopoulou, Emmanouela Stachtiari, Athena Vakali

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011