- Albert-Ludwigs-Universität Freiburg
- Algorithms for the Grid
- Alma Mater Studiorum Università di Bologna = University of Bologna
- BASICS
- Bar-Ilan University [Israël]
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- Carnegie Mellon University [Pittsburgh]
- Catholic University of Leuven = Katholieke Universiteit Leuven
- Centre National de la Recherche Scientifique
- Centre de Coopération Internationale en Recherche Agronomique pour le Développement
- Centro de Informática e Tecnologia Informação
- Chinese Academy of Sciences [Changchun Branch]
- Commissariat à l'énergie atomique et aux énergies alternatives
- Danmarks Tekniske Universitet = Technical University of Denmark
- Departamento de Informática
- Dipartimento di Informatica [Torino]
- Direction de Recherche Technologique (CEA)
- Faculdade de Ciências e Tecnologia = School of Science & Technology
- Formal Methods for Embedded Systems
- Foundations of Component-based Ubiquitous Systems
- INRIA Lorraine
- Imperial College London
- Inria Nancy - Grand Est
- Inria Paris-Rocquencourt
- Inria Rennes – Bretagne Atlantique
- Inria Sophia Antipolis - Méditerranée
- Institut National Polytechnique de Grenoble
- Institut National Polytechnique de Lorraine
- Institut National de Recherche en Informatique et en Automatique
- Institut National de la Recherche Agronomique
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute of Automation - Chinese Academy of Sciences
- Institute of Computer and Network Engineering [Braunschweig]
- Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire d'Intégration des Systèmes et des Technologies
- Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- NETQUEST
- National Research Council of Italy | Consiglio Nazionale delle Ricerche
- Norwegian University of Science and Technology
- Norwegian University of Science and Technology [Trondheim]
- Preuves, Programmes et Systèmes
- Queen Mary University of London
- Queen's University [Kingston, Canada]
- Rheinisch-Westfälische Technische Hochschule Aachen University
- SRI International [Menlo Park]
- Saarland University [Saarbrücken]
- Shanghai Jiao Tong University [Shanghai]
- Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidade Nova de Lisboa = NOVA University Lisbon
- University of Cyprus [Nicosia]
- University of Kent [Canterbury]
- University of Pennsylvania
- University of Pennsylvania School of Veterinary Medicine
- University of Pisa - Università di Pisa
- University of Sheffield [Sheffield]
- Università degli Studi di Firenze = University of Florence = Université de Florence
- Università degli studi di Torino = University of Turin
- Université Henri Poincaré - Nancy 1
- Université Joseph Fourier - Grenoble 1
- Université Nancy 2
- Université Paris Diderot - Paris 7
- Université de Lorraine
- Université de Provence - Aix-Marseille 1
- Université de la Méditerranée - Aix-Marseille 2
- Université libre de Bruxelles
- VERIMAG
- VERIfication pour les systèmes DIStribués
- Verification models and techniques applied to testing and control of reactive systems