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
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- 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
- Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
- Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Infinite Grid Exploration by Disoriented Robot

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

info visites 1680846

CNRS

INP Grenoble