selected publications

• chapter

  • Dynamic Link Network Emulation and Validation of Execution Datasets.  Communications in computer and information science. 116-138. 2023

• conference paper

  • Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.  . 727-734. 2024
  • On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).  . 1-3. 2020