Jean-François Monin

Professor at University Joseph Fourier (Grenoble 1) , Verimag / DCS Currently CNRS senior scientist at LIAMA (Beijing) FORMES project VERIMAG, Centre Équation 2, avenue de Vignate F-38610 GIÈRES Tél : (+33|0) 4 56 52 04 39     Fax : (+33|0) 4 56 52 03 40     Email :

Recent

• Formal Verification of Netlog Protocols (TASE 12, Beijing, China, 2012) paper.
• First Steps towards the Certification of an ARM Simulator Using Compcert (CPP 11, Kenting, Taiwan, 2011) paper, proofs.
• A Framework for Verifying Data-Centric Protocols paper (full version), FMOODS+FORTE'11, proofs.
• Designing a CPU model: from a pseudo-formal document to fast code (Rapido 11, Heraklion, Greece, 2011, best paper award) paper, slides.

Teaching

• public
• authorized teachers

Research

• Publications
• Talks
• Book
• Developments
  • otags , a tags generator for emacs and vi
  • dependot , building a dot-graph of Makefile dependencies
• Formal proofs
• Internship topics
• Projects
  • Averroes (projet RNTL)
  • TYPES (coordination action in EU's 6:th framework programme)
  • Types, Processes and Applications to Security and Biological Systems (PRA, chinese-french academic cooperation)

Miscellaneous

• Maps Maps to the lab
  Map of Verimag web site