Pradat-peyre Jean-françois
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
PRADAT-PEYRE Jean-François is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
C. Kaiser, J.‑F. Pradat‑Peyre : “Weak Fairness Semantic Drawbacks in Java Multithreadingâ€, 14th International Conference on Reliable Software Technologies, vol. 5570, Lecture Notes in Computer Science, Brest, France, pp. 90-104, (Springer Verlag) (2009)
-
S. Haddad, F. Kordon, L. Petrucci, J.‑F. Pradat‑Peyre, N. Trèves : “Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domainsâ€, 28th American Control Conference (ACC'09), Saint Louis, MO, USA, pp. 5018-5025, (Omnipress IEEE) (2009)
-
J.‑F. Pradat‑Peyre, Y. Thierry‑Mieg : “Verification of Finite-State Systemsâ€, chapter in Models and Analysis in Distributed Systems, S. Haddad, F. Kordon, L. Pautet, L. Petrucci (Eds.), pp. 155-220, (Wiley), (ISBN: 9781848213142) (2011)
