| Designing secure Ethereum smart contracts: A finite state machine based approach A Mavridou, A Laszka 22nd International Conference on Financial Cryptography and Data Security …, 2018 | 294 | 2018 |
| VeriSolid: Correct-by-design smart contracts for Ethereum A Mavridou, A Laszka, E Stachtiari, A Dubey Financial Cryptography and Data Security: 23rd International Conference, FC …, 2019 | 161 | 2019 |
| Tool demonstration: Fsolidm for designing secure ethereum smart contracts A Mavridou, A Laszka Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018 | 110 | 2018 |
| Formal Requirements Elicitation with FRET D Giannakopoulou, A Mavridou, T Pressburger, J Rhein, J Schumann, ... 26th International Working Conference on Requirements Engineering …, 2020 | 68 | 2020 |
| Vyper: A security comparison with solidity based on common vulnerabilities M Kaleem, A Mavridou, A Laszka 2020 2nd conference on blockchain research & applications for innovative …, 2020 | 50 | 2020 |
| Generation of formal requirements from structured natural language D Giannakopoulou, T Pressburger, A Mavridou, J Schumann Requirements Engineering: Foundation for Software Quality: 26th …, 2020 | 50 | 2020 |
| Configuration logics: Modeling architecture styles A Mavridou, E Baranov, S Bliudze, J Sifakis Journal of Logical and Algebraic Methods in Programming 86 (1), 2-29, 2017 | 50 | 2017 |
| 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 | 46 | 2018 |
| Architecture-based design: A satellite on-board software case study A Mavridou, E Stachtiari, S Bliudze, A Ivanov, P Katsaros, J Sifakis International Conference on Formal Aspects of Component Software, 260-279, 2016 | 46 | 2016 |
| Reputation metadata for recommending personalized e-learning resources T Kerkiri, A Manitsaris, A Mavridou Second International Workshop on Semantic Media Adaptation and …, 2007 | 45 | 2007 |
| Automated formalization of structured natural language requirements D Giannakopoulou, T Pressburger, A Mavridou, J Schumann Information and Software Technology 137, 106590, 2021 | 43 | 2021 |
| Integrating formal verification and assurance: an inspection rover case study H Bourbouh, M Farrell, A Mavridou, I Sljivo, G Brat, LA Dennis, M Fisher NASA Formal Methods Symposium, 53-71, 2021 | 42 | 2021 |
| The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained A Mavridou, H Bourbouh, D Giannakopoulou, T Pressburger, M Hejase, ... 2020 IEEE 28th International Requirements Engineering Conference (RE), 300-310, 2020 | 38 | 2020 |
| Exogenous coordination of concurrent software components with JavaBIP S Bliudze, A Mavridou, R Szymanek, A Zolotukhina Software: Practice and Experience 47 (11), 1801-1836, 2017 | 35 | 2017 |
| Verified development and deployment of multiple interacting smart contracts with VeriSolid K Nelaturu, A Mavridou, A Veneris, A Laszka 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2020 | 32 | 2020 |
| A situational awareness architecture for the smart grid A Mavridou, M Papa International Conference on e-Democracy, 229-236, 2011 | 30 | 2011 |
| Blockchains for transactive energy systems: Opportunities, challenges, and approaches S Eisele, C Barreto, A Dubey, X Koutsoukos, T Eghtesad, A Laszka, ... Computer 53 (9), 66-76, 2020 | 25 | 2020 |
| Architecture Diagrams: A Graphical Language for Architecture Style Specification A Mavridou, E Baranov, S Bliudze, J Sifakis Proceedings of the 9th Interaction and Concurrency Experience, Heraklion …, 2016 | 21 | 2016 |
| Automated translation of natural language requirements to runtime monitors I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou International Conference on Tools and Algorithms for the Construction and …, 2022 | 19 | 2022 |
| From requirements to autonomous flight: an overview of the monitoring ICAROUS project A Dutle, C Muñoz, E Conrad, A Goodloe, I Perez, S Balachandran, ... arXiv preprint arXiv:2012.03745, 2020 | 19 | 2020 |
Aron LaszkaAssistant Professor, Pennsylvania State University在 psu.edu 的电子邮件经过验证
