Journal articles

• “Specifying and Verifying Usage Control models and policies in TLA+”
  
  Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
  International Journal on Software Tools for Technology Transfer, Springer [5-Year Impact Factor: 1.079]
  Volume 8, pp. 1 - 16, January 2021
  PDF Publisher BibTeX
  @article{gouglidis2021UseCON,
  

  author={Antonios Gouglidis and Christos Grompanopoulos and Anastasia Mavridou},
  title={Specifying and Verifying Usage Control models and policies in TLA+},
  journal={International Journal on Software Tools for Technology Transfer},
  publisher={Springer},
  volume={8},
  pages={1--16},
  year={2021},
  month={January}
  

  }
  
  
• “Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches”
  
  Scott Eisele, Carlos Barreto, Abhishek Dubey, Xenofon Koutsoukos, Eghtesad Taha, Aron Laszka, Anastasia Mavridou
  IEEE Computer [Impact Factor: 4.41]
  Volume 53, Issue 9, pp. 66-76, September 2020
  PDF Publisher BibTeX
  @article{eisele2020blockchains,
  

  author={Scott Eisele and Carlos Barreto and Abhishek Dubey and Xenofon Koutsoukos and Eghtesad Taha and Aron Laszka and Anastasia Mavridou},
  title={Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches},
  journal={IEEE Computer},
  volume={53},
  number={9},
  pages={66-76},
  year={2020},
  month={September}
  

  }
  
  
• “Early Validation of System Requirements and Design Through Correctness-by-Construction”
  
  Stachtiari Emmanouela, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
  Journal of Systems and Software, Elsevier [5-Year Impact Factor: 2.401]
  Volume 145, pp. 52 - 78, 2018
  PDF Publisher BibTeX
  @article{stachtiari2018early,
  

  author={Stachtiari Emmanouela and Anastasia Mavridou and Panagiotis Katsaros and Simon Bliudze and Joseph Sifakis},
  title={Early Validation of System Requirements and Design Through Correctness-by-Construction},
  journal={Journal of Systems and Software},
  publisher={Elsevier},
  volume={145},
  pages={52--78},
  year={2018},
  

  }
  
  
• “Exogenous Coordination of Concurrent Software Components with JavaBIP”
  
  Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
  Software: Practice and Experience, Wiley
  Volume 86, pp. 2 - 29, 2017
  PDF Publisher BibTeX
  @article{bliudze2017JavaBIP,
  

  author={Simon Bliudze and Anastasia Mavridou and Radoslaw Szymanek and Alina Zolotukhina},
  title={Exogenous Coordination of Concurrent Software Components with JavaBIP},
  journal={Software: Practice and Experience},
  publisher={Wiley},
  volume={86},
  pages={2--29},
  year={2017},
  

  }
  
  
• “Configuration logics: Modeling architecture styles”
  
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
  Journal of Logical and Algebraic Methods in Programming, Elsevier
  Volume 86, Issue 1, pp. 2 - 29, January 2017
  PDF Publisher BibTeX
  @article{mavridou2017ConfigurationLogics,
  

  author={Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
  title={Configuration logics: Modeling architecture styles},
  journal={Journal of Logical and Algebraic Methods in Programming},
  publisher={Elsevier},
  volume={86},
  number={1},
  pages={2--29},
  year={2017},
  month={January}
  

  }
  
  
• “A situational awareness framework for securing the smart grid using monitoring sensors and threat models”
  
  Anastasia Mavridou, Victor Zhou, Jerald Dawkins, Mauricio Papa
  International Journal of Electronic Security and Digital Forensics, Inderscience
  Volume 4, Issue -1, pp. 138-153, January 2012
  PDF Publisher BibTeX
  @article{mavridou2012SituationalAwareness,
  

  author={Anastasia Mavridou and Victor Zhou and Jerald Dawkins and Mauricio Papa},
  title={A situational awareness framework for securing the smart grid using monitoring sensors and threat models},
  journal={International Journal of Electronic Security and Digital Forensics},
  publisher={Inderscience},
  volume={4},
  number={-1},
  pages={138-153},
  year={2012},
  month={January}
  

  }
  
  

Conference papers

• “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
  24th International Symposium on Formal Methods (FM), November 2021
  PDF Publisher BibTeX
  @inproceedings{mavridou2021realizability,
  

  author={Anastasia Mavridou and Andreas Katis and Dimitra Giannakopoulou and David Kooi and Thomas Pressburger and Michael W Whalen},
  title={From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET},
  booktitle={Proceedings of the 24th International Symposium on Formal Methods (FM)},
  year={2021},
  month={November}
  

  }
  
  
• “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
  13th NASA Formal Methods Symposium (NFM), May 2021
  PDF Publisher BibTeX
  @inproceedings{bourbouh2021Integrating,
  

  author={Hamza Bourbouh and Marie Farrell and Anastasia Mavridou and Irfan Sljivo and Guillaume Brat and Louise A. Dennis and Michael Fisher},
  title={Integrating Formal Verification and Assurance: An Inspection Rover Case Study},
  booktitle={Proceedings of the 13th NASA Formal Methods Symposium (NFM)},
  year={2021},
  month={May}
  

  }
  
  
• “The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained”
  
  Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loic Garoche, Johann Schumann
  28th IEEE International Requirements Engineering Conference (RE), September 2020
  Publisher
  
  
• “From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project”
  
  Aaron Dutle, Cesar A. Munoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
  2nd Workshop on Formal Methods for Autonomous Systems (FMAS), June 2020
  Publisher
  
  
• “Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities”
  
  Mudabbir Kaleem, Anastasia Mavridou, Aron Laszka
  2nd Conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS), June 2020
  PDF BibTeX
  @inproceedings{kaleem2020vyper,
  

  author={Mudabbir Kaleem and Anastasia Mavridou and Aron Laszka},
  title={Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities},
  booktitle={Proceedings of the 2nd Conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS)},
  year={2020},
  month={June}
  

  }
  
  
• “Generation of Formal Requirements from Structured Natural Language”
  
  Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
  26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), May 2020
  Publisher
  
  
• “Formal Requirements Elicitation with FRET”
  
  Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi
  26th International Working Conference on Requirements Engineering: Foundation for Software Quality, Demos Track (REFSQ - Demos), May 2020
  Publisher
  
  
• “Bridging the Gap Between Requirements and Simulink Model Analysis”
  
  Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
  26th International Working Conference on Requirements Engineering: Foundation for Software Quality, Posters Track (REFSQ - Posters), May 2020
  Publisher
  
  
• “Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid”
  
  Keerthi Nelaturu, Anastasia Mavridou, Andreas Veneris, Aron Laszka
  2nd IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2020
  PDF BibTeX
  @inproceedings{nelaturu2020verified,
  

  author={Keerthi Nelaturu and Anastasia Mavridou and Andreas Veneris and Aron Laszka},
  title={Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid},
  booktitle={Proceedings of the 2nd IEEE International Conference on Blockchain and Cryptocurrency (ICBC)},
  year={2020},
  month={May}
  

  }
  
  
• “VeriSolid: Correct-by-Design Smart Contracts for Ethereum”
  
  Anastasia Mavridou, Aron Laszka, Stachtiari Emmanouela, Abhishek Dubey
  23nd International Conference on Financial Cryptography and Data Security (FC), February 2019
  PDF BibTeX
  @inproceedings{mavridou2019Verisolid,
  

  author={Anastasia Mavridou and Aron Laszka and Stachtiari Emmanouela and Abhishek Dubey},
  title={VeriSolid: Correct-by-Design Smart Contracts for Ethereum},
  booktitle={Proceedings of the 23nd International Conference on Financial Cryptography and Data Security (FC)},
  year={2019},
  month={February}
  

  }
  
  
• “A Common Integrated Framework for Heterogeneous Modeling Services”
  
  Anastasia Mavridou, Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
  6th International Workshop on the Globalization of Modeling Languages, co-located with MODELS 2018 (GEMOC 2018), October 2018
  PDF BibTeX
  @inproceedings{mavridou2018commonIntegrated,
  

  author={Anastasia Mavridou and Tamas Kecskes and Qishen Zhang and Janos Sztipanovits},
  title={A Common Integrated Framework for Heterogeneous Modeling Services},
  booktitle={Proceedings of the 6th International Workshop on the Globalization of Modeling Languages, co-located with MODELS 2018 (GEMOC 2018)},
  year={2018},
  month={October}
  

  }
  
  
• “SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities”
  
  Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
  2018 IEEE International Conference on Blockchain (Blockchain-2018), July 2018
  PDF BibTeX
  @inproceedings{eisele2018solidworx,
  

  author={Scott Eisele and Aron Laszka and Anastasia Mavridou and Abhishek Dubey},
  title={SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities},
  booktitle={Proceedings of the 2018 IEEE International Conference on Blockchain (Blockchain-2018)},
  year={2018},
  month={July}
  

  }
  
  
• “DesignBIP: A Design Studio for Modeling and Generating Systems with BIP”
  
  Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
  1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD), June 2018
  PDF BibTeX
  @inproceedings{mavridou2018designBIP,
  

  author={Anastasia Mavridou and Joseph Sifakis and Janos Sztipanovits},
  title={DesignBIP: A Design Studio for Modeling and Generating Systems with BIP},
  booktitle={Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD)},
  year={2018},
  month={June}
  

  }
  
  
• “Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+”
  
  Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
  1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD), June 2018
  PDF BibTeX
  @inproceedings{gouglidis2018UseCON,
  

  author={Antonios Gouglidis and Christos Grompanopoulos and Anastasia Mavridou},
  title={Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+},
  booktitle={Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD)},
  year={2018},
  month={June}
  

  }
  
  
• “Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts”
  
  Anastasia Mavridou, Aron Laszka
  7th International Conference on Principles of Security and Trust (POST), April 2018
  PDF BibTeX
  @inproceedings{mavridou2018SC,
  

  author={Anastasia Mavridou and Aron Laszka},
  title={Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts},
  booktitle={Proceedings of the 7th International Conference on Principles of Security and Trust (POST)},
  year={2018},
  month={April}
  

  }
  
  
• “Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach”
  
  Anastasia Mavridou, Aron Laszka
  22nd International Conference on Financial Cryptography and Data Security (FC), February 2018
  PDF BibTeX
  @inproceedings{mavridou2018SC,
  

  author={Anastasia Mavridou and Aron Laszka},
  title={Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach},
  booktitle={Proceedings of the 22nd International Conference on Financial Cryptography and Data Security (FC)},
  year={2018},
  month={February}
  

  }
  
  
• “Coordination of Dynamic Software Components with JavaBIP”
  
  Anastasia Mavridou, Valentin Rutz, Simon Bliudze
  14th International Conference on Formal Aspects of Component Software (FACS), October 2017
  PDF BibTeX
  @inproceedings{mavridou2017DyJavaBIP,
  

  author={Anastasia Mavridou and Valentin Rutz and Simon Bliudze},
  title={Coordination of Dynamic Software Components with JavaBIP},
  booktitle={Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS)},
  year={2017},
  month={October}
  

  }
  
  
• “Architecture-based Design: A Satellite On-board Software Case Study”
  
  Anastasia Mavridou, Stachtiari Emmanouela, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis
  13th International Conference on Formal Aspects of Component Software (FACS), October 2016
  PDF BibTeX
  @inproceedings{mavridou2016satellite,
  

  author={Anastasia Mavridou and Stachtiari Emmanouela and Simon Bliudze and Anton Ivanov and Panagiotis Katsaros and Joseph Sifakis},
  title={Architecture-based Design: A Satellite On-board Software Case Study},
  booktitle={Proceedings of the 13th International Conference on Formal Aspects of Component Software (FACS)},
  pages={260--279},
  year={2016},
  month={October}
  

  }
  
  
• “Architecture Diagrams: A Graphical Language for Architecture Style Specification”
  
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
  9th Interaction and Concurrency Experience (ICE), August 2016
  PDF BibTeX
  @inproceedings{mavridou2016diagrams,
  

  author={Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
  title={Architecture Diagrams: A Graphical Language for Architecture Style Specification},
  booktitle={Proceedings of the 9th Interaction and Concurrency Experience (ICE)},
  pages={83--97},
  year={2016},
  month={August}
  

  }
  
  
• “Configuration Logics: Modelling Architecture Styles”
  
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
  12th International Conference on Formal Aspects of Component Software (FACS), January 2016
  PDF BibTeX
  @inproceedings{mavridou2016logics,
  

  author={Anastasia Mavridou and Eduard Baranov and Simon Bliudze and Joseph Sifakis},
  title={Configuration Logics: Modelling Architecture Styles},
  booktitle={Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS)},
  pages={256--274},
  year={2016},
  month={January}
  

  }
  
  
• “Coordination of software components with BIP: application to OSGi”
  
  Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
  6th International Workshop on Modeling in Software Engineering (MiSE), June 2014
  PDF BibTeX
  @inproceedings{bliudze2014coordination,
  

  author={Simon Bliudze and Anastasia Mavridou and Radoslaw Szymanek and Alina Zolotukhina},
  title={Coordination of software components with BIP: application to OSGi},
  booktitle={Proceedings of the 6th International Workshop on Modeling in Software Engineering (MiSE)},
  pages={25--30},
  year={2014},
  month={June}
  

  }
  
  
• “A Situational Awareness Architecture for the Smart Grid”
  
  Anastasia Mavridou, Mauricio Papa
  7th International Global Security, Safety and Sustainability (ICGS3), July 2012
  PDF BibTeX
  @inproceedings{mavridou2012smartgrid,
  

  author={Anastasia Mavridou and Mauricio Papa},
  title={A Situational Awareness Architecture for the Smart Grid},
  booktitle={Proceedings of the 7th International Global Security, Safety and Sustainability (ICGS3)},
  pages={229--236},
  year={2012},
  month={July}
  

  }
  
  
• “Reputation Metadata for Recommending Personalized e-Learning Resources”
  
  Tania Kerkiri, Athanassios Manitsaris, Anastasia Mavridou
  2nd International Workshop on Semantic Media Adaptation and Personalization (SMAP), December 2007
  PDF BibTeX
  @inproceedings{kerkiri2007metadata,
  

  author={Tania Kerkiri and Athanassios Manitsaris and Anastasia Mavridou},
  title={Reputation Metadata for Recommending Personalized e-Learning Resources},
  booktitle={Proceedings of the 2nd International Workshop on Semantic Media Adaptation and Personalization (SMAP)},
  pages={110--115},
  year={2007},
  month={December}
  

  }
  
  

Presentations

• “Rigorous Component-Based Design with BIP”
  
  Anastasia Mavridou
  Slides BibTeX
  @misc{mavridouGeneralBIP,
  

  author={Anastasia Mavridou},
  title={Rigorous Component-Based Design with BIP},
  howpublished={Class presentation (EclipseCon)},
  year={2018},
  month={March}
  

  }
  
  
• “Architecture-Based Design with BIP”
  
  Anastasia Mavridou
  Slides BibTeX
  @misc{mavridouArchitectureCompositionBIP,
  

  author={Anastasia Mavridou},
  title={Architecture-Based Design with BIP},
  howpublished={Class presentation (EclipseCon)},
  year={2018},
  month={March}
  

  }
  
  
• “The Blockchain: What it is & Why it matters”
  
  Abhishek Dubey, Anastasia Mavridou, Douglas Schmidt
  Slides BibTeX
  @misc{nashvilleBlockchain2018,
  

  author={Abhishek Dubey and Anastasia Mavridou and Douglas Schmidt},
  title={The Blockchain: What it is \& Why it matters},
  howpublished={Nashville Blockchain Meetup ()},
  year={2018},
  month={February}
  

  }
  
  
• “Architecture-based Design and Analysis with BIP”
  
  Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
  Slides BibTeX
  @misc{mavridou2017S5Slides,
  

  author={Anastasia Mavridou and Joseph Sifakis and Janos Sztipanovits},
  title={Architecture-based Design and Analysis with BIP},
  howpublished={Safe and Secure Systems and Software Symposium (S5)},
  year={2017},
  month={August}
  

  }
  
  
• “A WebGME Design Studio for Architecture-based design in BIP”
  
  Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
  Slides BibTeX
  @misc{mavridou2017HCSSSlides,
  

  author={Anastasia Mavridou and Joseph Sifakis and Janos Sztipanovits},
  title={A WebGME Design Studio for Architecture-based design in BIP},
  howpublished={17th High Confidence Software and Systems Conference (HCSS)},
  year={2017},
  month={June}
  

  }
  
  
• “For Coordination, State Component Transitions”
  
  Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
  Slides BibTeX
  @misc{bliudze2013EclipseConSlides,
  

  author={Simon Bliudze and Anastasia Mavridou and Radoslaw Szymanek and Alina Zolotukhina},
  title={For Coordination, State Component Transitions},
  howpublished={Conference for the Eclipse European Ecosystem (EclipseCon)},
  year={2013},
  month={October}
  

  }
  
  

PhD Thesis

• “Modelling Architecture Styles”
  
  Anastasia Mavridou
  Thèse École polytechnique fédérale de Lausanne EPFL, n° 7324 (2016), December 2016
  PDF Publisher
  
  

Book Chapter

• “Distributed Monitoring: A Framework for Securing Data Acquisition”
  
  Matthew Brundage, Anastasia Mavridou, James Johnson, Peter J. Hawrylak, Mauricio Papa
  in Securing Critical Infrastructures and Critical Control Systems: Approaches for Threat Protection, IGI Global
  pp. 144 - 167, April 2013
  PDF Publisher BibTeX
  @incollection{brundage2013monitoring,
  

  author={Matthew Brundage and Anastasia Mavridou and James Johnson and Peter J. Hawrylak and Mauricio Papa},
  title={Distributed Monitoring: A Framework for Securing Data Acquisition},
  booktitle={Securing Critical Infrastructures and Critical Control Systems: Approaches for Threat Protection},
  editor={Christopher Laing and Atta Badii and Paul Vickers},
  publisher={IGI Global},
  pages={144--167},
  year={2013},
  month={April}
  

  }
  
  

Technical Reports

• “Coordination of Dynamic Software Components with JavaBIP”
  
  Anastasia Mavridou, Valentin Rutz, Simon Bliudze
  arXiv:1707.09716, July 2017
  PDF Publisher
  
  
• “Architecture-based Design - A Satellite On-Board Software Case Study”
  
  Anastasia Mavridou, Stachtiari Emmanouela, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, Joseph Sifakis
  EPFL-REPORT-221156, September 2016
  PDF
  
  
• “Architecture Diagrams - A Graphical Language for Architecture Style Specification”
  
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
  EPFL-REPORT-215210, August 2016
  PDF
  
  
• “Configuration Logics - Modelling Architecture Styles”
  
  Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
  EPFL-REPORT-206825, July 2016
  PDF
  
  
• “Integration of BIP into Connectivity Factory: Implementation”
  
  Simon Bliudze, Anastasia Mavridou, Radoslaw Szymanek, Alina Zolotukhina
  EPFL-REPORT-196996, November 2013
  PDF