Anastasia Mavridou

According to our database, Anastasia Mavridou authored at least 40 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid.

Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka

IEEE Trans. Dependable Secur. Comput., 2023

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.

Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

Exploring Requirements for Software that Learns: A Research Preview.

Marie Farrell, Anastasia Mavridou, Johann Schumann

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.

Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.

Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Formal methods and tools for industrial critical systems.

Alberto Lluch-Lafuente, Anastasia Mavridou

Int. J. Softw. Tools Technol. Transf., 2022

Monitoring ROS2: from Requirements to Autonomous Robots.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin

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.

Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET.

Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Specifying and verifying usage control models and policies in TLA⁺.

Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou

Int. J. Softw. Tools Technol. Transf., 2021

Automated formalization of structured natural language requirements.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Inf. Softw. Technol., 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET.

Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches.

Scott Eisele, Carlos A. Barreto, Abhishek Dubey, Xenofon D. Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou

Computer, 2020

Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Formal Requirements Elicitation with FRET.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

Generation of Formal Requirements from Structured Natural Language.

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid.

Keerthi Nelaturu, Anastasia Mavridou, Andreas G. Veneris, Aron Laszka

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities.

Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka

Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

2019

VeriSolid: Correct-by-Design Smart Contracts for Ethereum.

Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Early validation of system requirements and design through correctness-by-construction.

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis

J. Syst. Softw., 2018

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+.

Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

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.

Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits

CoRR, 2018

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts.

Anastasia Mavridou, Aron Laszka

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

A Common Integrated Framework for Heterogeneous Modeling Services.

Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits

Proceedings of MODELS 2018 Workshops: ModComp, 2018

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.

Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey

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.

Anastasia Mavridou, Aron Laszka

Proceedings of the Financial Cryptography and Data Security, 2018

2017

Exogenous coordination of concurrent software components with JavaBIP.

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

Softw. Pract. Exp., 2017

Configuration logics: Modeling architecture styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

J. Log. Algebraic Methods Program., 2017

Coordination of Dynamic Software Components with JavaBIP.

Anastasia Mavridou, Valentin Rutz, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Modelling Architecture Styles.

Anastasia Mavridou

PhD thesis, 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Architecture-Based Design: A Satellite On-Board Software Case Study.

Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Configuration Logics: Modelling Architecture Styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Coordination of software components with BIP: application to OSGi.

Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina

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.

Anastasia Mavridou, Victor Zhou, Jerald Dawkins, Mauricio Papa

Int. J. Electron. Secur. Digit. Forensics, 2012

2011

A Situational Awareness Architecture for the Smart Grid.

Anastasia Mavridou, Mauricio Papa

Proceedings of the Global Security, Safety and Sustainability & e-Democracy, 2011

2007

Reputation Metadata for Recommending Personalized e-Learning Resources.

Tania Kerkiri, Athanasios Manitsaris, Anastasia Mavridou

Proceedings of the Second International Workshop on Semantic Media Adaptation and Personalization, 2007