Follow
Romain Jobredeaux
Romain Jobredeaux
Verified email at gatech.edu
Title
Cited by
Cited by
Year
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
622012
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 Symposium, 147-161, 2012
492012
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
262016
Formal analysis of robustness at model and code level
TE Wang, PL Garoche, P Roux, R Jobredeaux, É Féron
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
162016
Credible autocoding of convex optimization algorithms
T Wang, R Jobredeaux, M Pantel, PL Garoche, E Feron, D Henrion
Optimization and Engineering 17 (4), 781-812, 2016
152016
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
152011
Closed loop analysis of control command software
P Roux, R Jobredeaux, PL Garoche
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
132015
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
International Workshop on Formal Methods for Industrial Critical Systems, 1-16, 2013
102013
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
102012
Credible autocoding of fault detection observers
TE Wang, AE Ashari, RJ Jobredeaux, EM Feron
2014 American Control Conference, 672-677, 2014
82014
Verifiable control system development for gas turbine engines
M Pakmehr, T Wang, R Jobredeaux, M Vivies, E Feron
arXiv preprint arXiv:1311.1885, 2013
82013
A graphical environment to express the semantics of control systems
T Wang, R Jobredeaux, E Feron
arXiv preprint arXiv:1108.4048, 2011
72011
Formal verification of control software
RJ Jobredeaux
Georgia Institute of Technology, 2015
62015
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
52015
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
42014
Autocoding control software with proofs i: Annotation translation
E Feron, R Jobredeaux, T Wang
2011 IEEE/AIAA 30th Digital Avionics Systems Conference, 1-19, 2011
32011
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
The system can't perform the operation now. Try again later.
Articles 1–17