653 articles – 968 Notices  [english version]
.:. Consultation > Par type de document > Thèses .:.
37 documents classés par :
Première Page Page Précédente 1 - 2 - 3 - 4 Page Suivante Page Finale
fulltext access Réécriture et Modularité pour les Politiques de Sécurité
Santana De Oliveira A.
Université Henri Poincaré - Nancy I (31/03/2008), Claude KIRCHNER (Dir.) [tel-00335079 - version 1]
fulltext access Développement prouvé de structures de données sans verrou
Fejoz L.
Université Henri Poincaré - Nancy I (26/01/2008), Stephan Merz (Dir.) [tel-00594978 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs
Hördegen H.
Université Henri Poincaré - Nancy I (29/11/2007), Michaël Rusinowitch (Dir.) [tel-00193300 - version 1]
fulltext access Analyse de la complexité des programmes par interprétation sémantique
Pechoux R.
Institut National Polytechnique de Lorraine - INPL (14/11/2007), Jean-Yves Marion (Dir.) [tel-00321917 - version 1]
fulltext access Abstractions booléennes pour la vérification des systèmes temps-réel
Kang E.
Université Henri Poincaré - Nancy I (08/11/2007), Stephan Merz (Dir.) [tel-00195096 - version 1]
fulltext access Preuve par induction dans le calcul des séquents modulo
Nahon F.
Université Henri Poincaré - Nancy I (25/10/2007), Claude Kirchner (Dir.) [tel-00259803 - version 2]
fulltext access Terminaison en temps moyen fini de systèmes de règles probabilistes
Garnier F.
Institut National Polytechnique de Lorraine - INPL (17/09/2007), Claude Kirchner (Dir.) [tel-00186774 - version 1]
fulltext access Structures et modèles de calculs de réécriture
Faure G.
Université Henri Poincaré - Nancy I (05/07/2007), Claude Kirchner (Dir.) [tel-00164576 - version 1]