Follow
Pierre-Loïc Garoche
Pierre-Loïc Garoche
ENAC - NASA/KBR
Verified email at enac.fr - Homepage
Title
Cited by
Cited by
Year
Essay on semantics definition in MDE. An instrumented approach for model verification
B Combemale, X Crégut, PL Garoche, X Thirioux
Journal of Software 4 (9), 943-958, 2009
1142009
Formal verification of critical aerospace software
V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu
Aerospace Lab, p. 1-8, 2012
682012
A generic ellipsoid abstract domain for linear time invariant systems
P Roux, R Jobredeaux, PL Garoche, É Féron
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
662012
Accurate centralization for applying model checking on networked applications
C Artho, PL Garoche
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
562006
PVS linear algebra libraries for verification of control software algorithms in C/ACSL
H Herencia-Zapana, R Jobredeaux, S Owre, PL Garoche, E Feron, ...
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
502012
A framework to formalise the MDE foundations
X Thirioux, B Combemale, X Crégut, PL Garoche
International Workshop on Towers of Models (TOWERS 2007), 14-30, 2007
412007
Semidefinite approximations of reachable sets for discrete-time polynomial systems
V Magron, PL Garoche, D Henrion, X Thirioux
SIAM Journal on Control and Optimization 57 (4), 2799-2820, 2019
392019
The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained
A Mavridou, H Bourbouh, D Giannakopoulou, T Pressburger, M Hejase, ...
2020 IEEE 28th International Requirements Engineering Conference (RE), 300-310, 2020
382020
CoCoSim, a code generation framework for control/command applications: An overview of CoCoSim for multi-periodic discrete Simulink models
H Bourbouh, PL Garoche, T Loquen, É Noulard, C Pagetti
Embedded Real Time Systems (ERTS) 2020, 2020
362020
A property-driven approach to formal verification of process models
B Combemale, X Crégut, PL Garoche, X Thirioux, F Vernadat
Enterprise Information Systems: 9th International Conference, ICEIS 2007 …, 2008
332008
Incremental invariant generation using logic-based automatic abstract transformers
PL Garoche, T Kahsai, C Tinelli
NASA Formal Methods Symposium, 139-154, 2013
282013
From design to implementation: an automated, credible autocoding chain for control systems
T Wang, R Jobredeaux, H Herencia, PL Garoche, A Dieumegard, É Féron, ...
Advances in Control System Technology for Aerospace Applications, 137-180, 2016
252016
Automatic synthesis of piecewise linear quadratic invariants for programs
A Adjé, PL Garoche
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
252015
Towards a Formal Verification of Process Model’s Properties-SimplePDL and TOCL Case Study
B Combemale, PL Garoche, X Crégut, X Thirioux, F Vernadat
International Conference on Enterprise Information Systems 2, 80-89, 2007
242007
Property-based polynomial invariant generation using sums-of-squares optimization
A Adjé, PL Garoche, V Magron
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
222015
Testing-based compiler validation for synchronous languages
PL Garoche, F Howar, T Kahsai, X Thirioux
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
202014
Integrating policy iterations in abstract interpreters
P Roux, PL Garoche
Automated Technology for Verification and Analysis: 11th International …, 2013
202013
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint
P Rousse, PL Garoche, D Henrion
European Journal of Control 58, 152-167, 2021
172021
Bridging the gap between requirements and simulink model analysis
A Mavridou, H Bourbouh, PL Garoche, D Giannakopoulou, T Pessburger, ...
Joint 26th International Conference on Requirements Engineering: Foundation …, 2020
172020
Formal verification of control system software
PL Garoche
Princeton University Press, 2019
172019
The system can't perform the operation now. Try again later.
Articles 1–20