Anastasia Mavridou

56 papers A 1B 4C 2Journal 18Unranked 26

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