Romain Jobredeaux

According to our database, Romain Jobredeaux authored at least 12 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Formal Analysis of Robustness at Model and Code Level.

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Formal verification of control software.

Romain Jobredeaux

PhD thesis, 2015

Closed loop analysis of control command software.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

Credible Autocoding of Convex Optimization Algorithms.

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion

CoRR, 2014

Credible autocoding of fault detection observers.

Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron

Proceedings of the American Control Conference, 2014

2013

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.

Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel

CoRR, 2013

Verifiable Control System Development for Gas Turbine Engines.

Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux, Martin Vivies, Eric Feron

CoRR, 2013

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.

Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.

Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz

Proceedings of the NASA Formal Methods, 2012

A generic ellipsoid abstract domain for linear time invariant systems.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.

Romain Jobredeaux, Heber Herencia-Zapana, Natasha A. Neogi, Eric Feron

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

A graphical environment to express the semantics of control systems

Timothy Wang, Romain Jobredeaux, Eric Feron

CoRR, 2011