Anastasia Mavridou

Orcid: 0000-0002-3943-9753

Affiliations:
  • 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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Robotics: A New Mission for FRET Requirements.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif.
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

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

Exploring Requirements for Software that Learns: A Research Preview.
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
Formal methods and tools for industrial critical systems.
Int. J. Softw. Tools Technol. Transf., 2022

Monitoring ROS2: from Requirements to Autonomous Robots.
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

Automated Translation of Natural Language Requirements to Runtime Monitors.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Specifying and verifying usage control models and policies in TLA<sup>+</sup>.
Int. J. Softw. Tools Technol. Transf., 2021

Automated formalization of structured natural language requirements.
Inf. Softw. Technol., 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
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

Bridging the Gap Between Requirements and Simulink Model Analysis.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.
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

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities.
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
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

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP.
CoRR, 2018

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts.
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

A Common Integrated Framework for Heterogeneous Modeling Services.
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

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach.
Proceedings of the Financial Cryptography and Data Security, 2018

2017
Exogenous coordination of concurrent software components with JavaBIP.
Softw. Pract. Exp., 2017

Configuration logics: Modeling architecture styles.
J. Log. Algebraic Methods Program., 2017

Coordination of Dynamic Software Components with JavaBIP.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016
Modelling Architecture Styles.
PhD thesis, 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Architecture-Based Design: A Satellite On-Board Software Case Study.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015
Configuration Logics: Modelling Architecture Styles.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014
Coordination of software components with BIP: application to OSGi.
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
A Situational Awareness Architecture for the Smart Grid.
Proceedings of the Global Security, Safety and Sustainability & e-Democracy, 2011

2007
Reputation Metadata for Recommending Personalized e-Learning Resources.
Proceedings of the Second International Workshop on Semantic Media Adaptation and Personalization, 2007


  Loading...