Accueil
>
Axes
>
Axes
Axes
Ressources partagées
Publications
Projets
Outils
Emplois et stages
Membres
Partenaires
ETiCS
Thèmes de recherche
Le numérique peut-il aider à réduire nos impacts environnementaux ?
Le numérique comme outil de modélisation pour l’environnement
Un numérique frugal
Publications
Projets
Membres
Partenaires
Formal Proofs
Projets
Outils
Emplois et stages
Publications
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
Séminaires
Séminaires
7 novembre 2024
Aurèle Barrière:
Formal verification beyond traditional compilation
2 décembre 2024
Thomas Vigouroux:
Analyses quantitatives pour les attaquants adaptatifs (Phd)
12 décembre 2024
Lucas Bueri:
Tba (Phd)
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Complexité certifiée d'algorithmes autostabilisants en rondes
Sylvain Boulmé:
Construire des logiciels fiables
Joseph Sifakis:
Testing System Intelligence
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
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
[Funded PhD] Quantitative analysis of software security against adaptive attacks
[Master] Adapting Hardware Platforms to a Multi-Core Response Time Analysis Framework
[Master] Analyzing fault parameters triggering timing anomalies
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
[Master] Towards New Frontiers in Multi-Core Response Time Analysis ?
[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 4.2.16
+
AHUNTSIC
[CC License]
info visites
4121958
English
Français