F\'elix Ingrand

Identifiers

• name variant F\'elix Ingrand 0.60 · backfill

Papers (2)

1. GenoM3 Templates: from Middleware Independence to Formal Models Synthesis cs.RO · 2018 · author #2
2. A Verifiable and Correct-by-Construction Controller for Robot Functional Levels cs.RO · 2013 · author #3

Mentions

• 1309.0442 #3 · backfill · confidence 0.70 F\'elix Ingrand

Frequent Coauthors

• Anthony Mallet 1 shared papers
• Lavindra de Silva 1 shared papers
• Mohammed Foughali 1 shared papers
• Rongjie Yan 1 shared papers
• Saddek Bensalem 1 shared papers