 | 2009 |
|---|
| 20 |       | Claude Kaiser,
Jean-François Pradat-Peyre:
Weak Fairness Semantic Drawbacks in Java Multithreading.
Ada-Europe 2009: 90-104 |
| 2008 |
|---|
| 19 | | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar.
Ada-Europe 2008: 101-114 |
| 18 | | Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications.
FORTE 2008: 84-98 |
| 2007 |
|---|
| 17 | | Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada.
Ada-Europe 2007: 192-207 |
| 16 | | 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 | | Christophe Pajault,
Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades.
FMICS/PDMC 2006: 347-361 |
| 13 | | Sami Evangelista,
Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets.
ICATPN 2006: 146-165 |
| 12 | | 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 | | Sami Evangelista,
Serge Haddad,
Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions.
ATVA 2005: 202-216 |
| 10 | | Sami Evangelista,
Claude Kaiser,
Christophe Pajault,
Jean-François Pradat-Peyre,
Pierre Rousseau:
Dynamic Tasks Verification with Quasar.
Ada-Europe 2005: 91-104 |
| 9 | | Sami Evangelista,
Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking.
SPIN 2005: 43-57 |
| 2003 |
|---|
| 8 | | 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 | | 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 | | Denis Poitrenaud,
Jean-François Pradat-Peyre:
Pre- and Post-agglomerations for LTL Model Checking.
ICATPN 2000: 387-408 |
| 1999 |
|---|
| 5 | | Eric Bruneton,
Jean-François Pradat-Peyre:
Automatic Verification of Concurrent Ada Programs.
Ada-Europe 1999: 146-157 |
| 1998 |
|---|
| 4 | | Kamel Barkaoui,
Jean-François Pradat-Peyre:
Verification in Concurrent Programming with Petri Nets Structural Techniques.
HASE 1998: 124-133 |
| 1997 |
|---|
| 3 | | 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 | | 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 |
