Home > Verimag > Publications

bibtex

@phdthesis{Abd12a,
    title = {Rigorous Implementation of Real-Time Systems },
    author = {Abdellatif, Tesnim},
    year = {2012},
    school = {Universi\'e de Grenoble, France},
    team = {DCS},
}

Publication Sections

New publications

Recent Publications
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem: Left-Eigenvectors Are Certificates of the Orbit Problem
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Eviter les collisions dans les réseaux 6TiSCH
- Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: L-Exclusion autostabilisante revisitée
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling

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

info visites 1115004

CNRS

INP Grenoble