selected publications

• conference paper

  • A formal online mMonitoring approach to test network protocols.  . 2014
  • An Online Passive Testing Approach for Communication Protocols.  . 136-143. 2014