 | 2009 |
|---|
| 13 |       | Sami Evangelista,
Lars Michael Kristensen:
Dynamic State Space Partitioning for External Memory Model Checking.
FMICS 2009: 70-85 |
| 12 | | Michael Westergaard,
Sami Evangelista,
Lars Michael Kristensen:
ASAP: An Extensible Platform for State Space Analysis.
Petri Nets 2009: 303-312 |
| 11 | | Sami Evangelista,
Michael Westergaard,
Lars Michael Kristensen:
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.
T. Petri Nets and Other Models of Concurrency 3: 189-215 (2009) |
| 2008 |
|---|
| 10 | | Sami Evangelista:
Dynamic Delayed Duplicate Detection for External Memory Model Checking.
SPIN 2008: 77-94 |
| 2007 |
|---|
| 9 | | 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 | | Sami Evangelista,
Christophe Pajault:
Some Solutions to the Ignoring Problem.
SPIN 2007: 76-94 |
| 2006 |
|---|
| 7 | | Sami Evangelista,
Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets.
ICATPN 2006: 146-165 |
| 2005 |
|---|
| 6 | | Sami Evangelista,
Serge Haddad,
Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions.
ATVA 2005: 202-216 |
| 5 | | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
| 4 | | Sami Evangelista:
High Level Petri Nets Analysis with Helena.
ICATPN 2005: 455-464 |
| 3 | | Sami Evangelista,
Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking.
SPIN 2005: 43-57 |
| 2003 |
|---|
| 2 | | 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 | | 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 |
