- COMmunications, Réseaux, systèmes Embarqués et Distribués
- Carleton University
- Centre National de la Recherche Scientifique
- Centrum Wiskunde & Informatica
- Computer Laboratory [Cambridge]
- Department of Mathematical Sciences
- Department of Mechanical and Industrial Engineering [Brescia]
- Dipartimento di Ingegneria Industriale [Trento]
- Halmstad University
- Inria Sophia Antipolis - Méditerranée
- Institut National Polytechnique (Toulouse)
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Toulouse
- Institute for Advanced Studies in Basic Sciences
- Institute for Advanced Studies in Basic Sciences [Zanjan]
- Institute for Research in Fundamental Sciences [Tehran]
- Islamic Azad University
- Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
- Laboratoire d'analyse et d'architecture des systèmes
- Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
- Logical Time for Formal Embedded System Design
- Michigan Technological University
- National Taipei University of Business
- National Technical University of Athens [Athens]
- National Tsing Hua University [Hsinchu]
- Queen Mary University of London
- School of Electrical Engineering and Computer Science
- Shahed University [Téhéran]
- Sharif University of Technology [Tehran]
- Tallinn University of Technology
- Technion - Israel Institute of Technology [Haifa]
- Universidade do Minho = University of Minho [Braga]
- University of Birjand [Iran]
- University of Cambridge [UK]
- University of Leicester
- University of Liverpool
- University of Maryland System
- University of Maryland [College Park]
- University of Oslo
- University of Ottawa [Ottawa]
- University of Oxford
- University of Tabriz [Tabriz]
- University of Tehran
- University of Zanjan
- Università degli Studi Roma Tre = Roma Tre University
- Università degli Studi di Trento = University of Trento
- Université Côte d'Azur
- Université Nice Sophia Antipolis (1965 - 2019)
- Université Paris Dauphine-PSL
- Université Paris Sciences et Lettres
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Toulouse
- Université libre de Bruxelles
- Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic]
- Vali-e-Aser University of Rafsanjan
- Vienna University of Technology = Technische Universität Wien
- Waseda University [Tokyo, Japan]
- Yazd University
- Équipe Verification de Systèmes Temporisés Critiques