Concepedia

Romain Jobredeaux

RJ

Statistics

Publications

5

Citations

97

H-Index

5

Active since

2011

Affiliations

Georgia Institute of Technology(Current)

Office National d'Études et de Recherches Aérospatiales

Romain Jobredeaux is an author at Georgia Institute of Technology specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsControl SystemsProcess ControlComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification

Publications per year

2011–2016

5

Publications

5

A generic ellipsoid abstract domain for linear time invariant systems

Pierre Le Roux, Romain Jobredeaux, Pierre-Loïc Garoche et al. · 2012 · 51 citations

Quadratic Invariants, Linear Systems, Engineering +12

Credible autocoding of convex optimization algorithms

Timothy C. Wang, Romain Jobredeaux, Marc Pantel et al. · Optimization and Engineering · 2016 · 12 citations · Full text

Engineering, Machine Learning, Continuous Optimization +4

Closed loop analysis of control command software

Pierre Le Roux, Romain Jobredeaux, Pierre-Loïc Garoche · 2015 · 12 citations · Full text

Engineering, Software Engineering, Software Analysis +20

Autocoding control software with proofs I: Annotation translation

Romain Jobredeaux, Timothy E. Wang, Éric Féron · 2011 IEEE/AIAA 30th Digital Avionics Systems Conference · 2011 · 12 citations

Engineering, Verification, Computer-aided Verification +23

Formal Analysis of Robustness at Model and Code Level

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux et al. · 2016 · 10 citations · Full text

Engineering, Robust Control, Verification +21

1–5 of 5