Home
>
Verimag
>
Seminars
>
Seminars
Seminars
Verimag Seminars
Archives
Recorded Mohytos seminars
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, Anaïs Durand, Colette Johnen, Franck Petit:
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Karine Altisen, Stéphane Devismes, Erwan Jahier:
SASA: a SimulAtor of Self-stabilizing Algorithms
Léo Gourdin, Sylvain Boulmé:
Certifying assembly optimizations in Coq by symbolic execution with hash-consing
Guillaume Brau, Mohammed Foughali:
Contract-Based Verification of Model Transformations: A Formally Founded Approach
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
Members
Publications
Tools
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1879897
English
Français