- AVL List GmbH
- CISC Semiconductor GmbH
- Centre National de la Recherche Scientifique
- Concordia University [Montreal]
- Construction of verified concurrent systems
- Department of Engineering [Sannio]
- Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
- Ecole Nationale Supérieure des Mines de St Etienne
- Ericsson Inc [Canada]
- Ericsson [Stockholm]
- Faculty of Computer Science and Mathematics [Bremen]
- Graz University of Technology [Graz]
- Inria Grenoble - Rhône-Alpes
- Institut National de Recherche en Informatique et en Automatique
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for System Programming of the Russian Academy of Sciences [Moscow]
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
- Lomonosov Moscow State University
- National Institute for Research and Development in Informatics [Bucharest]
- National Institute of Advanced Industrial Science and Technology
- Osaka University
- Tomsk State University [Tomsk]
- Universidade do Minho = University of Minho [Braga]
- University Politehnica of Bucharest [Romania]
- University of Bremen
- University of Naples Federico II = Università degli studi di Napoli Federico II
- University of Paderborn
- University of Sannio [Benevento]
- University of the Study of Campania Luigi Vanvitelli
- Università degli Studi di Salerno = University of Salerno
- Università degli studi di Genova = University of Genoa
- Université Clermont Auvergne [2017-2020]
- Université Grenoble Alpes