A graphical environment to express the semantics of control systems - Timothy Wang; Romain Jobredeaux; Eric Feron (CoRR, 2011)

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems. - Romain Jobredeaux; Heber Herencia-Zapana; Natasha A. Neogi; Eric Feron (CDC, 2012)

A generic ellipsoid abstract domain for linear time invariant systems. - Pierre Roux 001; Romain Jobredeaux; Pierre-Loïc Garoche; Eric Feron (HSCC, 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 001; Pablo Ascariz (NASA Formal Methods, 2012)

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 001 (FMICS, 2013)

Verifiable Control System Development for Gas Turbine Engines. - Mehrdad Pakmehr; Timothy Wang; Romain Jobredeaux; Martin Vivies; Eric Feron (CoRR, 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)

Credible autocoding of fault detection observers. - Timothy Wang; Alireza Esna Ashari; Romain Jobredeaux; Eric M. Feron (ACC, 2014)

Credible Autocoding of Convex Optimization Algorithms. - Timothy Wang; Romain Jobredeaux; Marc Pantel; Pierre-Loïc Garoche; Eric Feron; Didier Henrion (CoRR, 2014)

Closed loop analysis of control command software. - Pierre Roux 001; Romain Jobredeaux; Pierre-Loïc Garoche (HSCC, 2015)

Formal verification of control software. - Romain Jobredeaux (2015)

Formal Analysis of Robustness at Model and Code Level. - Timothy E. Wang; Pierre-Loïc Garoche; Pierre Roux 001; Romain Jobredeaux; Eric Feron (HSCC, 2016)