Home > Verimag > Publications

bibtex

@phdthesis{von4,
    title = {V\'erification et synth\`ese quantitative },
    author = {von Essen, Christian},
    year = {2014},
    school = {Universi\'e de Grenoble, France},
    team = {DCS, RSD},
}

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
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Eviter les collisions dans les réseaux 6TiSCH
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck: Gradual Stabilization

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

info visites 1113551

CNRS

INP Grenoble