Jaume Mathieu
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
JAUME Mathieu 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
-
L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linuxâ€, 5th International FME Workshop on Formal Methods in Software Engineering, Buenos Aires, Argentina, pp. 22, (IEEE Press) (2017)
-
L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Suivi de flux d’information correct sous Linuxâ€, 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Montpellier, France, pp. 19-26 (2017)
-
L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memoryâ€, 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), LNCS, Trento, Italy (2017)
