Sami Evangelista
I am a lecturer at Paris 13
University, member of
the LIPN in the
LCR (Logic,
Computation and Reasoning) team, working more specifically in
Specification and verification axis of this team.
Contact
Address
Laboratoire d'Informatique de l'Université Paris Nord
Institut Galilée
Avenue J.B. Clément
93430 Villetaneuse
FRANCE
Phone
[+33 1]/[01] 49 40 36 62
Email
first-name.last-name at lipn.univ-paris13.fr
Research
My researchs deal with distributed systems, model checking, Petri
nets, high level Petri
nets.
Publications
Click here
for a list of my publications. Most of these can be downloaded here.
Projects
Currently:
Neoppod - modelization and validation of the NEO protocol
Helena - an
explicit model checker for high level Petri nets
Previously:
ASAP
- a graphical and extensible model checker for colored Petri nets
based on eclipse
Quasar - an automatic tool
for the verification of concurrent Ada software based on high level
Petri nets
