About me

I am a member of the Robust Software Engineering (RSE) Group at NASA Ames Research Center, employed by KBR Inc, where I perform research on formal methods and software engineering. More specifically, I work on the NASA Ames' Formal Requirements Elicitation Tool (FRET) and my research focuses on requirements engineering, component-based system design, and compositional verification.

Before joining RSE, I worked as a postdoc with Prof. Janos Sztipanovits at the Institute for Software Integrated Systems, Vanderbilt University, USA. I received my PhD in December 2016 from École polytechnique fédérale de Lausanne (EPFL), Switzerland. I was fortunate to be supervised by Prof. Joseph Sifakis and Dr. Simon Bliudze. Here is my PhD thesis.

I have authored more than 25 publications spanning the broad areas of formal methods and software engineering, with a focus on system design and formal analysis techniques. I have also served on the program committees of numerous workshops and conferences in those areas, including being the general chair of the NASA Formal Methods (NFM) 2020 symposium.

Here is my CV.

Current Events

• PC Chair: 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021)
• PC Chair: 14th Interaction and Concurrency Experience (ICE 2021)
• PC Member: COORDINATION 2021, ESEC/FSE 2021 Demos, FM 2021, FormaliSE 2021, ICBC 2021, ICCPS 2021, NFM 2021

News

• December 24, 2021: Our paper titled "Automated Translation of Natural Language Requirements to Runtime Monitors" was accepted to the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)! The paper describes the connection of FRET with the Copilot runtime monitoring tool.
  
  
• December 20, 2021: Interested in learning more about the open source Formal Requirements Elicitation Tool (FRET)? In May 2022, I am going to give a tutorial on FRET at the NASA Formal Methods Symposium (NFM 2022) Let's speak some FRETish!
  
  
• November 10, 2021: I am going to present our paper “From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET” on November 25th at (FM 2021) !
  
  
• July 16, 2021: Our paper was accepted to the 24th International Symposium on Formal Methods (FM 2021)
  “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
  PDF
  
  
• April 16, 2021: Our technical report that accompanies our NFM 2021 Inspection Rover case study paper is now available online. The title of the report is: "Integration and evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B tools on the Inspection Rover Case Study".
  
  
• April 10, 2021: Consider submitting to ICE 2021. We have extended the deadline to May 5. Do not miss the chance to contribute your work!
  
  
• March 14, 2021: Our paper was accepted to the 13th NASA Formal Methods Symposium (NFM 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
  PDF