Accéder directement au contenu
PG

Pierre-Loïc Garoche

4
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

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

Publications

combemale
Image document

Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification

 Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux
Journal of Software, 2009, 4 (9), pp.943-958
Article dans une revue hal-00371553v1
Image document

A Property-Driven Approach to Formal Verification of Process Models

 Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux , François Vernadat
Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
Article dans une revue hal-00369884v1
Image document

A Framework to Formalise the MDE Foundations

 Xavier Thirioux , Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche
International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30
Communication dans un congrès hal-00159748v2
Image document

Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

 Benoit Combemale , Pierre-Loïc Garoche , Xavier Crégut , Xavier Thirioux , François Vernadat
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès hal-00160807v1