Emmanouela Stachtiari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2012–2020
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SSBSE | Solving Schedulability as a Search Space Problem with Decision Diagrams. | Dimitri Racordon, Aurlien Coet, Emmanouela Stachtiari, Didier Buchs |
| 2019 | FC | VeriSolid: Correct-by-Design Smart Contracts for Ethereum. | Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey |
| 2015 | CCGRID | Dependable Horizontal Scaling Based on Probabilistic Model Checking. | Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas |
| 2015 | RV | Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. | Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris |
| 2012 | CRITIS | Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. | Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis |
| 2012 | ICWS | Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. | Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros |