Anastasia Mavridou

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 42

Top Topics

Natural Language

Formal Verification

Autonomous Robots

Software Components

Top Venues

Publications

Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Robotics: A New Mission for FRET Requirements. NFM (2024)
Xaver Fink, Anastasia Mavridou, Andreas Katis, Borja Fernández Adiego
Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. NFM (2024)
Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W (2023)
Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou
Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. REFSQ (2023)
Marie Farrell, Anastasia Mavridou, Johann Schumann
Exploring Requirements for Software that Learns: A Research Preview. REFSQ (2023)
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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Alberto Lluch-Lafuente, Anastasia Mavridou
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) (2022)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin
Monitoring ROS2: from Requirements to Autonomous Robots. FMAS/ASYDE@SEFM (2022)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou
Automated Translation of Natural Language Requirements to Runtime Monitors. TACAS (1) (2022)
Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM (2021)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137 (2021)
Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Christos Grompanopoulos, Antonios Gouglidis, Anastasia Mavridou
. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi
Formal Requirements Elicitation with FRET. REFSQ Workshops (2020)
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops (2020)
Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. BRAINS (2020)
Scott Eisele, Carlos A. Barreto, Abhishek Dubey, Xenofon D. Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches. Computer 53 (9) (2020)
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Generation of Formal Requirements from Structured Natural Language. REFSQ (2020)
Keerthi Nelaturu, Anastasia Mavridou, Andreas G. Veneris, Aron Laszka
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. IEEE ICBC (2020)
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. CoRR (2019)
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
VeriSolid: Correct-by-Design Smart Contracts for Ethereum. Financial Cryptography (2019)
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR (2019)
Anastasia Mavridou, Aron Laszka
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. POST (2018)
Anastasia Mavridou, Aron Laszka
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. CoRR (2018)
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. MeTRiD@ETAPS (2018)
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018)
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. iThings/GreenCom/CPSCom/SmartData (2018)
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR (2018)
Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits
A Common Integrated Framework for Heterogeneous Modeling Services. MoDELS (Workshops) (2018)
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. CoRR (2018)
Anastasia Mavridou, Aron Laszka
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. Financial Cryptography (2018)
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Exogenous coordination of concurrent software components with JavaBIP. Softw. Pract. Exp. 47 (11) (2017)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86 (1) (2017)
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
Coordination of Dynamic Software Components with JavaBIP. FACS (2017)
Anastasia Mavridou, Aron Laszka
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. CoRR (2017)
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
Coordination of Dynamic Software Components with JavaBIP. CoRR (2017)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE (2016)
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS (2016)
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
Configuration Logics: Modelling Architecture Styles. FACS (2015)
Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
Coordination of software components with BIP: application to OSGi. MiSE (2014)
Anastasia Mavridou, Victor Zhou, Jerald Dawkins, Mauricio Papa
A situational awareness framework for securing the smart grid using monitoring sensors and threat models. Int. J. Electron. Secur. Digit. Forensics 4 (2/3) (2012)
Anastasia Mavridou, Mauricio Papa
A Situational Awareness Architecture for the Smart Grid. ICGS3/e-Democracy (2011)
Tania Kerkiri, Athanasios Manitsaris, Anastasia Mavridou
Reputation Metadata for Recommending Personalized e-Learning Resources. SMAP (2007)