Verimag

Home > Verimag > Publications

bibtex

@inproceedings{MNP06,
    title = { From {MITL} to Timed Automata },
    author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
    year = {2006},
    booktitle = {FORMATS 2006},
    pages = {274-289},
    publisher = {Springer},
    series = {LNCS},
    volume = {4202},
    team = {TEMPO},
}

Publication Sections

New publications

Recent Publications
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
- Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin: Classification and Coverage-Based Falsification for Embedded Control Systems
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: A Framework for Certified Self-Stabilization
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Scheduling of Embedded Controllers Under Timing Contracts

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

info visites 1016330

CNRS

INP Grenoble