- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code ValidationACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩
Article dans une revue
hal-04201875v1
|
|
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, France. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩
Communication dans un congrès
hal-02163873v1
|
|
Automated analysis of Stateflow models21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161
Communication dans un congrès
hal-02092930v1
|