| 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 | 114 | 2009 |
| Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu Aerospace Lab, p. 1-8, 2012 | 68 | 2012 |
| 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 | 66 | 2012 |
| Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 56 | 2006 |
| 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 | 51 | 2012 |
| 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 | 43 | 2020 |
| 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 | 42 | 2007 |
| 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 | 41 | 2019 |
| 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 | 40 | 2020 |
| 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 | 33 | 2008 |
| Incremental invariant generation using logic-based automatic abstract transformers PL Garoche, T Kahsai, C Tinelli NASA Formal Methods Symposium, 139-154, 2013 | 29 | 2013 |
| 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 | 25 | 2016 |
| Automatic synthesis of piecewise linear quadratic invariants for programs A Adjé, PL Garoche Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 25 | 2015 |
| 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 | 24 | 2015 |
| 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 | 24 | 2007 |
| 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 | 20 | 2020 |
| 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 | 20 | 2014 |
| Integrating policy iterations in abstract interpreters P Roux, PL Garoche Automated Technology for Verification and Analysis: 11th International …, 2013 | 20 | 2013 |
| 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 | 19 | 2021 |
| Formal verification of control system software PL Garoche Princeton University Press, 2019 | 18 | 2019 |
Eric FeronProfessor of Electrical EngineeringAdresse e-mail validée de kaust.edu.sa