- Carleton University
- Centre National de la Recherche Scientifique
- Computer Laboratory [Cambridge]
- Halmstad University
- Institut National Polytechnique (Toulouse)
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Toulouse
- Institute for Advanced Studies in Basic Sciences [Zanjan]
- Laboratoire d'analyse et d'architecture des systèmes
- National Taipei University of Business
- National Tsing Hua University [Hsinchu]
- Queen Mary University of London
- Sharif University of Technology [Tehran]
- Technion - Israel Institute of Technology [Haifa]
- University of Cambridge [UK]
- University of Liverpool
- University of Maryland System
- University of Maryland [College Park]
- University of Oxford
- Université Toulouse - Jean Jaurès
- Université Toulouse Capitole
- Université Toulouse III - Paul Sabatier
- Université de Toulouse
- Université libre de Bruxelles
- Vienna University of Technology = Technische Universität Wien
- Yazd University
- Équipe Verification de Systèmes Temporisés Critiques