| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2018 | FDL | Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. | Guillaume Davy, Christophe Garion, Pierre-Loc Garoche, Pierre Roux, Xavier Thirioux |
| 2018 | LPAR | Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. | Guillaume Davy, Eric Feron, Pierre-Loc Garoche, Didier Henrion |
| 2017 | LPAR | Automated analysis of Stateflow models. | Hamza Bourbouh, Pierre-Loc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux |
| 2015 | APLAS | Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. | Assal Adj, Pierre-Loc Garoche, Alexis Werey |
| 2015 | SAC | Compilation of synchronous observers as code contracts. | Arnaud Dieumegard, Pierre-Loc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux |
| 2015 | SAS | Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. | Assal Adj, Pierre-Loc Garoche, Victor Magron |
| 2015 | VMCAI | Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. | Assal Adj, Pierre-Loc Garoche |
| 2014 | FM | Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. | Pierre Roux, Pierre-Loc Garoche |
| 2013 | ATVA | Integrating Policy Iterations in Abstract Interpreters. | Pierre Roux, Pierre-Loc Garoche |
| 2013 | FMICS | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |