Romain Jobredeaux

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