Recherche

Accueil CEDRIC > Laboratoire > Membre > View >

Jean-François Pradat-Peyre

Equipe Mim
Parti depuis le 01/09/2006
Mail :

Publications

2009

Conférence Internationale avec comité de lecture

[HKP09a] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", ACC'09, St Louis, US, January 2009, pp.5018-5025, Series Omnipress IEEE Catalog : CFP09A, ISBN 978-1-4244-4524-0.,
[KP09] C. Kaiser, J. Pradat-Peyre. "Weak Fairness Semantic Drawbacks in Java Multithreading", Ada-Europe'09 Reliable Software Technologies, January 2009, pp.90-104, Series LNCS 5570,

Rapport Scientifique

[HKP09] S. Haddad, F. Kordon, L. Petrucci, J. Pradat-Peyre, N. Treves. "Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains", Date de dépot: 2009/01/01, (Tech. Rep.: CEDRIC-09-1780)

2008

Conférence Internationale avec comité de lecture

[KPP08] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Concurrent Program metrics drawn by QUASAR", Ada-Europe''08 Int. Conf on Reliable Software Technologies, January 2008, pp.101-114, Series LNCS 5026,

2007

Conférence Internationale avec comité de lecture

[EPP07] S. Evangelista, C. Pajault, J. Pradat-Peyre. "A simple positive flows computation algorithm for a large subclass of colored nets", IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, January 2007, pp.177-195, Series LNCS,
[KPP07] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous", Ada-Europe''07 Int. Conf. on Reliable Software Technologies, January 2007, Vol. volume(12), pp.192-207, Series LNCS 4498,

2006

Revue Internationale avec comité de lecture

[HP06] S. Haddad, J. Pradat-Peyre. "New Efficient Petri Nets Reductions for Parallel Programs Verification", Parallel Processing Letters, vol. 16(1), pp. 101-116, 2006
[KPE06] C. Kaiser, J. Pradat-Peyre, S. Evangelista, P. Rousseau. "Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement", ACM Ada Letters, vol. 26(2), pp. 23-37, 2006

Conférence Internationale avec comité de lecture

[EP06] S. Evangelista, J. Pradat-Peyre. "On the Computation of Stubborn Sets of Colored Petri Nets", Int. Conf. on the Application and Theory of Petri Nets and Other Models of Concurrency, January 2006, Vol. 4024(27), pp.146-165, Series LNCS,
[NPV06] E. Najm, J. Pradat-Peyre, V. Viguie Donzeau-Gouge. "FORTE'06: Formal Techniques for Networking and Distributed Systems", January 2006, Vol. 4229, Series LNCS,
[PP06] C. Pajault, J. Pradat-Peyre. "Static Reductions for Promela Specifications", FORTE 2008 28th IFIP WG 6.1 Int. Conf.rence. Tokyo, Japan, January 2006, pp.84-98, Series LNCS 5048,
[PP06a] C. Pajault, J. Pradat-Peyre. "Distributed colored Petri net model-checking with Cyclades", PDMC'06 Proceedings Parallel and Distributed Methods in verifiCation, January 2006, pp.347-361, Series LNCS, (DOI: 10.1007/978-3-540-70952-7_24)

Rapport Scientifique

[KP06] C. Kaiser, J. Pradat-Peyre. "Noyau de concurrence par moniteur pour Java ou C#: pour une autre sÃ©mantique plus fiable et plus performante", Date de dépot: 2006/01/01, Nb pages 12 p, (Tech. Rep.: CEDRIC-06-1021)
[KPP06] C. Kaiser, C. Pajault, J. Pradat-Peyre. "Modelling remote concurrency with Ada.Case study of symmetric non-deterministic rendez-vous.", Date de dépot: 2006/01/01, Nb pages 15p, (Tech. Rep.: CEDRIC-06-1102)

2005

Conférence Internationale avec comité de lecture

[EHP05] S. Evangelista, S. Haddad, J. Pradat-Peyre. "Syntactical Colored Petri Nets Reductions", January 2005, Vol. 3707(3707), pp.202-216, Series LNCS 3707, D.A. Peled, Y.-K. T,

2004

Revue Nationale avec comité de lecture

[PP04] J. Printz, J. Pradat-Peyre. "GÃ©nÃ©ration automatique de jeux de tests et contraintes d'utilisation d'un logiciel", GÃ©nie logiciel, pp. 45-52, 2004

Conférence Internationale avec comité de lecture

[EHP04] S. Evangelista, S. Haddad, J. Pradat-Peyre. "New Coloured Reductions for Software Validation", Workshop on Discrete Event Systems, Reims, January 2004, pp.355-360,
[EP04] S. Evangelista, J. Pradat-Peyre. "An Efficient Algorithm for the Enabling Test of Colored Petri Nets", 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, January 2004, pp.137-156,

Rapport Scientifique

[NPV04] S. Natkin, J. Pradat-Peyre, L. Vega. "Un ModÃ¨le basÃ© sur les RÃ©seaux de Petri pour l'analyse de l'ordonnancement des actions dans un jeu vidÃ©o.", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-635)
[EP04a] S. Evangelista, J. Pradat-Peyre. "A Semi-Explicit Method to Store State Spaces in a Compact Way", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-682)
[HP04] S. Haddad, J. Pradat-Peyre. "Efficient Reductions for LTL Formulae Verification", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-634)

Autres

[PP04a] J. Pradat-Peyre, J. Printz. "Automatic Test Generation and Information Systems Interoperability",

datepub: January 2004,

2003

Revue Internationale avec comité de lecture

[EKP03a] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM Ada Letters, vol. 24(1), pp. 17-24, 2003

Conférence Internationale avec comité de lecture

[EKP03] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Quasar : A New Tool for Concurrent Ada Programs Analysis", January 2003, Vol. 2655, pp.166-181, Series LNCS,
[KP03] C. Kaiser, J. Pradat-Peyre. "Chameneos, a Concurrency Game for Java, Ada and Others", January 2003, pp.8 pages,

2002

Chapitres de Livre

[PRA02] J. Pradat-Peyre. "Application des rÃ©seaux de Haut-Niveau Ã la vÃ©rification automatique de programmes Ada95 concurrents", January 2002,

Rapport Scientifique

[PP02] J. Printz, J. Pradat-Peyre. "Utilisation de contraintes pertinentes pour la gÃ©nÃ©ration automatique de jeux de tests", Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-412)

2001

Chapitres de Livre

[GP01] C. Girault, J. Pradat-Peyre. "Les rÃ©seaux de Petri de haut-niveau", Titre du livre: "Les rÃ©seaux de Petri", January 2001,

2000

Conférence Internationale avec comité de lecture

[PP00] D. Poitrenaud, J. Pradat-Peyre. "Pre and Post-Agglomerations and LTL Model Checking", January 2000, Vol. 1825, pp.387-408,

1999

Conférence Internationale avec comité de lecture

[BP99] E. Bruneton, J. Pradat-Peyre. "Automatic Verification of Concurrent Ada Programs", Ada-Europe’99, , January 1999,

1998

Conférence Internationale avec comité de lecture

[KP98] C. Kaiser, J. Pradat-Peyre. "Reliable, Fair and Efficient Concurrent Software with Dynamic Allocation of Identical Resources", MCSEAI'98, January 1998,
[BP98] K. Barkaoui, J. Pradat-Peyre. "Verification in Concurrent Programming with Petri nets Structural Techniques", Third IEEE International High-Assurance Systems Engineering Symposium, January 1998, pp.124-133,

1997

Conférence Internationale avec comité de lecture

[KP97] C. Kaiser, J. Pradat-Peyre. "Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service : a Case Study", Tri-Ada'97, January 1997,
[BKP97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", APSEC '97 / ICSC '97, January 1997,
[BKPa97] K. Barkaoui, C. Kaiser, J. Pradat-Peyre. "Petri nets based proofs of Ada 95 solution for preference control", 3rd Asia-Pacific Software Engineering Conference APSECÃ‚Â’97, January 1997, pp.238-248,

Conférence Nationale avec comité de lecture

[PP97] J. Pradat-Peyre, J. Printz. "Utilisation de contraintes pertinentes pour la gÃ©nÃ©ration automatqiue de jeux de test", IGL'97, January 1997,

1996

Conférence Internationale avec comité de lecture

[BP96] K. Barkaoui, J. Pradat-Peyre. "On Liveness and Controlled Siphons in Petri Nets", Application and Theory of Petri Nets, January 1996, Vol. 1091, pp.57-72, Series LNCS,