Anastasia Mavridou
Anastasia Mavridou
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
Tool demonstration: FSolidM for designing secure Ethereum smart contracts
A Mavridou, A Laszka
International conference on principles of security and trust, 270-277, 2018
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
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
Reputation metadata for recommending personalized e-learning resources
T Kerkiri, A Manitsaris, A Mavridou
Second International Workshop on Semantic Media Adaptation and …, 2007
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
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
A situational awareness architecture for the smart grid
A Mavridou, M Papa
Global Security, Safety and Sustainability & e-Democracy, 229-236, 2011
Generation of formal requirements from structured natural language
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
International Working Conference on Requirements Engineering: Foundation for …, 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
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
Coordination of software components with BIP: Application to OSGi
S Bliudze, A Mavridou, R Szymanek, A Zolotukhina
Proceedings of the 6th International Workshop on Modeling in Software …, 2014
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
Evaluation of the FRET and CoCoSim tools on the ten Lockheed Martin cyber-physical challenge problems
A Mavridou, H Bourbouh, PL Garoche, M Hejase
NASA, Tech. Rep., oct, 2019
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
Formal Requirements Elicitation with FRET
D Giannakopoulou, A Mavridou, T Pressburger, J Rhein, J Schumann, ...
26th International Working Conference on Requirements Engineering …, 2020
SolidWorx: A resilient and trustworthy transactive platform for smart and connected communities
S Eisele, A Laszka, A Mavridou, A Dubey
2018 IEEE International Conference on Internet of Things (iThings) and IEEE …, 2018
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
Bridging the Gap Between Requirements and Simulink Model Analysis
A Mavridou, H Bourbouh, PL Garoche, D Giannakopoulou, T Pressburger, ...
26th International Working Conference on Requirements Engineering …, 2020
Formal verification of usage control models: a case study of UseCON using TLA+
A Gouglidis, C Grompanopoulos, A Mavridou
arXiv preprint arXiv:1806.09848, 2018
The system can't perform the operation now. Try again later.
Articles 1–20