DESS DLS
(Développement de Logiciels Sûrs)
Promotion 2001-2002
Promotion 2000-2001
Promotion 1999-2000
Annuaire
| Etudiants | Emails | Stages | Sujets |
| Nadir AMIRAT | nadir.amirat@laposte.net | ALSTOM Transport | Développement d'une base de règles de preuve |
| Cédric BARTHOLOMEY | c.bart@caramail.com | Banque Populaire | Etude, évaluation puis implémentation des pki en freeware |
| Baptiste BERMOND | baptiste@bermond.net | ALSTOM Transport | Représentation de spécifications B en UML |
| Aurélie BOISNEAU | aboisneau@yahoo.fr | MAPSYS | Tests, recettes, analyse des bugs, retour vers les specs et lecture critique de code |
| Younes BOUROGAA | leb__@hotmail.fr | ALSTOM Transport | Démonstration de la couverture des tests par la méthode B |
| Mohammed CHEROUK | mcamine@caramail.com | - | - |
| Nicolas CLEMENT | CyberNico@wanadoo.fr | SafeLogic | Java pour un logiciel de crytptographie de mails |
| Arnaud DESPRES | despresa@ifrance.com | RATP | Mise à plat de modules B à l'aide d'un langage de resolution de contraintes (ex. Prolog) |
| Fatou DIOP | fcdiop@yahoo.com | SURLOG S.A. | - |
| Jean-Yves ELECTON | j.electon@libertysurf.fr | - | - |
| Alexiane GAUDEL | alexiane@free.fr | CEA | Catalogue d'exemples significatis et état de l'art des outils de génération de tests |
| Mounir MEBAREK | Mounir-Home@netcourrier.com | ALPHALINK | Développement autour d'un noyai Linux2.4, d'un ensemble de logiciels applicatifs dans le domaine du réseau et de la sécurité |
| Hassan MERAZI | merazi_h@yahoo.fr | ALSTOM Transport | Analyse des Effets des Erreurs du Logiciel en utilisant l'outil AGFL dans le cadre d'un projet de developpement d'une plate-forme securitaire. |
| Riad MERAZI | merazi_riad@yahoo.fr | - | - |
| Jean-Luc MERCADIER | jl-m@libertysurf.fr | TNI-Valiosys | Réalisation et int'égration d'un symbolic model checker basé sur les binary decision diagram |
| Nadia MEZIANI | ninamez@yahoo.fr | Schlumbergersema | Formalisation d'un outil de validation dans le domaine des cartes à puces |
| Ahmed OULD | ahmedvallam@hotmail.com | ALSTOM Transport | Outils PolySpace et RTRT |
| Patrice PULLIAT | Patrice_Pulliat@yahoo.fr | SAGEM | LDAP |
| Lionel ROBIN | robin_lionel@yahoo.fr | TEAMLOG | Amélioration d'un IDS par rapport à certaines attaques en C |
| Ghyzlen ZERROUKI | ghyzlen@caramail.com | - | - |
Dernière modification : 13.10.2001
Ecrire à l'auteur