Jean-François Pradat-Peyre

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 4

Top Topics

Manifold Learning

Experimental Comparison

Top Venues

Publications

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)
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)
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)
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)
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)
Claude Kaiser, Jean-François Pradat-Peyre
Weak Fairness Semantic Drawbacks in Java Multithreading. Ada-Europe (2009)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Concurrent Program Metrics Drawn by Quasar. Ada-Europe (2008)
Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Adapting Petri Nets Reductions to Promela Specifications. FORTE (2008)
Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. FORTE (2007)
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
Modelling Remote Concurrency with Ada. Ada-Europe (2007)
Serge Haddad, Jean-François Pradat-Peyre
New Efficient Petri Nets Reductions for Parallel Programs Verification. Parallel Process. Lett. 16 (1) (2006)
Sami Evangelista, Jean-François Pradat-Peyre
On the Computation of Stubborn Sets of Colored Petri Nets. ICATPN (2006)
Christophe Pajault, Jean-François Pradat-Peyre
Distributed Colored Petri Net Model-Checking with Cyclades. FMICS/PDMC (2006)
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Dynamic Tasks Verification with Quasar. Ada-Europe (2005)
Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
Syntactical Colored Petri Nets Reductions. ATVA (2005)
Sami Evangelista, Jean-François Pradat-Peyre
Memory Efficient State Space Storage in Explicit Software Model Checking. SPIN (2005)
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)
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
Quasar: A New Tool for Concurrent Ada Programs Analysis. Ada-Europe (2003)
Denis Poitrenaud, Jean-François Pradat-Peyre
Pre- and Post-agglomerations for LTL Model Checking. ICATPN (2000)
Eric Bruneton, Jean-François Pradat-Peyre
Automatic Verification of Concurrent Ada Programs. Ada-Europe (1999)
Kamel Barkaoui, Jean-François Pradat-Peyre
Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE (1998)
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)
Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre
Petri nets based proofs of Ada 95 solution for preference control. APSEC (1997)
Kamel Barkaoui, Jean-François Pradat-Peyre
On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets (1996)
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)