Anastasia Mavridou
Orcid: 0000-0002-3943-9753Affiliations:
- NASA Ames Research Center, Robust Software Engineering, Moffett Field, CA, USA
According to our database1,
Anastasia Mavridou
authored at least 42 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
2023
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid.
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Inf. Softw. Technol., 2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches.
Computer, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020
2019
Proceedings of the Financial Cryptography and Data Security, 2019
2018
Early validation of system requirements and design through correctness-by-construction.
J. Syst. Softw., 2018
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
Proceedings of the Financial Cryptography and Data Security, 2018
2017
Softw. Pract. Exp., 2017
J. Log. Algebraic Methods Program., 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
2016
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2014
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
2012
A situational awareness framework for securing the smart grid using monitoring sensors and threat models.
Int. J. Electron. Secur. Digit. Forensics, 2012
2011
Proceedings of the Global Security, Safety and Sustainability & e-Democracy, 2011
2007
Proceedings of the Second International Workshop on Semantic Media Adaptation and Personalization, 2007