selected publications

• chapter

  • A Model Checking Based Approach for Detecting SDN Races.  Lecture notes in computer science. 194-211. 2019

• conference paper

  • Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution.  . 1365-1367. 2024
  • Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.  . 727-734. 2024
  • Timed Transition Tour for Race Detection in Distributed Systems.  . 613-620. 2023