Romain Jobredeaux

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Venues

CoRR

HSCC

ACC

CDC

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
Formal Analysis of Robustness at Model and Code Level. HSCC (2016)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche
Closed loop analysis of control command software. HSCC (2015)
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms. CoRR (2014)
Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron
Credible autocoding of fault detection observers. ACC (2014)
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. FMICS (2013)
Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux, Martin Vivies, Eric Feron
Verifiable Control System Development for Gas Turbine Engines. CoRR (2013)
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR (2013)
Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron
Credible Autocoding of Fault Detection Observers. CoRR (2013)
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods (2012)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron
A generic ellipsoid abstract domain for linear time invariant systems. HSCC (2012)
Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron
Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. CDC (2012)
Timothy Wang, Romain Jobredeaux, Eric Feron
A graphical environment to express the semantics of control systems CoRR (2011)

Romain Jobredeaux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Romain Jobredeaux