Accueil > Verimag > Publications

bibtex

@incollection{Mal14,
    title = { The Unmet Challenge of Timed Systems },
    author = {Maler, Oded},
    year = {2014},
    booktitle = {From Programs to Systems},
    publisher = {Springer},
    team = {TEMPO},
}

Nouvelles publications

Quelques Publications Récentes
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Contact | Plan du site | Site réalisé avec SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5136981

UGA

CNRS

INP Grenoble