Archives

News

• NEWS
  • Joseph Sifakis Understanding and Changing the World, From Information to Knowledge and Intelligence

Seminars

• Seminars
  • 29 September 2022 Merigoux Denis: Rules, computation and politics: scrutinizing unnoticed programming choices in french (...)
  • 27 October 2022 Hugo Gimbert: Les algorithmes de parcoursup

New publications

• Some Recent Publications
  • Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
  • Guillaume Brau, Mohammed Foughali: Contract-Based Verification of Model Transformations: A Formally Founded Approach
  • Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
  • Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Lamani Anissa: Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality

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
• Topics
  • Shared Resources
  • ETiCS
  • Formal Proofs
  • PACS
  • MOHYTOS
  • FETLAS
• Contact
• Site Map

---

• Building Access