Partners

Sections

• Verimag
• Topics
  • Shared Resources
  • ETiCS
  • Formal Proofs
    • Members
    • Partners
    • Tools
    • Jobs and Internships
    • Publications
    • Projects
  • PACS
  • MOHYTOS
  • FETLAS
• Contact
• Site Map

---

• Building Access

New publications

• Some Recent Publications (Preuves Formelles)
  • Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation
  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
  • Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen: A Decision Procedure for Equivalence Relations (abstract)
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time
  • Cyril Six, Sylvain Boulmé, David Monniaux: Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors

Jobs and internships

• Jobs and internships (Preuves Formelles)
  • Convex polyhedra in floating point
  • Certified compilation for security