- Brno University of Technology [Brno]
- C-LAB [Paderborn]
- Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg
- Centre National de la Recherche Scientifique
- Centre d'études et de recherche en informatique et communications
- Centre de Recherche en Informatique
- Christian-Albrechts-Universität zu Kiel
- Conservatoire National des Arts et Métiers [CNAM]
- Daimler Chrysler AG
- Deduction modulo, interopérabilité et démonstration automatique
- Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
- HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université
- Heinz Nixdorf Institute
- IDCapture
- Inria Paris-Rocquencourt
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut Supérieur d'Electronique de Paris
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Institute for Information Technology [Oldenburg]
- Japan Advanced Institute of Science and Technology
- Laboratoire d'Informatique de Grenoble
- Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication
- Mines Paris - PSL (École nationale supérieure des mines de Paris)
- Nagoya University
- Nara Institute of Science and Technology
- Northeastern University [Boston]
- OKUMA Corporation
- Ritsumeikan University
- Saint-Petersburg State University of Aerospace Instrumentation
- Saint-Petersburg University of Aerospace Instrumentation
- Santa Catarina State University
- Tampere University of Technology [Tampere]
- Technical University of Berlin | Technische Universität Berlin
- Technische Universität Darmstadt - Technical University of Darmstadt
- Universidad de la República [Montevideo]
- Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
- Universidade Federal do Rio Grande do Sul [Porto Alegre]
- Universidade Tecnológica Federal do Paraná [Curitiba]
- University of California
- University of California [Irvine]
- University of Paderborn
- University of Southern Denmark
- University of Stuttgart
- University of Texas at Austin [Austin]
- Universität Duisburg-Essen = University of Duisburg-Essen [Essen]
- Université Joseph Fourier - Grenoble 1
- Université Paris sciences et lettres
- Université Pierre Mendès France - Grenoble 2
- Validation de Systèmes, Composants et Objets logiciels
- Vanderbilt University [Nashville]
- ZF Friedrichshafen AG
- dSpace