News

• NEWS
  • Best Paper Award at NETYS’2020
• Conferences
  • November 18-21, 2020 SSS 2020

Seminars

• Seminars
  • 22 October 2020 Cyril Six: Certified and efficient instruction scheduling. application to interlocked vliw (...)

New publications

• Recent Publications
  • Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
  • Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
  • Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
  • Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Sch"onfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
  • Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures

Jobs and internships

• Jobs and internships
  • Cache analysis
  • Certification of computations over integer polyhedra
  • Certification of Distributed Self-Stabilizing Algorithms Using Coq
  • Certified compilation for security
  • Certified compilation: security and optimization
  • Convex polyhedra in floating point

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Teams
  • Pacss
  • RSD
  • Synchrone
  • Tempo
• Contact
  • Whom to contact
  • How to reach us
• Site Map

• Building Access