Accueil > Axes > Ressources partagées

Partenaires

Collaborations actuelles

Partenaires academiques

Partenaires industriels
- Argosim: Coopération Argosim
- IRT : CAOTIC : Collaborative Action on Timing Interferences

Collaborations Anciennes

Anciens partenaires académiques
- 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

Anciens partenaires industriels
- 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

Nouvelles publications

Quelques Publications Récentes (Ressources Partagées)
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Certification of an exact worst-case self-stabilization time
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
- Erwan Jahier, Karine Altisen, Stéphane Devismes: Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes
- Karine Altisen, Stéphane Devismes, Erwan Jahier: sasa: a SimulAtor of Self-stabilizing Algorithms
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler

Contact | Plan du site | Site réalisé avec SPIP 3.2.19 + AHUNTSIC [CC License]

info visites 2139974

UGA

CNRS

INP Grenoble