Jean-François Pradat-Peyre

27 papers B 1C 6Misc 6Journal 2Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Knowledge distillation in federated learning: a comprehensive survey.
Discov. Comput.
Hassan Salman, Chamseddine Zaki, Nour Charara, Sonia Guehis, Jean-François Pradat-Peyre, Abbass Nasser
2022 — conf
Experimental Comparison of Metaheuristics for Feature Selection in Machine Learning in the Medical Context.
AIAI (2)
Thibault Anani, François Delbot, Jean-François Pradat-Peyre
2020 — conf
Manifold Learning for Innovation Funding: Identification of Potential Funding Recipients.
AIAI (1)
Vincent Grollemund, Gaétan Le Chat, Jean-François Pradat-Peyre, François Delbot
2018 C conf
A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures.
CoDIT
Sajeh Zairi, Belhassen Zouari, Hamdi Rahal, Jean-François Pradat-Peyre
2018 — conf
Minimum Dominating Set and Maximum Independent Set for Evaluation of EU Funding Polices in Collaboration Networks.
OR
Valentin Bouquet, Kymble Christophe, François Delbot, Gaétan Le Chat, Jean-François Pradat-Peyre
2009 C conf
Efficient state-based analysis by introducing bags in Petri nets color domains.
ACC
Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
2009 Misc conf
Weak Fairness Semantic Drawbacks in Java Multithreading.
Ada-Europe
Claude Kaiser, Jean-François Pradat-Peyre
2008 C conf
Adapting Petri Nets Reductions to Promela Specifications.
FORTE
Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
2008 Misc conf
Concurrent Program Metrics Drawn by Quasar.
Ada-Europe
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
2007 C conf
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.
FORTE
Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre
2007 Misc conf
Modelling Remote Concurrency with Ada.
Ada-Europe
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre
2006 — conf
Distributed Colored Petri Net Model-Checking with Cyclades.
FMICS/PDMC
Christophe Pajault, Jean-François Pradat-Peyre
2006 C ed.
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006.
FORTE
Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge
2006 J jnl
New Efficient Petri Nets Reductions for Parallel Programs Verification.
Parallel Process. Lett.
Serge Haddad, Jean-François Pradat-Peyre
2006 — conf
On the Computation of Stubborn Sets of Colored Petri Nets.
ICATPN
Sami Evangelista, Jean-François Pradat-Peyre
2005 Misc conf
Dynamic Tasks Verification with Quasar.
Ada-Europe
Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
2005 — conf
Memory Efficient State Space Storage in Explicit Software Model Checking.
SPIN
Sami Evangelista, Jean-François Pradat-Peyre
2005 B conf
Syntactical Colored Petri Nets Reductions.
ATVA
Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
2003 Misc conf
Quasar: A New Tool for Concurrent Ada Programs Analysis.
Ada-Europe
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
2003 — conf
Verifying linear time temporal logic properties of concurrent Ada programs with quasar.
SIGAda
Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
2000 — conf
Pre- and Post-agglomerations for LTL Model Checking.
ICATPN
Denis Poitrenaud, Jean-François Pradat-Peyre
1999 Misc conf
Automatic Verification of Concurrent Ada Programs.
Ada-Europe
Eric Bruneton, Jean-François Pradat-Peyre
1998 — conf
Verification in Concurrent Programming with Petri Nets Structural Techniques.
HASE
Kamel Barkaoui, Jean-François Pradat-Peyre
1997 — conf
Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study.
TRI-Ada
Claude Kaiser, Jean-François Pradat-Peyre
1997 C conf
Petri nets based proofs of Ada 95 solution for preference control.
APSEC
Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre
1996 — conf
On Liveness and Controlled Siphons in Petri Nets.
Application and Theory of Petri Nets
Kamel Barkaoui, Jean-François Pradat-Peyre
1991 — conf
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
Applications and Theory of Petri Nets
Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre