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
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Benjamin Farinier, Robin David, Sebastien Bardin, Matthieu Lemerre: Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
- Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

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

info visites 1207583

CNRS

INP Grenoble