Accueil > Axes > Ressources partagées

Membres

Enseignants-Chercheurs

Karine Altisen	0457422223	Grenoble INP
Sylvain Boulme	0457422206	Grenoble INP
Bruno Ferres	0457422234	UGA
Claire Maiza	0457422228	Grenoble INP
Lionel Rieg	0457422209	Grenoble INP
Jean-Louis Roch	0457422241	Grenoble INP
Catherine Vigouroux	0457422236	UGA

Chercheurs

David Monniaux	0457422232	CNRS
Pascal Raymond	0457422240	CNRS

Ingénieurs

Jacques Combaz	0457422210	CNRS
Erwan Jahier	0457422223	CNRS
Olivier Lebeltel	0457422225	CNRS

Doctorants

Benjamin Bonneau		UGA/ENS
Oussama Oulkaid		UGA/CIFRE
Timothée Rognon		UGA

Visiteurs

Stéphane Devismes

0457422213

UGA

Nouvelles publications

Quelques Publications Récentes (Ressources Partagées)
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- 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
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

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

info visites 4144519

UGA

CNRS

INP Grenoble