Arnaud Dieumegard

Identifiers

• name variant Arnaud Dieumegard 0.60 · backfill

Papers (2)

1. From Event-B to Verified C via HLL cs.SE · 2016 · author #2
2. From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems cs.SY · 2013 · author #5

Mentions

• 1307.2641 #5 · arxiv_oai · confidence 0.70 Arnaud Dieumegard
• 1307.2641 #5 · backfill · confidence 0.70 Arnaud Dieumegard

Frequent Coauthors

• Eric Feron 1 shared papers
• Eric Jenn 1 shared papers
• Heber Herencia 1 shared papers
• Laurent Voisin 1 shared papers
• Marc Pantel 1 shared papers
• Ning Ge 1 shared papers
• Pierre-Loic Garoche 1 shared papers
• Romain Jobredeaux 1 shared papers
• Timothy Wang 1 shared papers