Home
>
Topics
>
Topics
Topics
Shared Resources
Publications
Projects
Tools
Jobs and Internships
Members
Partners
ETiCS
Research topics
Frugal Digital Systems
Can Digital Technology help reduce environmental impacts?
Digital technologies for modeling the environment
Publications
Members
Partners
Formal Proofs
Tools
Jobs and Internships
Publications
Projects
Members
Partners
PACS
Publications
Projects
Tools
Jobs and Internships
Members
Partners
MOHYTOS
Projects
Tools
Publications
Jobs and Internships
Members
Partners
FETLAS
Publications
Projects
Jobs and Internships
Members
Partners
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
Karine Altisen, Stéphane Devismes, Erwan Jahier:
SASA: a SimulAtor of Self-stabilizing Algorithms
Cyril Six:
Optimized and formally-verified compilation for a VLIW processor
Sylvain Boulmé:
Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Jobs and internships
Jobs and internships
(un)decidability of polyhedral invariant inference
Thèse CIFRE : Cybersecurity - Fault injection attacks
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
verified decomposition of arithmetic operators
Verified global value numbering
[master or PhD] Convex polyhedra in floating point
[master] automatic insertion of countermeasures in a verified compiler
[master] formally verified hash-consing
[Master] Multi-core Interference analysis and Global Scheduling
[Master] Simulation of Distributed Algorithms
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1879774
English
Français