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},
}
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},
}
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},
}
Browsing
News
Seminars
- Seminars
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
- 31 January 2019 Jacques Combaz: Assembling components in bip
New publications
- Recent Publications
- 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
- Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros: Maximal software execution time: a regression-based approach
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Dogan Ulus, Oded Maler: Specifying Timed Patterns using Temporal Logic
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
