Suivre
Anastasia Mavridou
Anastasia Mavridou
Research Scientist, KBR Inc / NASA Ames Research Center
Adresse e-mail validée de nasa.gov - Page d'accueil
Titre
Citée par
Citée par
Année
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
2402018
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
1222019
Tool demonstration: FSolidM for designing secure Ethereum smart contracts
A Mavridou, A Laszka
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
932018
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
502017
Reputation metadata for recommending personalized e-learning resources
T Kerkiri, A Manitsaris, A Mavridou
Second International Workshop on Semantic Media Adaptation and …, 2007
442007
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
432016
Generation of formal requirements from structured natural language
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Requirements Engineering: Foundation for Software Quality: 26th …, 2020
392020
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
362018
Formal Requirements Elicitation with FRET
D Giannakopoulou, A Mavridou, T Pressburger, J Rhein, J Schumann, ...
26th International Working Conference on Requirements Engineering …, 2020
342020
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
282020
A situational awareness architecture for the smart grid
A Mavridou, M Papa
Global Security, Safety and Sustainability & e-Democracy. 7th International …, 2012
272012
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
252020
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
252017
Automated formalization of structured natural language requirements
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Information and Software Technology 137, 106590, 2021
232021
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: 13th International Symposium, NFM 2021, Virtual Event …, 2021
232021
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
202020
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
192016
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
182020
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
152019
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
122020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20