Poizat Pascal
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
POIZAT Pascal 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
-
P. Poizat, G. Salaün, A. Krishna : “Checking Business Process Evolutionâ€, 13th International Conference on Formal Aspects of Component Software (FACS), Besançon, France (2016)
-
M. Güdemann, P. Poizat, G. Salaün, L. Ye : “VerChor: A Framework for the Design and Verification of Choreographiesâ€, IEEE Transactions on Services Computing, vol. 9 (4), pp. 647-660, (ISBN: 1939-1374) (2016)
-
A. Krishna, P. Poizat, G. Salaün : “VBPMN: Automated Verification of BPMN Processesâ€, 13th International Conference on integrated Formal Methods (iFM 2017), Turin, Italy (2017)
