Home > Verimag > Publications

bibtex

@incollection{CRT07a,
    title = {Synchronous languages },
    author = {Caspi, Paul and Raymond, Pascal and Tripakis, Stavros},
    year = {2007},
    booktitle = {Handbook of Real-Time And Embedded Systems},
    publisher = {Chapman & Hall},
    team = {SYNC},
}

Publication Sections

New publications

Recent Publications
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Collision Prevention in Distributed 6TiSCH Networks
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem: Improved Learning for Stochastic Timed Models by State-Merging Algorithms
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications

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

info visites 1095500

CNRS

INP Grenoble