 | 2010 |
|---|
| 8 |       | Sami Evangelista,
Christophe Pajault:
Solving the ignoring problem for partial order reduction.
STTT 12(2): 155-170 (2010) |
| 2008 |
|---|
| 7 | | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar.
Ada-Europe 2008: 101-114 |
| 6 | | Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications.
FORTE 2008: 84-98 |
| 2007 |
|---|
| 5 | | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada.
Ada-Europe 2007: 192-207 |
| 4 | | 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 |
| 3 | | Sami Evangelista,
Christophe Pajault:
Some Solutions to the Ignoring Problem.
SPIN 2007: 76-94 |
| 2006 |
|---|
| 2 | | Christophe Pajault,
Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades.
FMICS/PDMC 2006: 347-361 |
| 2005 |
|---|
| 1 | | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
Data released under the ODC-BY 1.0 license — See also our legal information page