Publications de
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms
Dans : Optimization Engineering, Taylor & Francis Group, Vol. 17 N. 4, p. 781-812, décembre 2016.
Eric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
Dans : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (conférencier invité), IEEE : Institute of Electrical and Electronics Engineers, p. 3-3, octobre 2012.
Timothy Wang, Arnaud Dieumegard, Eric Feron, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche
Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)
Dans : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, p. 0-0, 2012.
Timothy Wang, Romain Jobredeaux, Heber Henrencia, Pierre-Loïc Garoche, Eric Feron, Marc Pantel
From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems
Dans : Advances in Control System Technology for Aerospace Applications. Eric Féron (Eds.) , Springer-Verlag, p. 137-180, 2016.