Thèmes de recherche Synchrone

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
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
  • Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem: Formal Modelling and Security Analysis of Inter-Operable Systems
  • Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
  • Léo Gourdin, Sylvain Boulmé: Certifying assembly optimizations in Coq by symbolic execution with hash-consing

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

Rubriques

• Verimag
• Axes
• Contact
• Plan du site

---

• Acces au Batiment