Collaborators

Prof. Antoine Girard (Laboratoire des Signaux et Systèmes, L2S, Paris, France)

Prof. Laurent Fribourg (Laboratoire de Spécification et Vérification, LSV, Paris, France)

Prof. Ricardo Sanfelice (University of California Santa Cruz, Santa cruz, USA)

Prof. Majid Zamani (University of Colorado Boulder, Boulder, USA )

Prof. Dimos Dimarogonas (KTH Royal Institute of Technology, Stockholm, Sweden)

Dr. Kazumune Hashimoto (Osaka University, Osaka, Japan)

Dr. Mohamed Maghenem (Laboratoire GIPSA , Grenoble, France)

Dr. Daniele Zonetti (Laboratoire de Spécification et Vérification, LSV, Paris, France)

Dr. Zohra Kader (Toulouse INP, Toulouse, France)

Pushpak Jagtap (Technical univerity of Munich, TUM, Munich, Germany)

Elena Ivanova (Laboratoire des Signaux et Systèmes, L2S, Paris, France)