selected publications

• academic article

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

• conference paper

  • Welcome Message from the General Co-Chairs.  . 1-1. 2023