Jean-Fran\c{c}ois Monin (LIAMA

Identifiers

• name variant Jean-Fran\c{c}ois Monin (LIAMA 0.60 · backfill

Papers (2)

1. First steps towards the certification of an ARM simulator using Compcert cs.LO · 2012 · author #2
2. Designing a CPU model: from a pseudo-formal document to fast code cs.SE · 2011 · author #4

Mentions

• 1202.6472 #2 · backfill · confidence 0.70 Jean-Fran\c{c}ois Monin (LIAMA
• 1109.4351 #4 · backfill · confidence 0.70 Jean-Fran\c{c}ois Monin (LIAMA

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 2 shared papers
• UJF) 2 shared papers
• Xiaomu Shi (LIAMA) 2 shared papers
• Claude Helmstetter (LIAMA) 1 shared papers
• Frederic Tuong (LIAMA) 1 shared papers
• Vania Joloboff (LIAMA) 1 shared papers