Jean-François Pradat-Peyre

According to our database, Jean-François Pradat-Peyre authored at least 25 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Experimental Comparison of Metaheuristics for Feature Selection in Machine Learning in the Medical Context.

Thibault Anani, François Delbot, Jean-François Pradat-Peyre

Proceedings of the Artificial Intelligence Applications and Innovations, 2022

2020

Manifold Learning for Innovation Funding: Identification of Potential Funding Recipients.

Vincent Grollemund, Gaétan Le Chat, Jean-François Pradat-Peyre, François Delbot

Proceedings of the Artificial Intelligence Applications and Innovations, 2020

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

Proceedings of the Operations Research Proceedings 2018, 2018

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

Proceedings of the 5th International Conference on Control, 2018

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

Proceedings of the American Control Conference, 2009

Weak Fairness Semantic Drawbacks in Java Multithreading.

Claude Kaiser, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2009

2008

Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Concurrent Program Metrics Drawn by Quasar.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2008

2007

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets.

Sami Evangelista, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Modelling Remote Concurrency with Ada.

Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 2007

2006

New Efficient Petri Nets Reductions for Parallel Programs Verification.

Serge Haddad, Jean-François Pradat-Peyre

Parallel Process. Lett., 2006

Distributed Colored Petri Net Model-Checking with Cyclades.

Christophe Pajault, Jean-François Pradat-Peyre

Proceedings of the Formal Methods: Applications and Technology, 2006

On the Computation of Stubborn Sets of Colored Petri Nets.

Sami Evangelista, Jean-François Pradat-Peyre

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Memory Efficient State Space Storage in Explicit Software Model Checking.

Sami Evangelista, Jean-François Pradat-Peyre

Proceedings of the Model Checking Software, 2005

Syntactical Colored Petri Nets Reductions.

Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Automated Technology for Verification and Analysis, 2005

Dynamic Tasks Verification with Quasar.

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technology, 2005

2003

Verifying linear time temporal logic properties of concurrent Ada programs with quasar.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Quasar: A New Tool for Concurrent Ada Programs Analysis.

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

Proceedings of the Reliable Software Technologies, 2003

2000

Pre- and Post-agglomerations for LTL Model Checking.

Denis Poitrenaud, Jean-François Pradat-Peyre

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Automatic Verification of Concurrent Ada Programs.

Eric Bruneton, Jean-François Pradat-Peyre

Proceedings of the Reliable Software Technologies, 1999

1998

Verification in Concurrent Programming with Petri Nets Structural Techniques.

Kamel Barkaoui, Jean-François Pradat-Peyre

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

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

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Petri nets based proofs of Ada 95 solution for preference control.

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

On Liveness and Controlled Siphons in Petri Nets.

Kamel Barkaoui, Jean-François Pradat-Peyre

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1991

Generative Families of Positive Invariants in Coloured Nets Sub-Classes.

Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Advances in Petri Nets 1993, 1991