title = {Formation en syst\`emes embarqu\'es \`a l'INPG },
author = {Maraninchi, Florence and Renaudin, Marc},
month = {oct},
year = {2005},
journal = {Revue des ing\'enieurs INPG},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@article{MR05a,
title = {Formation en syst\`emes embarqu\'es \`a l'INPG },
author = {Maraninchi, Florence and Renaudin, Marc},
month = {oct},
year = {2005},
journal = {Revue des ing\'enieurs INPG},
team = {SYNC},
}
title = {Formation en syst\`emes embarqu\'es \`a l'INPG },
author = {Maraninchi, Florence and Renaudin, Marc},
month = {oct},
year = {2005},
journal = {Revue des ing\'enieurs INPG},
team = {SYNC},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Dogan Ulus: Pattern Matching with Time: Theory and Applications
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- David Monniaux: On the decidability of the existence of polyhedral invariants in transition systems
