Home > Topics > Shared Resources

Partners

Current Collaborations

Academic partners

Industrial partners
- Argosim: Coopération Argosim

Past Collaborations

Past Academic partners
- CEA Saclay: OpenES
- CEA/LETI, Grenoble, France: openTLM
- Eindhoven University of Technology, The Netherlands: OpenES
- INRIA/ALF: W-SEPT
- INRIA/Aoste: HELP
- INRIA/pop-art: openTLM
- IRIT-TRACES: W-SEPT
- LaBRI: ESTATE
- LIP6: ESTATE
- TIMA, Grenoble, France: openTLM
- University of Nice (LEAT): HELP

Past Industrial Partners
- CISC semiconductor : OpenES
- CONTINENTAL AUTOMOTIVE FRANCE SAS: W-SEPT
- DOCEA Power: HELP , OpenES
- ECSI: OpenES
- Kalray, Grenoble, France: KALRAY , KALRAY-CompCert , Matheus Schuh , the Chamois CompCert Compiler
- Magillem Design Services, Paris, France: OpenES
- NXP Netherlands: OpenES
- Orange IT&L@bs: openTLM
- Safetronix: openTLM
- STMicroelectronics/Grenoble: HELP , OpenES , openTLM , STMicroelectronics , STMicroelectronics
- Synopsys Netherlands: OpenES
- THALES: OpenES
- Vector Fabrics: OpenES

New publications

Some Recent Publications (Ressources Partagées)
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Karine Altisen, Stéphane Devismes, Erwan Jahier: sasa: a SimulAtor of Self-stabilizing Algorithms
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Certification of an exact worst-case self-stabilization time

Contact | Site Map | Site powered by SPIP 3.2.17 + AHUNTSIC [CC License]

info visites 1995243

UGA

CNRS

INP Grenoble