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
CADE-24 Skolem Award
Séminaires
Séminaires
12 octobre 2023
Nicola Gigante:
Temporal logics modulo theories for infinite-state verification
19 octobre 2023
Michael Foster:
Active inference of extended finite state machines without reset
Nouvelles publications
Quelques Publications Récentes
Marius Bozga, Lucas Bueri, Radu Iosif:
Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems
Joseph Sifakis:
Testing System Intelligence
Marius Bozga, Lucas Bueri, Radu Iosif:
On an Invariance Problem for Parameterized Concurrent Systems
Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond:
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
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
Security counter-measures in a certified optimizing compiler
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] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
[Master] Simulation of Distributed Algorithms
[Master]Leakage in presence of an active and adaptive adversary
[PhD] Logical Foundations of Self-Adapting Distributed Systems
[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
2087479
English
Français