Seminars

News

• NEWS
  • Susanne Graf received the 2022 CAV Award

Seminars

• Seminars
  • 27 October 2022 Hugo Gimbert: Les algorithmes de parcoursup
  • 24 November 2022 Xavier Denis: Deductive verification of higher-order rust programs

New publications

• Some Recent Publications
  • Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem: Formal Modelling and Security Analysis of Inter-Operable Systems
  • David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
  • Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
  • Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-sensitive Information flow analysis

Jobs and internships

• Jobs and internships
  • Thèse CIFRE : Cybersecurity - Fault injection attacks
  • Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Ongoing Phd Thesis
  • Jobs and Internships
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
    • Archives
  • Documents
• Topics
• Contact
• Site Map

---

• Building Access