Error 404

Error in query: No results found.

The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.

Select

New publications

Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

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

info visites 1295729

CNRS

INP Grenoble