Verimag

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
- David Monniaux, Laure Gonnord: Cell Morphing: From Array Programs to Array-Free Horn Clauses
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore: Leader Election in Rings with Bounded Multiplicity (Short Paper)
- Valentin Touzeau, Claire Maiza, David Monniaux: Model Checking of Cache for WCET Analysis Refinement
- Stefano Minopoli, Goran Frehse: SL2SX Translator: From Simulink to SpaceEx Models
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore: Leader Election in Asymmetric Labeled Unidirectional Rings
- Virginie Gautron, David Monniaux: De la surveillance secrète à la prédiction des risques : les dérives du fichage dans le champ de la lutte contre le terrorisme

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

info visites 817340

CNRS

INP Grenoble