Jean-Fran\c{c}ois Monin (LIAMA
Identifiers
- name variant Jean-Fran\c{c}ois Monin (LIAMA 0.60 · backfill
Papers (2)
- First steps towards the certification of an ARM simulator using Compcert cs.LO · 2012 · author #2
- Designing a CPU model: from a pseudo-formal document to fast code cs.SE · 2011 · author #4
Mentions
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