| 2008 |
|---|
| 19 | EE | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar.
Ada-Europe 2008: 101-114 |
| 18 | EE | Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications.
FORTE 2008: 84-98 |
| 2007 |
|---|
| 17 | EE | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada.
Ada-Europe 2007: 192-207 |
| 16 | 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 |
| 2006 |
|---|
| 15 | | Elie Najm,
Jean-François Pradat-Peyre,
Véronique Donzeau-Gouge:
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.
Springer 2006 |
| 14 | EE | Christophe Pajault,
Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades.
FMICS/PDMC 2006: 347-361 |
| 13 | EE | Sami Evangelista,
Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets.
ICATPN 2006: 146-165 |
| 12 | EE | Serge Haddad,
Jean-François Pradat-Peyre:
New Efficient Petri Nets Reductions for Parallel Programs Verification.
Parallel Processing Letters 16(1): 101-116 (2006) |
| 2005 |
|---|
| 11 | EE | Sami Evangelista,
Serge Haddad,
Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions.
ATVA 2005: 202-216 |
| 10 | EE | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
| 9 | EE | Sami Evangelista,
Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking.
SPIN 2005: 43-57 |
| 2003 |
|---|
| 8 | 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 |
| 7 | 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 |
| 2000 |
|---|
| 6 | EE | Denis Poitrenaud,
Jean-François Pradat-Peyre:
Pre- and Post-agglomerations for LTL Model Checking.
ICATPN 2000: 387-408 |
| 1999 |
|---|
| 5 | EE | Eric Bruneton,
Jean-François Pradat-Peyre:
Automatic Verification of Concurrent Ada Programs.
Ada-Europe 1999: 146-157 |
| 1998 |
|---|
| 4 | EE | Kamel Barkaoui,
Jean-François Pradat-Peyre:
Verification in Concurrent Programming with Petri Nets Structural Techniques.
HASE 1998: 124-133 |
| 1997 |
|---|
| 3 | EE | Kamel Barkaoui,
Claude Kaiser,
Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control.
APSEC 1997: 238-248 |
| 2 | EE | Claude Kaiser,
Jean-François Pradat-Peyre:
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study.
TRI-Ada 1997: 51-65 |
| 1996 |
|---|
| 1 | | Kamel Barkaoui,
Jean-François Pradat-Peyre:
On Liveness and Controlled Siphons in Petri Nets.
Application and Theory of Petri Nets 1996: 57-72 |
