| VeriSolid: Correct-by-design smart contracts for Ethereum A Mavridou, A Laszka, E Stachtiari, A Dubey International Conference on Financial Cryptography and Data Security, 446-465, 2019 | 81 | 2019 |
| Dependable horizontal scaling based on probabilistic model checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid …, 2015 | 61 | 2015 |
| Architecture-based design: A satellite on-board software case study A Mavridou, E Stachtiari, S Bliudze, A Ivanov, P Katsaros, J Sifakis International Workshop on Formal Aspects of Component Software, 260-279, 2016 | 40 | 2016 |
| Cloud elasticity using probabilistic model checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... arXiv preprint arXiv:1405.4699, 2014 | 33 | 2014 |
| Early validation of system requirements and design through correctness-by-construction E Stachtiari, A Mavridou, P Katsaros, S Bliudze, J Sifakis Journal of Systems and Software 145, 52-78, 2018 | 27 | 2018 |
| Probabilistic model checking of CAPTCHA admission control for DoS resistant anti-SPIT protection E Stachtiari, Y Soupionis, P Katsaros, A Mentis, D Gritzalis 7th International Conference on Critical Information Infrastructures …, 2012 | 21 | 2012 |
| Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework E Stachtiari, A Mentis, P Katsaros 2012 IEEE 19th International Conference on Web Services, 319-326, 2012 | 20 | 2012 |
| Model‐based design of IoT systems with the BIP component framework A Lekidis, E Stachtiari, P Katsaros, M Bozga, CK Georgiadis Software: Practice and Experience 48 (6), 1167-1194, 2018 | 14 | 2018 |
| Probabilistic model checking at runtime for the provisioning of cloud resources A Naskos, E Stachtiari, P Katsaros, A Gounaris Runtime Verification, 275-280, 2015 | 12 | 2015 |
| Using BIP to reinforce correctness of resource-constrained IoT applications A Lekidis, E Stachtiari, P Katsaros, M Bozga, CK Georgiadis 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015 | 11 | 2015 |
| Correct-by-Construction Web Service Architecture E Stachtiari, N Vesyropoulos, G Kourouleas, CK Georgiadis, P Katsaros 8th IEEE International Symposium on Service Oriented System Engineering …, 2014 | 7 | 2014 |
| A hybrid approach for cold-start recommendations of videolectures E Spyromitros-Xioufis, E Stachtiari, G Tsoumakas, I Vlahavas Proc. of ECML-PKDD 2011 Discovery Challenge Workshop, 29-39, 2011 | 5 | 2011 |
| Compositional execution semantics for business process verification E Stachtiari, P Katsaros | 4* | |
| Verisolid: correct-by-design smart contracts for Ethereum A Laszka, E Stachtiari, A Mavridou, A Dubey financial cryptography and data security-23rd international conference, 2019 | 1 | 2019 |
| Summarization meets visualization on online social networks HH Gabriel, M Spiliopoulou, E Stachtiari, A Vakali 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and …, 2011 | 1 | 2011 |
| Correct by construction model based design for systems and software E Stachtiari Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα …, 2018 | | 2018 |
| Time-Evolving Social Networks Overview E Stachtiari Aristotle University of Thessaloniki, 2011 | | 2011 |
| Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid K Nelaturu, A Mavridou, E Stachtiari, A Veneris, A Laszka | | |
| VeriSolid for TRANSAX: Correct-by-Design Ethereum Smart Contracts for Energy Trading A Laszka, A Mavridou, S Eisele, E Stachtiari, A Dubey | | |
Panagiotis KatsarosAssociate Professor of Computer Science, Aristotle University of Thessaloniki, GreeceVerified email at csd.auth.gr
