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
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
- 29 November 2018 Sylvain Boulmé: Importation d'oracles ml impératifs dans du code coq vérifié
- 6 December 2018 Joseph Sifakis: On the nature of autonomy – a rigorous architectural characterization
New publications
- Recent Publications
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Steven De Oliveira: Finding constancy in linear routines
- Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes: Eviter les collisions dans les réseaux 6TiSCH
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem
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
