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
Seminars
- Seminars
- 20 March 2019 Rim El ballouli: Modeling self-configuration in architecture-based self-adaptive systems (Phd)
- 28 March 2019 Olivier Vidal: Matières premières et énergie à l’échelle mondiale dans le contexte de la transition (...)
- 1 April 2019 Edward a. Lee: Living digital beings
- 29 April 2019 Invited Speakers: Journée thématique verimag : many-core kalray mppa, implementation and (...)
New publications
- Recent Publications
- Radu Iosif, Xiao Xu: Abstraction Refinement for Emptiness Checking of Alternating Data Automata
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Thusitha Asela Bandara: An adaptive charging protocol for Lithium-on Batteries
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
- Dogan Ulus: Pattern Matching with Time: Theory 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
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Post-Doc and/or Research Engineer positions on Software Security
- STMicroelectronics
- [M2 internship] Self-Stabilization in TVG
