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
Claire Maiza:
Hardware and software analyses for precise and efficient timing analysis
Florence Maraninchi:
Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certified Round Complexity of Self-Stabilizing Algorithms
Dominique Larchey-Wendling, Jean-François Monin:
Proof Pearl: Faithful Computation and Extraction of \mu-Recursive Algorithms in Coq
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
4121953
English
Français