selected publications

• 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