- Aalborg University [Denmark]
- Brunel University London [Uxbridge]
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
- Combination of approaches to the security of infinite states systems
- Daimler [Stuttgart]
- Department of Formal Methods
- Département Logiciels et Réseaux
- Ecole Nationale Supérieure de Mécanique et des Microtechniques
- Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
- Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
- Graz University of Technology [Graz]
- Inria Nancy - Grand Est
- Institut Mines-Télécom [Paris]
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- KDDI R&D Laboratories Inc.
- KTH Royal Institute of Technology [Stockholm]
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire de Recherche en Informatique
- Montimage (EURL) [Paris]
- Méthodes et modèles pour les réseaux
- Océ-Technologies B.V.
- Radboud University Medical Center [Nijmegen]
- Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
- Supélec Sciences des Systèmes
- Tomsk State University [Tomsk]
- Télécom SudParis
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- University of Leicester
- University of Ottawa [Ottawa]
- University of York [York, UK]
- Universität Bremen [Deutschland] = University of Bremen [Germany] = Université de Brême [Allemagne]
- Université Bourgogne Franche-Comté [COMUE]
- Université Joseph Fourier - Grenoble 1
- Université Paris-Sud - Paris 11
- Université de Franche-Comté
- Université de Lorraine
- Université de Technologie de Belfort-Montbeliard
- VERIMAG
- Verified Systems International GmbH [Bremen]
- Virtual Vehicle Research Center