Seguir
Anastasia Mavridou
Anastasia Mavridou
Research Scientist, KBR Inc / NASA Ames Research Center
Dirección de correo verificada de nasa.gov - Página principal
Título
Citado por
Citado por
Año
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
2862018
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
1532019
Tool demonstration: Fsolidm for designing secure ethereum smart contracts
A Mavridou, A Laszka
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
1052018
Formal Requirements Elicitation with FRET
D Giannakopoulou, A Mavridou, T Pressburger, J Rhein, J Schumann, ...
26th International Working Conference on Requirements Engineering …, 2020
592020
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
Generation of formal requirements from structured natural language
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Requirements Engineering: Foundation for Software Quality: 26th …, 2020
492020
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
472020
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
462018
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
462016
Reputation metadata for recommending personalized e-learning resources
T Kerkiri, A Manitsaris, A Mavridou
Second International Workshop on Semantic Media Adaptation and …, 2007
442007
Automated formalization of structured natural language requirements
D Giannakopoulou, T Pressburger, A Mavridou, J Schumann
Information and Software Technology 137, 106590, 2021
402021
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
382021
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
352020
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
332017
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
312020
A situational awareness architecture for the smart grid
A Mavridou, M Papa
International Conference on e-Democracy, 229-236, 2011
302011
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
232020
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
202016
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
182020
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
172022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20