Accueil > Verimag > Publications

bibtex

@article{Cas92,
    title = {Clocks in Dataflow languages },
    author = {Caspi, Paul},
    year = {1992},
    journal = {Theoretical Computer Science},
    pages = {125--140},
    volume = {94},
    team = {SYNC},
}

Sections de Publications

Nouvelles publications

Publications Récentes
- Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Sch"onfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Election Autostabilisante dans les Réseaux à Haute Dynamicité
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design

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

info visites 1627012

Accueil > Verimag > Publications

bibtex

Sections de Publications

Navigation

Rubriques

Actualités

Nouvelles publications

Offres d'emploi et stages