Damien Rouhling

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Inverted Pendulum

Scale Invariance

Top Venues

J. Formaliz. Reason.

University of Côte d'Azur, Nice, France (PHD)

Education History

University of Côte d'Azur, Nice, France

PHD

Publications

Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. SOAP@PLDI (2024)
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. IJCAR (2) (2020)
Damien Rouhling
A formal proof in Coq of a control function for the inverted pendulum. CPP (2018)
Reynald Affeldt, Cyril Cohen, Damien Rouhling
Formalization Techniques for Asymptotic Reasoning in Classical Analysis. J. Formaliz. Reason. 11 (1) (2018)
Cyril Cohen, Damien Rouhling
A Formal Proof in Coq of LaSalle's Invariance Principle. ITP (2017)
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
Axiomatic Constraint Systems for Proof Search Modulo Theories. FroCos (2015)
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories. CoRR (2014)