Damien Rouhling

According to our database, Damien Rouhling authored at least 8 papers between 2014 and 2024.

Collaborative distances:

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

2024

Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.

Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

2020

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.

Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle).

Damien Rouhling

PhD thesis, 2019

2018

Formalization Techniques for Asymptotic Reasoning in Classical Analysis.

Reynald Affeldt, Cyril Cohen, Damien Rouhling

J. Formaliz. Reason., 2018

A formal proof in Coq of a control function for the inverted pendulum.

Damien Rouhling

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

A Formal Proof in Coq of LaSalle's Invariance Principle.

Cyril Cohen, Damien Rouhling

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

2015

Axiomatic Constraint Systems for Proof Search Modulo Theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

CoRR, 2014