Romain Jobredeaux
Romain Jobredeaux
Verified email at
Cited by
Cited by
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
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
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
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
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
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
Closed loop analysis of control command software
P Roux, R Jobredeaux, PL Garoche
Proceedings of the 18th International Conference on Hybrid Systems …, 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
Verifiable control system development for gas turbine engines
M Pakmehr, T Wang, R Jobredeaux, M Vivies, E Feron
arXiv preprint arXiv:1311.1885, 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
Credible autocoding of fault detection observers
TE Wang, AE Ashari, RJ Jobredeaux, EM Feron
2014 American Control Conference, 672-677, 2014
A graphical environment to express the semantics of control systems
T Wang, R Jobredeaux, E Feron
arXiv preprint arXiv:1108.4048, 2011
Formal verification of control software.
R Jobredeaux
Georgia Institute of Technology, Atlanta, GA, USA, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–16