Sami Evangelista
Je suis maître de
conférences à l'Université Paris 13, membre de
l'équipe LCR
(dans
l'axe Spécification
et vérification)
au LIPN, et enseignant
à l'IUT de Villetaneuse.
Contact
Adresse
Laboratoire d'Informatique de l'Université Paris Nord
Institut Galilée
Avenue J.B. Clément
93430 Villetaneuse
FRANCE
Téléphone
01-49-40-36-62
Email
prenom.nom (chez) lipn.univ-paris13.fr
Enseignement
En 2011-2012 :
R2 - Réseaux locaux, DUT Réseaux et Télécoms, première année
TR2 - Technologies de l'Internet, DUT Réseaux et Télécoms, deuxième année
Réseaux, DUT Informatique, formation continue
Administration des systèmes, DUT Informatique, formation continue
En 2010-2011 :
R1 - Concepts généraux des réseaux, DUT Réseaux et Télécoms, première année
R2 - Réseaux locaux, DUT Réseaux et Télécoms, première année
Réseaux, DUT Informatique, formation continue
Administration des systèmes, DUT Informatique, formation continue
Recherche
Quelques mots-clés : systèmes
répartis, model checking, réseau de Petri,
réseaux de Petri de haut niveau/colorés.
Publications :
c'est là. Vous y
trouverez également les PDF et slides des présentations.
Projets
En cours :
Helena - model checker de réseaux
de Petri colorés
Avant :
Neoppod - modélisation et vérification d'un
protocole de base de données réparti
ASAP
- outil de vérication générique et extensible
basé sur eclipse
Quasar - outil de
vérification automatique pour les programmes Ada
concurrents
