Sami Evangelista
Since Sept 2009 I have a postdoc position at the
LIPN in the
LCR
team (Logic, Computation and Reasoning).
I am working on the Neoppod project.
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 32 13 |
| 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
- ASAP
- a graphical and extensible model
checker for colored Petri nets based on eclipse
Previously:
- Quasar
- an automatic tool for the verification of concurrent Ada software based on high level Petri nets
Last
update: Sept 2th, 2009.