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:
Helena - an
explicit model checker for high level Petri nets
Previously:
Neoppod - modelization and validation of the NEO protocol
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
