Home > Verimag > personal pages > Catherine Vigouroux

Research

Timing analysis (WCET)
CAOTIC project
W-SEPT project
Real-time and embedded systems

New publications

Some Recent Publications
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs

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

info visites 4905772

UGA

CNRS

INP Grenoble