selected publications

• academic article

  • Deriving Synchronizing and Homing Sequences for Input/Output Automata.  Automatic Control and Computer Sciences.  52:589-595. 2018

• blog posting

  • Preventive Model-based Verification and Repairing for SDN Requests.  arXiv (Cornell University). 2019

• conference paper

  • Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness.  . 1-6. 2018