Romain Jobredeaux

Identifiers

• name variant Romain Jobredeaux 0.60 · backfill

Papers (5)

1. Credible Autocoding of Convex Optimization Algorithms cs.SY · 2014 · author #2
2. Credible Autocoding of Fault Detection Observers cs.SY · 2013 · author #3
3. Verifiable Control System Development for Gas Turbine Engines cs.SY · 2013 · author #3
4. From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems cs.SY · 2013 · author #2
5. A graphical environment to express the semantics of control systems cs.SY · 2011 · author #2

Mentions

• 1403.1861 #2 · arxiv_oai · confidence 0.70 Romain Jobredeaux
• 1311.2064 #3 · arxiv_oai · confidence 0.70 Romain Jobredeaux
• 1311.1885 #3 · arxiv_oai · confidence 0.70 Romain Jobredeaux
• 1307.2641 #2 · arxiv_oai · confidence 0.70 Romain Jobredeaux
• 1108.4048 #2 · arxiv_oai · confidence 0.70 Romain Jobredeaux
• 1403.1861 #2 · backfill · confidence 0.70 Romain Jobredeaux
• 1311.2064 #3 · backfill · confidence 0.70 Romain Jobredeaux
• 1311.1885 #3 · backfill · confidence 0.70 Romain Jobredeaux
• 1307.2641 #2 · backfill · confidence 0.70 Romain Jobredeaux
• 1108.4048 #2 · backfill · confidence 0.70 Romain Jobredeaux

Frequent Coauthors

• Timothy Wang 5 shared papers
• Eric Feron 3 shared papers
• Marc Pantel 2 shared papers
• Pierre-Loic Garoche 2 shared papers
• Alireza Esna Ashari 1 shared papers
• Arnaud Dieumegard 1 shared papers
• Didier Henrion 1 shared papers
• E. Feron 1 shared papers
• Eric M. Feron 1 shared papers
• Heber Herencia 1 shared papers
• Martin Vivies 1 shared papers
• Mehrdad Pakmehr 1 shared papers