- AGH University of Science and Technology [Krakow, PL]
- Aalborg University [Denmark]
- Assistance à la Certification d’Applications DIstribuées et Embarquées
- Blekinge Institute of Technology
- Blekinge Institute of Technology [Karlskrona]
- Brno University of Technology [Brno]
- Carnegie Mellon University [Pittsburgh]
- Centre National de la Recherche Scientifique
- Chemnitz University of Technology | Technische Universität Chemnitz
- Computer Emergency Response Team (Research and Academic Computer Network (NASK))
- Cornell University [New York]
- Cracow University of Technology
- Datorikas instituts DIVI
- Department of Automatics
- Department of Computer Engineering
- Department of Computer Science
- Department of Computer and Control Engineering [Rzeszow]
- Development of specifications
- Digia
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- Fachbereich Ingenieurwissenschaften Institut fur Medientechnik und Software Engineering
- Faculty of Informatics and Information Technologies
- Fraunhofer
- Fraunhofer Institute for Experimental Software Engineering
- IBM Research [Zurich]
- Indian Institute of Technology Madras
- Institut National Polytechnique (Toulouse)
- Institut National Polytechnique de Grenoble
- Institut National Polytechnique de Lorraine
- Institut National de Recherche en Informatique et en Automatique
- Institut de recherche en informatique de Toulouse
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Industrial Management [RWTH Aachen University]
- Institute of Computer Science
- Institute of Computing Science
- Institute of Informatics and Software Engineering, Faculty of Informatics and Information Technologies
- Institute of Mathematics and Computer Science [Wroclaw]
- Iran University of Science and Technology [Tehran]
- Kielce University of Technology
- King‘s College London
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- Laboratoire Spécification et Vérification [Cachan]
- Laboratoire d'Informatique de Grenoble
- Lancaster University
- Leibniz Universität Hannover=Leibniz University Hannover
- Massachusetts Institute of Technology
- National ICT Australia [Sydney]
- Ostravská univerzita | University of Ostrava
- Poznan University of Technology
- Rice University [Houston]
- Riga Technical University
- Rzeszow University of Technology
- Sharif University of Technology [Tehran]
- Silesian University of Technology, Faculty Of Automatic Control, Electronics And Computer Science
- Slovak University of Technology in Bratislava
- Software Competence Center Hagenberg
- Sony Corporation
- Sony Ericsson Mobile Communication
- St Petersburg State University
- Stanford University
- Swinburne University of Technology [Melbourne]
- Technical University of Ostrava [Ostrava]
- Technische Universität Munchen - Technical University Munich - Université Technique de Munich
- Toulouse Mind & Brain Institut
- UIQ Technology
- University Politehnica of Bucharest [Romania]
- University of California
- University of California [Los Angeles]
- University of Latvia
- University of Linz - Johannes Kepler Universität Linz
- University of New South Wales [Canberra Campus]
- University of Oulu
- University of Surrey
- Universität Bayreuth
- Universität Bern = University of Bern = Université de Berne
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Universität Karlsruhe
- Université Henri Poincaré - Nancy 1
- Université Joseph Fourier - Grenoble 1
- Université Nancy 2
- Université Pierre Mendès France - Grenoble 2
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Toulouse
- Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
- Vienna University of Technology = Technische Universität Wien
- Warsaw University of Technology [Warsaw]
- Weizmann Institute of Science [Rehovot, Israël]
- Wroclaw University of Science and Technology
- École normale supérieure - Cachan