-
AELOS
-
ARM Ltd [Cambridge]
-
Aalto University
-
Airbus Central Research and Technology [Munich]
-
Airbus Group Innovations [Suresnes]
-
Airbus [France]
-
Aix Marseille Université
-
Albert-Ludwigs-Universität Freiburg = University of Freiburg
-
Alcatel-Lucent Bell Labs
-
Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași
-
Algorithms for the Grid
-
Alma Mater Studiorum Università di Bologna = University of Bologna
-
Amazon Web Services [Seattle]
-
American University of Beirut [Beyrouth]
-
Andrea Razmadze Mathematical Institute
-
Assistance à la Certification d’Applications DIstribuées et Embarquées
-
Aston University [Birmingham]
-
Australian National University
-
Autonomic and Critical Embedded Systems
-
BASICS
-
Bar-Ilan University [Israël]
-
Brunel University London [Uxbridge]
-
Budapest University of Technology and Economics [Budapest]
-
CERN [Genève]
-
CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
-
COMmunications, Réseaux, systèmes Embarqués et Distribués
-
California Institute of Technology
-
Carnegie Mellon University [Pittsburgh]
-
Catholic University of Leuven = Katholieke Universiteit Leuven
-
CentraleSupélec
-
Centre National de la Recherche Scientifique
-
Centre de Coopération Internationale en Recherche Agronomique pour le Développement
-
Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
-
Centro de Informática e Tecnologia Informação
-
Centrum Wiskunde & Informatica
-
Chalmers University of Technology [Göteborg]
-
Chinese Academy of Sciences [Beijing]
-
Chinese Academy of Sciences [Changchun Branch]
-
Commissariat à l'énergie atomique et aux énergies alternatives
-
Commonwealth Scientific and Industrial Research Organisation [Australia]
-
Computational and Systems Biology [Trento]
-
Computer Learning Research Centre [Royal Holloway, University of London]
-
Concurrency, Mobility and Transactions
-
Consejo Nacional de Investigaciones Científicas y Técnicas [Buenos Aires]
-
Construction of verified concurrent systems
-
DCR Solutions
-
DSIC
-
Danmarks Tekniske Universitet = Technical University of Denmark
-
Darmstadt University of Technology [Darmstadt]
-
Data61 [Canberra]
-
Departamento Sistemas Informáticos y Computación [Madrid]
-
Departamento de Ciência da Computação [Minas Gerais]
-
Departamento de Informática
-
Departamento de Lenguajes y Sistemas Informáticos e Ingeniería de Software [Madrid]
-
Departamento de Sistemas Informáticos y Computación
-
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
-
Department of Applied Mathematics and Computer Science [Lyngby]
-
Department of Computer Science
-
Department of Computer Science - Trinity College Dublin
-
Department of Computer Science [Copenhagen]
-
Department of Computer Science [Santa Barbara]
-
Department of Computer Science [UIUC]
-
Department of Computer Science and Engineering [Bologna]
-
Department of Computer and Information Science [Pennsylvania]
-
Department of Computing and Information Sciences [Kansas]
-
Department of Electrical and Computer Engineering
-
Department of Electronics and Telecommunication
-
Department of Formal Methods
-
Department of Informatics [Oslo]
-
Department of Information Systems and Computing
-
Department of Information and Computer Science
-
Department of Mathematics and Computer Science
-
Department of Mathematics and Computer Science [Eindhoven]
-
Department of Mathematics and Computer Science [Odense]
-
Department of Software Science
-
Department of Statistics, Trinity College Dublin
-
Department of Telematics
-
Departmento de Sistemas Informáticos
-
Design and Implementation of Autonomous Distributed Systems
-
Dipartimento di Informatica [Pisa]
-
Dipartimento di Informatica [Torino]
-
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
-
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
-
Dipartimento di Scienze Pure e Applicate
-
Dipartimento di Scienze dell'Informazione [Bologna]
-
Direction de Recherche Technologique (CEA)
-
Distributed Programming Laboratory
-
Distributed Systems and Computer Networks
-
Distributed and Iterative Algorithms for the Management of Telecommunications Systems
-
Département Informatique
-
Département Informatique et Réseaux
-
East China Normal University [Shangaï]
-
Ecole Polytechnique Fédérale de Lausanne
-
Ecole Pour l'Informatique et les Techniques Avancées
-
Efficient STAtistical methods in SYstems of systems
-
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
-
Eindhoven University of Technology [Eindhoven]
-
European Organization for Nuclear Research
-
Exformatics [Copenhagen]
-
FUTURE HEALTH DEPARTMENT [KU Leuven]
-
Facebook
-
Faculdade de Ciências e Tecnologia = School of Science & Technology
-
Facultad de Ciencias Exactas y Naturales [Buenos Aires]
-
Faculty of Computer Science [Iași]
-
Faculty of Mathematics and Natural Sciences [Oslo]
-
Faculty of Science [Copenhagen]
-
FernUniversit¨at in Hagen
-
Fondazione Bruno Kessler [Trento, Italy]
-
Formal Methods and Tools
-
Formal Methods for Embedded Systems
-
Foundations of Component-based Ubiquitous Systems
-
General Motors [Warren]
-
Georgetown University [Washington]
-
Google Inc [Mountain View]
-
Gran Sasso Science Institute
-
Hasso Plattner Institute [Potsdam, Germany]
-
Humboldt State University
-
Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
-
Hungarian Academy of Sciences
-
IMT Atlantique
-
IMT Institute for Advanced Studies [Lucca]
-
INRIA Lorraine
-
IT University of Copenhagen
-
Imperial College London
-
Indian Institute of Science
-
Indian Institute of Science Education and Research Bhopal
-
Indian Institute of Technology Delhi
-
Informal systems [Vienna]
-
Inria Grenoble - Rhône-Alpes
-
Inria Nancy - Grand Est
-
Inria Paris-Rocquencourt
-
Inria Rennes – Bretagne Atlantique
-
Inria Saclay - Ile de France
-
Inria Sophia Antipolis - Méditerranée
-
Inria-EPFL
-
Institut Galilée
-
Institut Mines-Télécom [Paris]
-
Institut National Polytechnique (Toulouse)
-
Institut National Polytechnique de Grenoble
-
Institut National Polytechnique de Lorraine
-
Institut National de Recherche en Informatique et en Automatique
-
Institut National de la Recherche Agronomique
-
Institut National des Sciences Appliquées
-
Institut National des Sciences Appliquées - Rennes
-
Institut Polytechnique de Paris
-
Institut de Recherche en Informatique Fondamentale
-
Institut de Recherche en Informatique et Systèmes Aléatoires
-
Institut de recherche en informatique de Toulouse
-
Institut für Informatik
-
Institut polytechnique de Grenoble - Grenoble Institute of Technology
-
Institute IMDEA Software [Madrid]
-
Institute for Systems and Computer Engineering, Technology and Science [Braga]
-
Institute of Automation - Chinese Academy of Sciences
-
Institute of Computer and Network Engineering [Braunschweig]
-
Institute of Intelligent Software [Guangzhou]
-
Institute of Science and Technology [Klosterneuburg, Austria]
-
Institute of Software Chinese Academy of Sciences [Beijing]
-
Instituto de Investigación en Ciencias de la Computación [Buenos Aires]
-
Japanese French Laboratory for Informatics
-
KTH Royal Institute of Technology [Stockholm]
-
Kansas State University
-
King Mongkut’s University of Technology Thonburi [Bangkok]
-
Kyoto University
-
LANGAGE ET GÉNIE LOGICIEL
-
Lab for Automated Reasoning and Analysis
-
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
-
Laboratoire Jean Kuntzmann
-
Laboratoire Lorrain de Recherche en Informatique et ses Applications
-
Laboratoire Traitement et Communication de l'Information
-
Laboratoire d'Informatique de Grenoble
-
Laboratoire d'Informatique de Nantes Atlantique
-
Laboratoire d'Informatique de Paris 6
-
Laboratoire d'Informatique de Paris-Nord
-
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)
-
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
-
Laboratoire d'Intégration des Systèmes et des Technologies
-
Laboratoire d'informatique Algorithmique : Fondements et Applications
-
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
-
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
-
Laboratoire de Recherche et de Développement de l'EPITA
-
Laboratoire des Sciences du Numérique de Nantes
-
Laboratorio CINI-ITEM Carlo Savy
-
Laboratory for Reliable Software
-
Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
-
Logical Time for Formal Embedded System Design
-
MTA-BME Research Group of Technical Analytical Chemistry
-
Macquarie University
-
Max-Planck-Gesellschaft
-
Max-Planck-Institut für Informatik
-
McMaster University [Hamilton, Ontario]
-
Mentor Graphics
-
Michigan State University System
-
Michigan State University [East Lansing]
-
Microsoft Corporation [Redmond, Wash.]
-
Microsoft Research
-
Microsoft Research Silicon Valley
-
Mines Nantes
-
Modeling and Verification of Distributed Algorithms and Systems
-
Modelling and Inference of Complex and Structured Stochastic Systems
-
Modélisation et Vérification
-
Mälardalen University
-
Méthodes et modèles pour les réseaux
-
NETQUEST
-
NOVA Laboratory for Computer Science and Informatics
-
Nanjing University
-
Nanyang Technological University [Singapour]
-
National Institute for Subatomic Physics [Amsterdam]
-
National Institute of Informatics
-
National Research Council of Italy | Consiglio Nazionale delle Ricerche
-
Newcastle University [Newcastle]
-
Norwegian University of Science and Technology
-
Norwegian University of Science and Technology [Trondheim]
-
Open University of the Netherlands [Heerlen]
-
PIXIEL GROUP
-
Pontificia universidad Javeriana, Cali
-
Preuves, Programmes et Systèmes
-
Proof-oriented development of computer-based systems
-
Purdue University [West Lafayette]
-
Queen Mary University of London
-
Queen's University [Kingston, Canada]
-
Radboud University [Nijmegen]
-
Raytheon BBN Technologies
-
RelationalAI [Berkeley]
-
Reliable and efficient component based software engineering
-
Research and Development [General Motors]
-
Research at Google
-
Reykjavík University
-
Rheinisch-Westfälische Technische Hochschule Aachen University
-
Rigorous System Design Laboratory [Lausanne]
-
Royal Holloway [University of London]
-
SRI International [Menlo Park]
-
SUpervision of large MOdular and distributed systems
-
SYSTÈMES LARGE ÉCHELLE
-
Saarland University [Saarbrücken]
-
Salisbury University
-
Scania CV AB [Södertälje]
-
School for Advanced Studies Lucca
-
School of Computing
-
School of Computing Science
-
School of Computing Science [Glasgow]
-
Service Oriented Applications Research Unit [Trento]
-
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
-
Shanghai Jiao Tong University [Shanghai]
-
Software Engineering and Technology
-
Sorbonne Université
-
Sound Programming of Adaptive Dependable Embedded Systems
-
State Key Laboratory of Computer Science [Beijing]
-
State Key Laboratory of Novel Software Technology [Nanjing University]
-
State University of New York
-
System architecture for reflective distributed computing environments
-
System synthesis and supervision, scenarios
-
Tbilisi State University
-
Technical University of Berlin | Technische Universität Berlin
-
Technical University of Eindhoven
-
Technische Universität Braunschweig = Technical University of Braunschweig [Braunschweig]
-
Technische Universität Darmstadt - Technical University of Darmstadt
-
Technische Universität Dresden = Dresden University of Technology
-
Technische Universität Munchen - Technical University Munich - Université Technique de Munich
-
The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
-
The MathWorks
-
The University of Queensland
-
The University of Tokyo
-
Threat Analysis and Mitigation for Information Security
-
Tim, Events and Architectures
-
Toulouse Mind & Brain Institut
-
Towson University [Towson, MD, United States]
-
Trinity College Dublin
-
Télécom Bretagne
-
Télécom Paris
-
Télécom ParisTech
-
Télécom SudParis
-
UCM
-
Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
-
Universidad Politécnica de Madrid
-
Universidad de Buenos Aires [Buenos Aires]
-
Universidad de Castilla-La Mancha = University of Castilla-La Mancha
-
Universidad de Murcia
-
Universidad de Oviedo = University of Oviedo
-
Universidade Católica de Brasília=Catholic University of Brasília
-
Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]
-
Universidade Nova de Lisboa = NOVA University Lisbon
-
Universidade de São Paulo = University of São Paulo
-
Universitat Politècnica de València = Universitad Politecnica de Valencia = Polytechnic University of Valencia
-
University College of London [London]
-
University of California
-
University of California [Los Angeles]
-
University of California [Santa Barbara]
-
University of California [Santa Cruz]
-
University of Ca’ Foscari [Venice, Italy]
-
University of Chinese Academy of Sciences [Beijing]
-
University of Copenhagen = Københavns Universitet
-
University of Cyprus [Nicosia]
-
University of Dublin
-
University of Edinburgh
-
University of Glasgow
-
University of Groningen [Groningen]
-
University of Houston
-
University of Illinois System
-
University of Illinois at Urbana-Champaign [Urbana]
-
University of Kaiserslautern [Kaiserslautern]
-
University of Kent [Canterbury]
-
University of Leicester
-
University of Malta [Malta]
-
University of Maryland System
-
University of Michigan System
-
University of Michigan [Ann Arbor]
-
University of New South Wales [Sydney]
-
University of Novi Sad
-
University of Oslo
-
University of Oxford
-
University of Paderborn
-
University of Passau
-
University of Pennsylvania
-
University of Pennsylvania School of Veterinary Medicine
-
University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]
-
University of Salzburg
-
University of Sannio [Benevento]
-
University of Sheffield [Sheffield]
-
University of Southampton
-
University of Southern Denmark
-
University of Stavanger
-
University of Surrey
-
University of Twente
-
University of Utah
-
University of Waterloo [Waterloo]
-
Università degli Studi di Cagliari = University of Cagliari
-
Università degli Studi di Camerino = University of Camerino
-
Università degli Studi di Firenze = University of Florence = Université de Florence
-
Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
-
Università degli Studi di Trento = University of Trento
-
Università degli Studi di Urbino 'Carlo Bo'
-
Università degli studi dell'Insubria [Como]
-
Università degli studi di Genova = University of Genoa
-
Università degli studi di Torino = University of Turin
-
Università degli studi di Verona = University of Verona
-
Universitá degli Studi dell’Insubria = University of Insubria [Varese]
-
Universität Augsburg [Deutschland] = University of Augsburg [Germany] = Université d'Augsburg [Allemagne]
-
Universität Paderborn
-
Université Catholique de Louvain = Catholic University of Louvain
-
Université Côte d'Azur
-
Université Grenoble Alpes [2016-2019]
-
Université Henri Poincaré - Nancy 1
-
Université Joseph Fourier - Grenoble 1
-
Université Nancy 2
-
Université Nice Sophia Antipolis (1965 - 2019)
-
Université Paris 13
-
Université Paris Diderot - Paris 7
-
Université Paris Nanterre
-
Université Pierre Mendès France - Grenoble 2
-
Université Pierre et Marie Curie - Paris 6
-
Université Sorbonne Paris Cité
-
Université Toulouse - Jean Jaurès
-
Université Toulouse Capitole
-
Université Toulouse III - Paul Sabatier
-
Université de Bretagne Sud
-
Université de Carthage (Tunisie)
-
Université de Lorraine
-
Université de Nantes
-
Université de Nantes - UFR des Sciences et des Techniques
-
Université de Provence - Aix-Marseille 1
-
Université de Rennes
-
Université de Toulon
-
Université de Toulouse
-
Université de Tunis El Manar
-
Université de la Manouba [Tunisie]
-
Université de la Méditerranée - Aix-Marseille 2
-
Université libre de Bruxelles
-
Uppsala University
-
VERIMAG
-
VERIfication pour les systèmes DIStribués
-
Vanderbilt University [Nashville]
-
Verification models and techniques applied to testing and control of reactive systems
-
Vienna University of Technology = Technische Universität Wien
-
Vrije Universiteit Amsterdam [Amsterdam]
-
Wesleyan University
-
Westfälische Wilhelms-Universität Münster = University of Münster
-
École Centrale de Nantes
-
École normale supérieure - Rennes
-
École polytechnique
