.:. Listes > Par discipline > Informatique .:.

44 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5

Logiques pour les systèmes temporisés : contrôle et expressivité Chevalier F. École normale supérieure de Cachan - ENS Cachan (25/06/2007), Paul Gastin (Dir.) [tel-00199604 - version 1]

Comportement au jeune âge des matériaux cimentaires - Caractérisation et modélisation chimio-hydro-mécanique du retrait Haouas A. École normale supérieure de Cachan - ENS Cachan (23/01/2007), Micheline Moranville (Directrice) - Vincent Lamour (Encadrant) (Dir.) [tel-00189059 - version 1]

Sécurité des protocoles cryptographiques : aspects logiques et calculatoires Baudet M. École normale supérieure de Cachan - ENS Cachan (16/01/2007), Jean Goubault-Larrecq (Dir.) [tel-00140916 - version 1]

Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones, et techniques de vérification automatique Bertrand N. École normale supérieure de Cachan - ENS Cachan (06/10/2006), Philippe Schnoebelen (Dir.) [tel-00132080 - version 1]

Vérification des propriétés temporisées des automates programmables industriels Bel Mokadem H. École normale supérieure de Cachan - ENS Cachan (28/09/2006), Béatrice BÉRARD (Dir.) [tel-00132057 - version 1]

Vérification de protocoles cryptographiques en présence de théories équationnelles Lafourcade P. École normale supérieure de Cachan - ENS Cachan (25/09/2006), Ralf Treinen (Dir.) [tel-00133494 - version 1]

Vérification des protocoles cryptographiques et propriétés algébriques Delaune S. École normale supérieure de Cachan - ENS Cachan (20/06/2006), Hubert Comon-Lundh (Dir.) [tel-00132677 - version 1]

Théories de l'intrus pour la vérification des protocoles cryptographiques Bernat V. École normale supérieure de Cachan - ENS Cachan (01/06/2006), Hubert Comon-Lundh (Dir.) [tel-00132064 - version 1]

Vers un Model Checking avec accélération plate des systèmes hétérogènes Bardin S. École normale supérieure de Cachan - ENS Cachan (20/10/2005), Alain Finkel (Dir.) [tel-00131834 - version 1]

Approche fondée sur les modèles pour java temps-réel Nakhli C. École normale supérieure de Cachan - ENS Cachan (2005-09-02), Antoine Petit (Dir.) [tel-00133652 - version 1]