Accueil
>
Verimag
>
Thèse en cours
Daniel DE CARVALHO
Daniel DE CARVALHO
Navigation
Rubriques
Verimag
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Axes
Contact
Plan du site
Acces au Batiment
Nouvelles publications
Quelques Publications Récentes (Preuves Formelles)
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Complexité certifiée d'algorithmes autostabilisants en rondes
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Certification of an exact worst-case self-stabilization time
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes:
Self-stabilizing Synchronous Unison in Directed Networks
Offres d'emploi et stages
Offres d'emploi et stages (Preuves Formelles)
[master/PhD] Formally verified optimizations for safety-critical embedded code
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2086553
English
Français