logo EDITE Jean-Francois PRADAT-PEYRE
Identité
Jean-Francois PRADAT-PEYRE
État académique
Thèse soutenue
Titulaire d'une HDR (ou équivalent) 2004-12-07
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
0.25
Propositions de sujets de thèse
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=170
Analysis of High Level Petri Nets
Petri Nets: Fundamental Models, Verification and Applications, eds. Diaz, Michel, Wiley-ISTE 2009
edite:13327925361056
Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains
28th American Control Conference (ACC'09), St-Louis, USA 2009
http://www.iste.co.uk/index.php?f=a&ACTION=View&id=170
High Level Petri Nets
Petri Nets: Fundamental Models, Verification and Applications, eds. Diaz, Michel, Wiley-ISTE 2009
http://www.divvaroom.com/book/dunod/pratique-des-tests-logiciels/
Pratique des tests logiciels Concevoir et mettre en oeuvre une stratégie de tests. Préparation à la certification ISTQB
Ce livre s'adresse aux développeurs, concepteurs et intégrateurs de logiciels
Dunod 2009
edite:13327925671335
Weak Fairness Semantic Drawbacks in Java Multithreading
14th International Conference on Reliable Software Technologies 2009