Anastasia Mavridou
Anastasia Mavridou
Research Scientist, KBR Inc / NASA Ames Research Center
Verified email at - Homepage
Cited by
Cited by
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
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
Tool demonstration: Fsolidm for designing secure ethereum smart contracts
A Mavridou, A Laszka
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
Formal Requirements Elicitation with FRET
D Giannakopoulou, A Mavridou, T Pressburger, J Rhein, J Schumann, ...
26th International Working Conference on Requirements Engineering …, 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
Generation of formal requirements from structured natural language
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Requirements Engineering: Foundation for Software Quality: 26th …, 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
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
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
Reputation metadata for recommending personalized e-learning resources
T Kerkiri, A Manitsaris, A Mavridou
Second International Workshop on Semantic Media Adaptation and …, 2007
Automated formalization of structured natural language requirements
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Information and Software Technology 137, 106590, 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
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
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
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
A situational awareness architecture for the smart grid
A Mavridou, M Papa
International Conference on e-Democracy, 229-236, 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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20