- ABB
- Aalborg University [Denmark]
- Albert-Ludwigs-Universität Freiburg = University of Freiburg
- Arizona State University [Tempe]
- California Institute of Technology
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Commissariat à l'énergie atomique et aux énergies alternatives
- Cracow University of Technology
- Direction de Recherche Technologique (CEA)
- Ecole Centrale Paris
- IMT Atlantique
- IVU Traffic Technologies AG
- Information and Communication Technology [Oslo]
- Inria Rennes – Bretagne Atlantique
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- KEREVAL
- LANGAGE ET GÉNIE LOGICIEL
- Laboratoire d'Intégration des Systèmes et des Technologies
- Mathématiques Appliquées aux Systèmes - EA 4037
- Osaka University [Osaka]
- Radboud University [Nijmegen]
- Reliable and efficient component based software engineering
- Rheinisch-Westfälische Technische Hochschule Aachen University
- Sherpa Engineering
- Simula Research Laboratory [Lysaker]
- Software certification with semantic analysis
- Stevens Institute of Technology [Hoboken]
- Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim]
- Télécom Bretagne
- Universidade do Porto = University of Porto
- University of Macau
- University of Oslo
- University of Sheffield [Sheffield]
- Università degli Studi di Bergamo = University of Bergamo
- Universität Bremen [Deutschland] = University of Bremen [Germany] = Université de Brême [Allemagne]
- Université Joseph Fourier - Grenoble 1
- Université de Bretagne Sud
- Université de Rennes
- Université de Sfax - University of Sfax
- Uniwersytet Jagielloński w Krakowie = Jagiellonian University
- VERIMAG
- Verified Systems International GmbH [Bremen]
- École normale supérieure - Rennes