| 2008 |
|---|
| 10 | EE | Sami Evangelista:
Dynamic Delayed Duplicate Detection for External Memory Model Checking.
SPIN 2008: 77-94 |
| 2007 |
|---|
| 9 | EE | Sami Evangelista,
Christophe Pajault,
Jean-François Pradat-Peyre:
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.
FORTE 2007: 177-195 |
| 8 | EE | Sami Evangelista,
Christophe Pajault:
Some Solutions to the Ignoring Problem.
SPIN 2007: 76-94 |
| 2006 |
|---|
| 7 | EE | Sami Evangelista,
Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets.
ICATPN 2006: 146-165 |
| 2005 |
|---|
| 6 | EE | Sami Evangelista,
Serge Haddad,
Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions.
ATVA 2005: 202-216 |
| 5 | EE | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
| 4 | EE | Sami Evangelista:
High Level Petri Nets Analysis with Helena.
ICATPN 2005: 455-464 |
| 3 | EE | Sami Evangelista,
Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking.
SPIN 2005: 43-57 |
| 2003 |
|---|
| 2 | EE | Sami Evangelista,
Claude Kaiser,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Quasar: A New Tool for Concurrent Ada Programs Analysis.
Ada-Europe 2003: 168-181 |
| 1 | EE | Sami Evangelista,
Claude Kaiser,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Verifying linear time temporal logic properties of concurrent Ada programs with quasar.
SIGAda 2003: 17-24 |
