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

2020 – today

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

2010 – 2019

see FAQ

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

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

2000 – 2009

see FAQ

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

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
[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)
[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
[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]
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

1990 – 1999

see FAQ

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

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

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.