Kordon Fabrice
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
KORDON Fabrice 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. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “PaInleSS: a Framework for Parallel SAT Solving.â€, The 20th International Conference on Theory and Applications of Satisfiability Testing, vol. 10491, Lecture Notes in Computer Science, Melbourne, Australia (2017)
-
L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and Intelligent Scheduling of Distributed System Functional Testing: Model-Based Functional Testing in Practiceâ€, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) (2017)
-
X. Bonnaire, R. Cortés, F. Kordon, O. Marin : “ASCENT: a Provably-Terminating Decentralized Logging Serviceâ€, The Computer Journal, to be published, (Oxford University Press (UK)) (2017)
