OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Davy, Guillaume"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Davy, Guillaume and Garion, Christophe and Garoche, Pierre-Loic and Roux, Pierre and Thirioux, Xavier. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. (2018) In: Forum on Specification & Design Languages (FDL 2018), 10 September 2018 - 12 September 2018 (Munich, Germany).

Davy, Guillaume and Feron, Eric and Garoche, Pierre-Loïc and Henrion, Didier. Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm. (2018) In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 16 November 2018 - 21 November 2018 (Awasa, Ethiopia).

Cohen, Raphael and Davy, Guillaume and Feron, Eric and Garoche, Pierre-Loic. Formal Verification for Embedded Implementation of Convex Optimization Algorithms. (2017) In: IFAC 2017 World Congress, 9 July 2017 - 14 July 2017 (Toulouse, France).

Feron, Eric and Cohen, Raphaël P. and Davy, Guillaume and Garoche, Pierre-Loic. Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control. (2017) In: AIAA SciTech Forum 2017, 9 January 2017 - 13 January 2017 (Gravepine, United States).

This list was generated on Thu Aug 6 13:08:30 2020 CEST.