Pierre-Loïc Garoche

Statistics

Publications

Citations

236

H-Index

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 Supérieur de l'Aéronautique 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 computer science, formal methods, and computing.

ORCID

Publications per year

2006–2020

Publications

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 · 58 citations

Computing, Mathematics, Formal Methods +16

A generic ellipsoid abstract domain for linear time invariant systems

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

Engineering, Computer Science, Systems Engineering +17

Accurate Centralization for Applying Model Checking on Networked Applications

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

Computing, Computer Science, Computer Systems +11

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

Computing, Aerospace Engineering, Computer Science +17

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

Computing, Computer Science, Systems Engineering +16

1–5 of 8