Summarization Meets Visualization on Online Social Networks. - Hans-Henning Gabriel; Myra Spiliopoulou; Emmanouela Stachtiari; Athena Vakali (Web Intelligence, 2011)

Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. - Emmanouela Stachtiari; Yannis Soupionis; Panagiotis Katsaros; Anakreontas Mentis; Dimitris Gritzalis (CRITIS, 2012)

Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. - Emmanouela Stachtiari; Anakreon Mentis; Panagiotis Katsaros (ICWS, 2012)

Correct-by-Construction Web Service Architecture. - Emmanouela Stachtiari; Nikos Vesyropoulos; George Kourouleas; Christos K. Georgiadis; Panagiotis Katsaros (SOSE, 2014)

Cloud elasticity using probabilistic model checking. - Athanasios Naskos; Emmanouela Stachtiari; Anastasios Gounaris; Panagiotis Katsaros; Dimitrios Tsoumakos; Ioannis Konstantinou; Spyros Sioutas (CoRR, 2014)

Dependable Horizontal Scaling Based on Probabilistic Model Checking. - Athanasios Naskos; Emmanouela Stachtiari; Anastasios Gounaris; Panagiotis Katsaros; Dimitrios Tsoumakos; Ioannis Konstantinou; Spyros Sioutas (CCGRID, 2015)

Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. - Athanasios Naskos; Emmanouela Stachtiari; Panagiotis Katsaros; Anastasios Gounaris (RV, 2015)

Using BIP to reinforce correctness of resource-constrained IoT applications. - Alexios Lekidis; Emmanouela Stachtiari; Panagiotis Katsaros; Marius Bozga; Christos K. Georgiadis (SIES, 2015)

Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Compositional execution semantics for business process verification. - Emmanouela Stachtiari; Panagiotis Katsaros (J. Syst. Softw., 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)

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)

Correct by construction model based design for systems and software - Emmanouela Stachtiari (2018)

VeriSolid: Correct-by-Design Smart Contracts for Ethereum. - Anastasia Mavridou; Aron Laszka; Emmanouela Stachtiari; Abhishek Dubey (Financial Cryptography, 2019)

Solving Schedulability as a Search Space Problem with Decision Diagrams. - Dimitri Racordon; Aurélien Coet; Emmanouela Stachtiari; Didier Buchs (SSBSE, 2020)

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)