Home
>
Verimag
>
Verimag
Verimag
La science taille XX’Elles
Best Paper Award at NETYS’2020
News and Highlights (all)
Presentation
Members
Publications
Peer reviewed
Technical Reports
Tools
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Archives
Verimag Seminars
Documents
titre documents joints
Poster
11 February 2010
info document : PDF
793.5 kb
Perspectives
11 February 2010
info document : PDF
1.1 Mb
Rapport d’activités
11 February 2010
info document : PDF
1.8 Mb
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
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani, Djamal Bennouar:
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Cristian Ene, Laurent Mounier, Marie-Laure Potet:
Output-sensitive Information flow analysis
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, Anaïs Durand, Colette Johnen, Franck Petit:
Self-stabilizing Systems in Spite of High Dynamics
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
Browsing
Sections
Verimag
Members
Publications
Tools
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.16
+
AHUNTSIC
[CC License]
info visites
1880301
English
Français