Accueil
>
Axes
>
Axes
Axes
Ressources partagées
Publications
Projets
Outils
Emplois et stages
Membres
Partenaires
ETiCS
Thèmes de recherche
Un numérique frugal
Le numérique peut-il aider à réduire nos impacts environnementaux ?
Le numérique comme outil de modélisation pour l’environnement
Publications
Membres
Partenaires
Formal Proofs
Outils
Emplois et stages
Publications
Projets
Membres
Partenaires
PACS
Publications
Projets
Outils
Emplois et stages
Membres
Partenaires
MOHYTOS
Projets
Outils
Publications
Emplois et stages
Membres
Partenaires
FETLAS
Publications
Projets
Emplois et stages
Membres
Partenaires
Actualités
ACTUALITÉS
Poste de maître de conférences VERIMAG / UFR IM2AG
Séminaires
Séminaires
28 avril 2023
Etienne Boespflug:
Outils pour l’analyse de code et de contre-mesures pour l'injection de fautes (...) (Phd)
28 avril 2023
Thomas Jensen:
An information flow logic based on partial equivalence relations
4 mai 2023
Joseph Sifakis:
Artificial intelligence and autonomous systems
Nouvelles publications
Quelques Publications Récentes
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin:
Model-checking of space systems designed with TASTE/SDL
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem:
Formal Modelling and Security Analysis of Inter-Operable Systems
Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
Offres d'emploi et stages
Offres d'emploi et stages
[Master] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Bourses PERSYVAL de M2
Measures against speculative attacks in a certified optimizing compiler
Poste de maître de conférences VERIMAG / UFR IM2AG
Security counter-measures in a certified optimizing compiler
Thèse CIFRE : Cybersecurity - Fault injection attacks
Verified hash tables and hash-consing
[master/PhD] Formally verified optimizations for safety-critical embedded code
[master/PhD] Static analysis of “pseudo-LRU” caches
[Master] Analyzing fault parameters triggering timing anomalies
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
[Master] Simulation of Distributed Algorithms
[Master] Sûreté des essaims de robots mobiles
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
Navigation
Rubriques
Verimag
Axes
Ressources partagées
ETiCS
Formal Proofs
PACS
MOHYTOS
FETLAS
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2014351
English
Français