dblp.uni-trier.dewww.uni-trier.de

Jean-François Pradat-Peyre

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EEClaude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre: Concurrent Program Metrics Drawn by Quasar. Ada-Europe 2008: 101-114
18EEChristophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau: Adapting Petri Nets Reductions to Promela Specifications. FORTE 2008: 84-98
2007
17EEClaude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre: Modelling Remote Concurrency with Ada. Ada-Europe 2007: 192-207
16EESami 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
14EEChristophe Pajault, Jean-François Pradat-Peyre: Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC 2006: 347-361
13EESami Evangelista, Jean-François Pradat-Peyre: On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN 2006: 146-165
12EESerge Haddad, Jean-François Pradat-Peyre: New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Processing Letters 16(1): 101-116 (2006)
2005
11EESami Evangelista, Serge Haddad, Jean-François Pradat-Peyre: Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216
10EESami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau: Dynamic Tasks Verification with Quasar. Ada-Europe 2005: 91-104
9EESami Evangelista, Jean-François Pradat-Peyre: Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN 2005: 43-57
2003
8EESami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau: Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe 2003: 168-181
7EESami 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
6EEDenis Poitrenaud, Jean-François Pradat-Peyre: Pre- and Post-agglomerations for LTL Model Checking. ICATPN 2000: 387-408
1999
5EEEric Bruneton, Jean-François Pradat-Peyre: Automatic Verification of Concurrent Ada Programs. Ada-Europe 1999: 146-157
1998
4EEKamel Barkaoui, Jean-François Pradat-Peyre: Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE 1998: 124-133
1997
3EEKamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre: Petri nets based proofs of Ada 95 solution for preference control. APSEC 1997: 238-248
2EEClaude 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

Coauthor Index

1Kamel Barkaoui [1] [3] [4]
2Eric Bruneton [5]
3Véronique Donzeau-Gouge [15]
4Sami Evangelista [7] [8] [9] [10] [11] [13] [16]
5Serge Haddad [11] [12]
6Claude Kaiser [2] [3] [7] [8] [10] [17] [19]
7Elie Najm [15]
8Christophe Pajault [10] [14] [16] [17] [18] [19]
9Denis Poitrenaud [6]
10Pierre Rousseau [7] [8] [10] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)