Home
>
Topics
>
Formal Proofs
Partners
Current Collaborations
Academic partners
LaBRI
:
ESTATE
LIP6
:
ESTATE
Industrial partners
Kalray, Grenoble, France
:
KALRAY-CompCert
MathWorks
:
Convex polyhedra in floating point
STMicroelectronics/Grenoble
:
Certified compilation for security
Past Collaborations
Past Academic partners
INRIA/Gallium
:
VOCaL (The Verified OCaml Library)
LRI Orsay / INRIA
:
VOCaL (The Verified OCaml Library)
Past Industrial Partners
Kalray, Grenoble, France
:
the KVX CompCert Compiler
OCamlPro
:
VOCaL (The Verified OCaml Library)
TrustInSoft
:
VOCaL (The Verified OCaml Library)
Browsing
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)
Sébastien Michelland, Pierre Corbineau, Lionel Rieg, Karine Altisen:
A Decision Procedure for Equivalence Relations (abstract)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Du discrètement continu au continûment discret
Cyril Six, Sylvain Boulmé, David Monniaux:
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
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
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Exact Worst Case Self-Stabilization Time
Jobs and internships
Jobs and internships (Preuves Formelles)
Convex polyhedra in floating point
Certified compilation for security
Contact
|
Site Map
|
Site powered by SPIP 3.1.15
+
AHUNTSIC
[CC License]
info visites
1718212
English
Français