Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité - Jérémy Dubreil

• Résumé - hal

Dependability Evaluation of Cluster-based Systems - Emmanuelle Anceaume , Francisco Brasileiro , Romaric Ludinard , Bruno Sericola , Frédéric Tronel

• Résumé - hal.inria.fr

Hybrid Inter-Domain QoS Routing based on Look-Ahead Information - Ahmed Frikha , Samer Lahoud

• Résumé - hal.inria.fr

Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués - Yann Glouche

• Résumé - hal

Contributions à la segmentation de séquences d'images au sens du mouvement dans un contexte semi-automatique - Matthieu Fradet

• Résumé - hal

The Multiplicative Power of Consensus Numbers - Damien Imbs , Michel Raynal

• Résumé - manuscrit.pdf - hal.inria.fr

The x-Wait-freedom Progress Condition - Damien Imbs , Michel Raynal

• Résumé - manuscrit.pdf - hal.inria.fr

Anonymous Asynchronous Systems: The Case of Failure Detectors - François Bonnet , Michel Raynal

• Résumé - manuscrit.pdf - hal.inria.fr

Analyses automatiques pour le test de programmes orientés aspect - Romain Delamare

• Résumé - manuscrit.pdf

Reachability analysis of rewriting for software verification - Thomas Genet

• Visionner la vidéo

La sécurité des applications Web : " les enjeux de l'engineering des codes" - François Bodin , Philippe Ensarguet , Frédéric Cuppens , Thomas Jensen , Frédéric Besson , Christophe Levointurier , Marianne Bussière , Cédric Fournet , Marc Schönefeld

• Visionner la vidéo

7ème rencontres autour de la plate-forme bio-informatique - Olivier Collin , Véronique Receveur-Bréchot , Gurvan Michel , Dominique Lavenier , Guillaume Launay , Olivier Sallou

• Visionner la vidéo

Propal ADBU

Suite >>