info dans groupe team

info articles lies mot


VPL (Verimag/Verified Polyhedron Library)

Tuesday 20 October 2020 by boulme

(un)decidability of polyhedral invariant inference

Wednesday 31 August 2022 by monniaux


Thursday 23 April 2009 by jahier


Thursday 27 August 2009 by jahier

by kinds

Wednesday 7 October 2009 by jahier

Certified compilation for security

Wednesday 1 September 2021 by monniaux


Tuesday 31 December 2024 by jahier


Friday 31 December 2021 by stef


Tuesday 6 July 2021 by monniaux, boulme

Karine Altisen’s Publications

Monday 9 July 2012 by karine


Friday 1 January 2016 by Devismes, karine


Tuesday 20 October 2020 by boulme

the Chamois CompCert Compiler

Tuesday 20 October 2020 by boulme, monniaux

The Impure Library

Friday 9 October 2020 by boulme, karine

The VPL Tactic

Tuesday 20 October 2020 by boulme

verified decomposition of arithmetic operators

Wednesday 31 August 2022 by monniaux

Verified global value numbering

Wednesday 31 August 2022 by monniaux

VOCaL (The Verified OCaml Library)

Monday 30 September 2019 by monin

[Funded PhD/PostDoc] Countermeasures to (transient) Side-Channel Attacks in a Formally Verified Compiler

Monday 25 March 2030 by Bruno Ferres, monniaux

[L3/M1/M2 Internship] Topics in Formally Verified Compilation

Wednesday 1 June 2022 by boulme

[master or PhD] Convex polyhedra in floating point

Thursday 1 September 2022 by monniaux

[master/PhD] Formally verified optimizations for safety-critical embedded code

Wednesday 15 November 2023 by monniaux

[master] automatic insertion of countermeasures in a verified compiler

Wednesday 31 August 2022 by monniaux

[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq

Monday 30 October 2023 by Devismes

[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence

Sunday 15 October 2023 by Pierre Corbineau

[master] formally verified hash-consing

Wednesday 31 August 2022 by monniaux

[Master] Sûreté des essaims de robots mobiles

Thursday 31 August 2023 by Lionel Rieg

Other keywords in this group

Other groups of keywords


Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3986757