Nombre de documents trouvés : 12 documents

1 - 2

Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés Ahmad M. Université Henri Poincaré - Nancy I (14/11/2011), Adam Cichon (Dir.) [tel-00641866 - version 1]

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis Vigneron L. Université Nancy II (14/11/2011), Laurent Fribourg (Pr.) [tel-00642467 - version 1]

Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés Avanesov T. Université Henri Poincaré - Nancy I (19/09/2011), Michael Rusinowitch (Dir.) [tel-00641237 - version 2]

Contributions à l'analyse de systèmes par approximation d'ensembles réguliers Courbis R. Université de Franche-Comté (15/09/2011), Olga Kouchnarenko (Dir.) [tel-00643842 - version 1]

Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve Ringeissen C. Université Henri Poincaré - Nancy I (27/11/2009), Gilles Dowek (Pr.) [tel-00578600 - version 1]

Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires Cortier V. Institut National Polytechnique de Lorraine - INPL (18/11/2009), Jacques Stern (Pr.) [tel-00578816 - version 1]

Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité Heam P.-C. Université de Franche-Comté (13/11/2009), Jean-Eric Pin (Pr.) [tel-00432301 - version 1]

Contributions à la vérification automatique de protocoles de groupes. Chridi N. Université Henri Poincaré - Nancy I (11/09/2009), Laurent Vigneron, Michael Rusinowitch (Dir.) [tel-00417290 - version 1]

Combinaison de Méthodes de Vérification Zucchelli D. Université Henri Poincaré - Nancy I (22/01/2008), Silvio Ghilardi, Silvio Ranise, Michael Rusinowitch (Dir.) [tel-00329849 - version 1]

Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert Zalinescu E. Université Henri Poincaré - Nancy I (17/12/2007), Véronique Cortier (Dir.) [tel-00338362 - version 1]

1 - 2

L'URL de cette page est : http://tel.archives-ouvertes.fr/lab/cassis/