- 1
- 1
- 1
PG
Pierre-Loïc Garoche
3
Documents
Affiliations actuelles
- 380071
Identifiants chercheurs
- pierre-loic-garoche
- Arxiv : garoche_p_1
- IdRef : 127405690
- 0000-0002-0513-6076
- Google Scholar : https://scholar.google.com/citations?user=KvqkWwwAAAAJ
Présentation
Homepage: [www.garoche.net](https://www.garoche.net)
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
Credible Autocoding of Convex Optimization AlgorithmsOptimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩
Article dans une revue
hal-00961133v1
|
|
Static Safety for an Actor Dedicated Process Calculus by Abstract InterpretationIFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩
Communication dans un congrès
hal-00116251v1
|
|
From Design to Implementation: An Automated Credible Autocoding Chain for Control SystemsFéron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137--180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩
Chapitre d'ouvrage
hal-03155036v1
|