Home
>
Topics
>
Formal Proofs
>
Jobs and Internships
>
Jobs and Internships
Jobs and Internships
PhD Thesis
Convex polyhedra in floating point
Certified compilation for security
Jobs in the whole Verimag lab
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
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
Cyril Six, Sylvain Boulmé, David Monniaux:
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
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
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
Contact
|
Site Map
|
Site powered by SPIP 3.1.15
+
AHUNTSIC
[CC License]
info visites
1718215
English
Français