default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-François Pradat-Peyre

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/HaddadP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/HaddadP06
Serge Haddad, Jean-François Pradat-Peyre:
New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Process. Lett. 16(1): 101-116 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip12/AnaniDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/AnaniDP22
Thibault Anani, François Delbot, Jean-François Pradat-Peyre:
Experimental Comparison of Metaheuristics for Feature Selection in Machine Learning in the Medical Context. AIAI (2) 2022: 194-205
2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip12/GrollemundCPD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/GrollemundCPD20
Vincent Grollemund, Gaétan Le Chat, Jean-François Pradat-Peyre, François Delbot:
Manifold Learning for Innovation Funding: Identification of Potential Funding Recipients. AIAI (1) 2020: 119-127
2018
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/codit/ZairiZRP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codit/ZairiZRP18
Sajeh Zairi, Belhassen Zouari, Hamdi Rahal, Jean-François Pradat-Peyre:
A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. CoDIT 2018: 737-742
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/or/BouquetCDCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/or/BouquetCDCP18
Valentin Bouquet, Kymble Christophe, François Delbot, Gaétan Le Chat, Jean-François Pradat-Peyre:
Minimum Dominating Set and Maximum Independent Set for Evaluation of EU Funding Polices in Collaboration Networks. OR 2018: 243-249
2009
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/KaiserP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/KaiserP09
Claude Kaiser, Jean-François Pradat-Peyre:
Weak Fairness Semantic Drawbacks in Java Multithreading. Ada-Europe 2009: 90-104
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HaddadKPPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HaddadKPPT09
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves:
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC 2009: 5018-5025
2008
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/KaiserPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/KaiserPP08
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Concurrent Program Metrics Drawn by Quasar. Ada-Europe 2008: 101-114
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/PajaultPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PajaultPR08
Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications. FORTE 2008: 84-98
2007
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/KaiserPP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/KaiserPP07
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
Modelling Remote Concurrency with Ada. Ada-Europe 2007: 192-207
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/EvangelistaPP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EvangelistaPP07
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/EvangelistaP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/EvangelistaP06
Sami Evangelista, Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN 2006: 146-165
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/PajaultP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/PajaultP06
Christophe Pajault, Jean-François Pradat-Peyre:
Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC 2006: 347-361
2005
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/EvangelistaKPPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/EvangelistaKPPR05
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Dynamic Tasks Verification with Quasar. Ada-Europe 2005: 91-104
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/EvangelistaHP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/EvangelistaHP05
Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre:
Syntactical Colored Petri Nets Reductions. ATVA 2005: 202-216
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EvangelistaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EvangelistaP05
Sami Evangelista, Jean-François Pradat-Peyre:
Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN 2005: 43-57
2003
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/EvangelistaKPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/EvangelistaKPR03
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/EvangelistaKPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/EvangelistaKPR03
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PoitrenaudP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PoitrenaudP00
Denis Poitrenaud, Jean-François Pradat-Peyre:
Pre- and Post-agglomerations for LTL Model Checking. ICATPN 2000: 387-408
1999
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BrunetonP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BrunetonP99
Eric Bruneton, Jean-François Pradat-Peyre:
Automatic Verification of Concurrent Ada Programs. Ada-Europe 1999: 146-157
1998
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/BarkaouiP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/BarkaouiP98
Kamel Barkaoui, Jean-François Pradat-Peyre:
Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE 1998: 124-133
1997
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BarkaouiKP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BarkaouiKP97
Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control. APSEC 1997: 238-248
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/KaiserP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/KaiserP97
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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarkaouiP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarkaouiP96
Kamel Barkaoui, Jean-François Pradat-Peyre:
On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets 1996: 57-72
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CouvreurHP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CouvreurHP91
Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre:
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets 1991: 51-70

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2006
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2006
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. Lecture Notes in Computer Science 4229, Springer 2006, ISBN 3-540-46219-8 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.