Anastasia Mavridou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2014–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial. | Anastasia Mavridou, Andreas Katis, Mari A. Aoki, Marie Farrell |
| 2023 | DSN | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. | Carlos Mo de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins |
| 2023 | REFSQ | Exploring Requirements for Software that Learns: A Research Preview. | Marie Farrell, Anastasia Mavridou, Johann Schumann |
| 2023 | REFSQ | Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. | Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou |
| 2022 | CAV | Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. | Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2022 | TACAS | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2021 | FM | 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 |
| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | REFSQ | Generation of Formal Requirements from Structured Natural Language. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann |
| 2020 | REFSQ | Formal Requirements Elicitation with FRET. | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2019 | FC | VeriSolid: Correct-by-Design Smart Contracts for Ethereum. | Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey |
| 2018 | FC | Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. | Anastasia Mavridou, Aron Laszka |
| 2018 | MODELS | A Common Integrated Framework for Heterogeneous Modeling Services. | Anastasia Mavridou, Tams Kecsks, Qishen Zhang, Janos Sztipanovits |
| 2014 | ICSE | Coordination of software components with BIP: application to OSGi. | Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina |