selected publications

• academic article

  • Special issue on formal active and passive testing of distributed and networked systems.  Annals of Telecommunications.  70:83-84. 2015

• chapter

  • A Statistical Approach to Test Stochastic and Probabilistic Systems.  Lecture notes in computer science. 186-205. 2009

• conference paper

  • Analysis of the OLSR Protocol by Using Formal Passive Testing.  . 152-159. 2009