| 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 |
| 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 | 50 | 2012 |
| 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 |
| Credible autocoding of convex optimization algorithms T Wang, R Jobredeaux, M Pantel, PL Garoche, E Feron, D Henrion Optimization and Engineering 17, 781-812, 2016 | 17 | 2016 |
| Formal analysis of robustness at model and code level TE Wang, PL Garoche, P Roux, R Jobredeaux, E Feron Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 16 | 2016 |
| Autocoding control software with proofs i: Annotation translation R Jobredeaux, TE Wang, EM Feron 2011 IEEE/AIAA 30th Digital Avionics Systems Conference, 7C1-1-7C1-13, 2011 | 16 | 2011 |
| Closed loop analysis of control command software P Roux, R Jobredeaux, PL Garoche Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 15 | 2015 |
| Formal methods for the analysis of critical control systems models: Combining non-linear and linear analyses A Champion, R Delmas, M Dierkes, PL Garoche, R Jobredeaux, P Roux Formal Methods for Industrial Critical Systems: 18th International Workshop …, 2013 | 12 | 2013 |
| Verifiable control system development for gas turbine engines M Pakmehr, T Wang, R Jobredeaux, M Vivies, E Feron arXiv preprint arXiv:1311.1885, 2013 | 10 | 2013 |
| Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems R Jobredeaux, H Herencia-Zapana, N Neogi, E Feron 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 1816-1821, 2012 | 10 | 2012 |
| Credible autocoding of fault detection observers TE Wang, AE Ashari, RJ Jobredeaux, EM Feron 2014 American Control Conference, 672-677, 2014 | 8 | 2014 |
| A graphical environment to express the semantics of control systems T Wang, R Jobredeaux, E Feron arXiv preprint arXiv:1108.4048, 2011 | 7 | 2011 |
| Formal verification of control software. R Jobredeaux Georgia Institute of Technology, Atlanta, GA, USA, 2015 | 6 | 2015 |
| A credible autocoding application within a rocket and its payload R Cohen, ATB Long, R Jobredeaux, E Feron 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 8C4-1-8C4-10, 2015 | 5 | 2015 |
| An application of a prototype credible autocoding and verification tool-chain T Wang, R Jobredeaux, M Pakmehr, M Vivies, E Feron 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 2E4-1-2E4-14, 2014 | 4 | 2014 |
| Credible autocoding and verification of a gas turbine engine FADEC T Wang, R Jobredeaux, M Pakmher, M Vivies, E Feron, E Boidot 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 1-20, 2014 | | 2014 |
