Generative Families of Positive Invariants in Coloured Nets Sub-Classes. - Jean-Michel Couvreur; Serge Haddad; Jean-François Pradat-Peyre (Applications and Theory of Petri Nets, 1991)

On Liveness and Controlled Siphons in Petri Nets. - Kamel Barkaoui; Jean-François Pradat-Peyre (Application and Theory of Petri Nets, 1996)

Petri nets based proofs of Ada 95 solution for preference control. - Kamel Barkaoui; Claude Kaiser; Jean-François Pradat-Peyre (APSEC, 1997)

Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study. - Claude Kaiser; Jean-François Pradat-Peyre (TRI-Ada, 1997)

Verification in Concurrent Programming with Petri Nets Structural Techniques. - Kamel Barkaoui; Jean-François Pradat-Peyre (HASE, 1998)

Automatic Verification of Concurrent Ada Programs. - Eric Bruneton; Jean-François Pradat-Peyre (Ada-Europe, 1999)

Pre- and Post-agglomerations for LTL Model Checking. - Denis Poitrenaud; Jean-François Pradat-Peyre (ICATPN, 2000)

Quasar: A New Tool for Concurrent Ada Programs Analysis. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2003)

Verifying linear time temporal logic properties of concurrent Ada programs with quasar. - Sami Evangelista; Claude Kaiser; Jean-François Pradat-Peyre; Pierre Rousseau (SIGAda, 2003)

Dynamic Tasks Verification with Quasar. - Sami Evangelista; Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (Ada-Europe, 2005)

Syntactical Colored Petri Nets Reductions. - Sami Evangelista; Serge Haddad; Jean-François Pradat-Peyre (ATVA, 2005)

Memory Efficient State Space Storage in Explicit Software Model Checking. - Sami Evangelista; Jean-François Pradat-Peyre (SPIN, 2005)

On the Computation of Stubborn Sets of Colored Petri Nets. - Sami Evangelista; Jean-François Pradat-Peyre (ICATPN, 2006)

Distributed Colored Petri Net Model-Checking with Cyclades. - Christophe Pajault; Jean-François Pradat-Peyre (FMICS/PDMC, 2006)

New Efficient Petri Nets Reductions for Parallel Programs Verification. - Serge Haddad; Jean-François Pradat-Peyre (Parallel Process. Lett., 2006)

Modelling Remote Concurrency with Ada. - Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre (Ada-Europe, 2007)

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. - Sami Evangelista; Christophe Pajault; Jean-François Pradat-Peyre (FORTE, 2007)

Concurrent Program Metrics Drawn by Quasar. - Claude Kaiser; Christophe Pajault; Jean-François Pradat-Peyre (Ada-Europe, 2008)

Adapting Petri Nets Reductions to Promela Specifications. - Christophe Pajault; Jean-François Pradat-Peyre; Pierre Rousseau (FORTE, 2008)

Weak Fairness Semantic Drawbacks in Java Multithreading. - Claude Kaiser; Jean-François Pradat-Peyre (Ada-Europe, 2009)

Efficient state-based analysis by introducing bags in Petri nets color domains. - Serge Haddad; Fabrice Kordon; Laure Petrucci; Jean-François Pradat-Peyre; Nicolas Trèves (ACC, 2009)

A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. - Sajeh Zairi; Belhassen Zouari; Hamdi Rahal; Jean-François Pradat-Peyre (CoDIT, 2018)

Minimum Dominating Set and Maximum Independent Set for Evaluation of EU Funding Polices in Collaboration Networks. - Valentin Bouquet; Kymble Christophe; François Delbot; Gaétan Le Chat; Jean-François Pradat-Peyre (OR, 2018)

Manifold Learning for Innovation Funding: Identification of Potential Funding Recipients. - Vincent Grollemund; Gaétan Le Chat; Jean-François Pradat-Peyre; François Delbot (AIAI (1), 2020)

Experimental Comparison of Metaheuristics for Feature Selection in Machine Learning in the Medical Context. - Thibault Anani; François Delbot; Jean-François Pradat-Peyre (AIAI (2), 2022)

Knowledge distillation in federated learning: a comprehensive survey. - Hassan Salman; Chamseddine Zaki; Nour Charara; Sonia Guehis; Jean-François Pradat-Peyre; Abbass Nasser (Discov. Comput., 2025)