Networked Embedded Systems

Rubriques

• Verimag
• Axes
• Contact
• Plan du site

---

• Acces au Batiment

Actualités

Séminaires

• Séminaires
  • 27 octobre 2022 Hugo Gimbert: Les algorithmes de parcoursup
  • 24 novembre 2022 Xavier Denis: Deductive verification of higher-order rust programs

Nouvelles publications

• Quelques Publications Récentes
  • Léo Gourdin, Sylvain Boulmé: Certifying assembly optimizations in Coq by symbolic execution with hash-consing
  • Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
  • Salim Chedida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga: Learning and analysis of sensors behavior in IoT systems using statistical model checking

Offres d'emploi et stages

• Offres d'emploi et stages
  • Thèse CIFRE : Cybersecurity - Fault injection attacks
  • Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems