Accéder directement au contenu
PG

Pierre-Loïc Garoche

3
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

Homepage: [www.garoche.net](https://www.garoche.net)

Publications

"christophe-garion"
Image document

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

Guillaume Davy , Christophe Garion , Pierre-Loïc Garoche , Pierre Roux , Xavier Thirioux
2018 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
Image document

Automated analysis of Stateflow models

Hamza Bourbouh , Pierre-Loïc Garoche , Christophe Garion , Arie Gurfinkel , Temesghen Kahsai
21st 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