Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"own"
Certificate-carrying modular compilation
Closed Loop Analysis of Control Command Software
Compilation Of Synchronous Observers As Code Contracts
Credible autocoding of convex optimization algorithms
Formal specification of Projet P toolset requirements - SP5.T4
Practical Policy Iterations A practical use of policy iterations for static analysis - The quadratic case.
Projet CAFEIN - Rapport avancement RA 3/21071
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Property-based polynomial invariant generation using sums-of-squares optimization
«
»
Cite
×