| 2008 |
|---|
| 7 | EE | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar.
Ada-Europe 2008: 101-114 |
| 6 | EE | Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications.
FORTE 2008: 84-98 |
| 2007 |
|---|
| 5 | EE | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada.
Ada-Europe 2007: 192-207 |
| 4 | 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 |
| 3 | EE | Sami Evangelista,
Christophe Pajault:
Some Solutions to the Ignoring Problem.
SPIN 2007: 76-94 |
| 2006 |
|---|
| 2 | EE | Christophe Pajault,
Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades.
FMICS/PDMC 2006: 347-361 |
| 2005 |
|---|
| 1 | EE | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
