Marc Pantel

Identifiers

• name variant Marc Pantel 0.60 · backfill

Papers (5)

1. Ordering Strict Partial Orders to Model Behavioral Refinement cs.LO · 2018 · author #2
2. Probabilistic Failure Analysis in Model Validation & Verification cs.SE · 2016 · author #2
3. Report on the First Workshop On the Globalization of Modeling Languages cs.SE · 2014 · author #6
4. Credible Autocoding of Convex Optimization Algorithms cs.SY · 2014 · author #3
5. From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems cs.SY · 2013 · author #7

Mentions

• 1403.1861 #3 · arxiv_oai · confidence 0.70 Marc Pantel
• 1307.2641 #7 · arxiv_oai · confidence 0.70 Marc Pantel
• 1408.5703 #6 · backfill · confidence 0.70 Marc Pantel
• 1403.1861 #3 · backfill · confidence 0.70 Marc Pantel
• 1307.2641 #7 · backfill · confidence 0.70 Marc Pantel

Frequent Coauthors

• Eric Feron 2 shared papers
• Pierre-Loic Garoche 2 shared papers
• Romain Jobredeaux 2 shared papers
• Timothy Wang 2 shared papers
• Arnaud Dieumegard 1 shared papers
• Benoit Combemale 1 shared papers
• Bernhard Rumpe 1 shared papers
• Didier Henrion 1 shared papers
• Fr\'ed\'eric Boulanger 1 shared papers
• Heber Herencia 1 shared papers
• Julien De Antoni 1 shared papers
• Martin Schindler 1 shared papers
• Mathieu Montin 1 shared papers
• Ning Ge 1 shared papers
• Rick Salay 1 shared papers
• Robert B. France 1 shared papers
• Sebastien Mosser 1 shared papers
• Xavier Cr\'egut 1 shared papers