default search action
Emmanouela Stachtiari
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j4]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): 3110-3127 (2023) - 2020
- [c10]Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs:
Solving Schedulability as a Search Space Problem with Decision Diagrams. SSBSE 2020: 73-87
2010 – 2019
- 2019
- [c9]Anastasia Mavridou, Aron Laszka
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. Financial Cryptography 2019: 446-465 - [i2]Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey:
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. CoRR abs/1901.01292 (2019) - 2018
- [b1]Emmanouela Stachtiari:
Correct by construction model based design for systems and software. Aristotle University Of Thessaloniki, Greece, 2018 - [j3]Emmanouela Stachtiari, Panagiotis Katsaros
Compositional execution semantics for business process verification. J. Syst. Softw. 137: 217-238 (2018) - [j2]Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145: 52-78 (2018) - [j1]Alexios Lekidis
Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48(6): 1167-1194 (2018) - 2016
- [c8]Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS 2016: 260-279 - 2015
- [c7]Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros
Dependable Horizontal Scaling Based on Probabilistic Model Checking. CCGRID 2015: 31-40 - [c6]Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. RV 2015: 275-280 - [c5]Alexios Lekidis
Using BIP to reinforce correctness of resource-constrained IoT applications. SIES 2015: 245-253 - 2014
- [c4]Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis
Correct-by-Construction Web Service Architecture. SOSE 2014: 47-58 - [i1]Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas:
Cloud elasticity using probabilistic model checking. CoRR abs/1405.4699 (2014) - 2012
- [c3]Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros
Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. CRITIS 2012: 143-154 - [c2]Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. ICWS 2012: 319-326 - 2011
- [c1]Hans-Henning Gabriel, Myra Spiliopoulou, Emmanouela Stachtiari, Athena Vakali
Summarization Meets Visualization on Online Social Networks. Web Intelligence 2011: 475-478
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: