 | 2012 |
|---|
| 19 |       | Silien Hong,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Sami Evangelista:
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
T. Petri Nets and Other Models of Concurrency 5: 121-140 (2012) |
| 2011 |
|---|
| 18 | | Sami Evangelista,
Laure Petrucci,
Samir Youcef:
Parallel Nested Depth-First Searches for LTL Model Checking.
ATVA 2011: 381-396 |
| 17 | | Leila Abidi,
Christophe Cérin,
Sami Evangelista:
A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware.
IEEE SCC 2011: 496-503 |
| 2010 |
|---|
| 16 | | Christine Choppy,
Anna Dedova,
Sami Evangelista,
Silien Hong,
Kais Klai,
Laure Petrucci:
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.
Petri Nets 2010: 145-164 |
| 15 | | Sami Evangelista,
Christophe Pajault:
Solving the ignoring problem for partial order reduction.
STTT 12(2): 155-170 (2010) |
| 14 | | Sami Evangelista,
Lars Michael Kristensen:
Search-Order Independent State Caching.
T. Petri Nets and Other Models of Concurrency 4: 21-41 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page