title = {From Control Loops to Real-Time Programs },
author = {Caspi, Paul and Maler, Oded},
year = {2005},
booktitle = {Handbook of Networked and Embedded Computing Systems},
publisher = {Birkh\"{a}user},
team = {SYNC, TEMPO},
}
Home > Verimag > Publications
bibtex
@incollection{CM05,
title = {From Control Loops to Real-Time Programs },
author = {Caspi, Paul and Maler, Oded},
year = {2005},
booktitle = {Handbook of Networked and Embedded Computing Systems},
publisher = {Birkh\"{a}user},
team = {SYNC, TEMPO},
}
title = {From Control Loops to Real-Time Programs },
author = {Caspi, Paul and Maler, Oded},
year = {2005},
booktitle = {Handbook of Networked and Embedded Computing Systems},
publisher = {Birkh\"{a}user},
team = {SYNC, TEMPO},
}
Browsing
News
Seminars
- Seminars
- 11 December 2018 Bibek Kabi: Combining zonotope abstraction and constraint programming for synthesizing inductive (...)
- 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
- 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
New publications
- Recent Publications
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Alexey Bakhirkin, Thomas Ferrére, Oded Maler: Efficient Parametric Identification for STL
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
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
