Concepedia

Pierre-Loïc Garoche

PG

Statistics

Publications

7

Citations

221

H-Index

7

Active since

2006

Affiliations

Office National d'Études et de Recherches Aérospatiales(Current)

Georgia Institute of Technology

Institut de Recherche en Informatique de Toulouse

Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)

Institut National Polytechnique de Toulouse

Pierre-Loïc Garoche is an author at Office National d'Études et de Recherches Aérospatiales specializing in engineering, formal methods, and systems engineering.

ORCID

Top concepts

Publications per year

2006–2016

7

Publications

7

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

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche et al. · Journal of Software · 2009 · 56 citations

, , +23

A generic ellipsoid abstract domain for linear time invariant systems

Pierre Le Roux, Romain Jobredeaux, Pierre-Loïc Garoche et al. · 2012 · 51 citations

, , +12

Accurate Centralization for Applying Model Checking on Networked Applications

Cyrille Artho, Pierre-Loïc Garoche · 2006 · 39 citations

, , +20

Formal Verification of Critical Aerospace Software

Virginie Wiels, Robert C. delMas, David Doose et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 30 citations · Full text

A Framework to Formalise the MDE Foundations

Xavier Thirioux, Benôıt Combemale, Xavier Crégut et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 23 citations · Full text

1–5 of 7