Clément Fumex

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Instruction Set

Sparse Matrices

Concept Formation

Top Venues

Log. Methods Comput. Sci.

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Clément Fumex, Claude Marché, Yannick Moy
Automating the Verification of Floating-Point Programs. VSTTE (2017)
Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. CAV (2) (2017)
Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché
Specification and Proof of High-Level Functional Properties of Bit-Level Programs. NFM (2016)
Neil Ghani, Patricia Johann, Clément Fumex
Indexed Induction and Coinduction, Fibrationally. Log. Methods Comput. Sci. 9 (3) (2013)
Neil Ghani, Patricia Johann, Clément Fumex
Generic Fibrational Induction Log. Methods Comput. Sci. 8 (2) (2012)
Clément Fumex, Neil Ghani, Patricia Johann
Indexed Induction and Coinduction, Fibrationally. CALCO (2011)
Neil Ghani, Patricia Johann, Clément Fumex
Fibrational Induction Rules for Initial Algebras. CSL (2010)