- Alarcos Research Group
- CREST Centre, Department of Computer Science
- CRIM
- Centre National de la Recherche Scientifique
- Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
- Computer Science Department
- Corporate Technology
- Delft University of Technology
- Department of Computer Science
- Department of Informatics [Oslo]
- Faculty of Mathematics and Natural Sciences [Oslo]
- Fraunhofer
- Fraunhofer Institute for Open Communication Systems
- 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
- KDDI R&D Laboratories Inc.
- KTH Royal Institute of Technology [Stockholm]
- Laboratory of Advanced Software SYstems [Luxembourg]
- Lebanese International University
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
- Microsoft Research [Redmond]
- Naval Research Laboratory
- Reliable and efficient component based software engineering
- Republic University
- Siemens AG [Munich]
- Simula Research Laboratory [Lysaker]
- Software Technology Department
- Software Testing Centre
- UCLM, Ciudad Real
- Universidade Federal do Paraná [Curitiba, Brasil] = Federal University of Paraná [Curitiba, Brazil] = Université fédérale du Paraná [Curitiba, Brésil]
- Universidade de São Paulo = University of São Paulo
- University College of London [London]
- University of A Coruña
- University of Electro-Communications [Tokyo]
- University of Koblenz-Landau
- University of Leicester
- University of Oslo
- University of Sheffield [Sheffield]
- Université Joseph Fourier - Grenoble 1
- Université de Rennes
- Université du Luxembourg
- Uppsala University
- VERIMAG
- Verification models and techniques applied to testing and control of reactive systems