Reputation Metadata for Recommending Personalized e-Learning Resources. - Tania Kerkiri; Athanasios Manitsaris; Anastasia Mavridou (SMAP, 2007)

A Situational Awareness Architecture for the Smart Grid. - Anastasia Mavridou; Mauricio Papa (ICGS3/e-Democracy, 2011)

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)

Coordination of software components with BIP: application to OSGi. - Simon Bliudze; Anastasia Mavridou; Radoslaw Szymanek; Alina Zolotukhina (MiSE, 2014)

Configuration Logics: Modelling Architecture Styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (FACS, 2015)

Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Architecture Diagrams: A Graphical Language for Architecture Style Specification. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (ICE, 2016)

Modelling Architecture Styles. - Anastasia Mavridou (2016)

Coordination of Dynamic Software Components with JavaBIP. - Anastasia Mavridou; Valentin Rutz; Simon Bliudze (FACS, 2017)

Configuration logics: Modeling architecture styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (J. Log. Algebraic Methods Program., 2017)

Exogenous coordination of concurrent software components with JavaBIP. - Simon Bliudze; Anastasia Mavridou; Radoslaw Szymanek; Alina Zolotukhina (Softw. Pract. Exp., 2017)

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. - Anastasia Mavridou; Aron Laszka (Financial Cryptography, 2018)

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. - Scott Eisele; Aron Laszka; Anastasia Mavridou; Abhishek Dubey (iThings/GreenCom/CPSCom/SmartData, 2018)

A Common Integrated Framework for Heterogeneous Modeling Services. - Anastasia Mavridou; Tamás Kecskés; Qishen Zhang; Janos Sztipanovits (MoDELS (Workshops), 2018)

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. - Anastasia Mavridou; Aron Laszka (POST, 2018)

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. - Anastasia Mavridou; Joseph Sifakis; Janos Sztipanovits (CoRR, 2018)

Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. - Antonios Gouglidis; Christos Grompanopoulos; Anastasia Mavridou (MeTRiD@ETAPS, 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)

VeriSolid: Correct-by-Design Smart Contracts for Ethereum. - Anastasia Mavridou; Aron Laszka; Emmanouela Stachtiari; Abhishek Dubey (Financial Cryptography, 2019)

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities. - Mudabbir Kaleem; Anastasia Mavridou; Aron Laszka (BRAINS, 2020)

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. - Keerthi Nelaturu; Anastasia Mavridou; Andreas G. Veneris; Aron Laszka (IEEE ICBC, 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 (RE, 2020)

Generation of Formal Requirements from Structured Natural Language. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (REFSQ, 2020)

Formal Requirements Elicitation with FRET. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Julian Rhein; Johann Schumann; Nija Shi (REFSQ Workshops, 2020)

Bridging the Gap Between Requirements and Simulink Model Analysis. - Anastasia Mavridou; Hamza Bourbouh; Pierre-Loïc Garoche; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (REFSQ Workshops, 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)

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 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

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 (FM, 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 001 (NFM, 2021)

Automated formalization of structured natural language requirements. - Dimitra Giannakopoulou; Thomas Pressburger; Anastasia Mavridou; Johann Schumann (Inf. Softw. Technol., 2021)

Specifying and verifying usage control models and policies in TLA+. - Christos Grompanopoulos; Antonios Gouglidis; Anastasia Mavridou (Int. J. Softw. Tools Technol. Transf., 2021)

Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. - Andreas Katis; Anastasia Mavridou; Dimitra Giannakopoulou; Thomas Pressburger; Johann Schumann (CAV (2), 2022)

Automated Translation of Natural Language Requirements to Runtime Monitors. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alwyn Goodloe; Dimitra Giannakopoulou (TACAS (1), 2022)

Monitoring ROS2: from Requirements to Autonomous Robots. - Ivan Perez 001; Anastasia Mavridou; Thomas Pressburger; Alexander Will; Patrick J. Martin (FMAS/ASYDE@SEFM, 2022)

Formal methods and tools for industrial critical systems. - Alberto Lluch-Lafuente; Anastasia Mavridou (Int. J. Softw. Tools Technol. Transf., 2022)

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. - Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins (DSN-W, 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 (NFM, 2023)

Exploring Requirements for Software that Learns: A Research Preview. - Marie Farrell; Anastasia Mavridou; Johann Schumann (REFSQ, 2023)

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft. - Thomas Pressburger; Andreas Katis; Aaron Dutle; Anastasia Mavridou (REFSQ, 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)

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif. - Xaver Fink; Anastasia Mavridou; Andreas Katis; Borja Fernández Adiego (NFM, 2024)

Robotics: A New Mission for FRET Requirements. - Gricel Vázquez; Anastasia Mavridou; Marie Farrell; Thomas Pressburger; Radu Calinescu (NFM, 2024)

A Streamlined, Formal Approach to Requirements-Based Testing. - Andreas Katis; Anastasia Mavridou; Thomas Pressburger (NFM, 2025)