Clément Fumex

According to our database, Clément Fumex authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Automating the Verification of Floating-Point Programs.

Clément Fumex, Claude Marché, Yannick Moy

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT.

Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Specification and Proof of High-Level Functional Properties of Bit-Level Programs.

Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

Indexed Induction and Coinduction, Fibrationally.

Neil Ghani, Patricia Johann, Clément Fumex

Log. Methods Comput. Sci., 2013

2012

Induction and coinduction schemes in category theory.

Clément Fumex

PhD thesis, 2012

Generic Fibrational Induction

Neil Ghani, Patricia Johann, Clément Fumex

Log. Methods Comput. Sci., 2012

2010

Fibrational Induction Rules for Initial Algebras.

Neil Ghani, Patricia Johann, Clément Fumex

Proceedings of the Computer Science Logic, 24th International Workshop, 2010