Guillaume Davy

According to our database, Guillaume Davy authored at least 5 papers between 2014 and 2018.

Collaborative distances:

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

2018

Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques. (Generation of codes and provable annotations of interior-point algorithms for critical embedded systems).

Guillaume Davy

PhD thesis, 2018

Formal verification of an interior point algorithm instanciation.

Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion

CoRR, 2018

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.

Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2014

Verified Implementations for Secure and Verifiable Computation.

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2014