selected publications

• chapter

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

• conference paper

  • On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress).  . 1-3. 2020