Jean-François Monin

Professeur à l'Université Joseph Fourier (Grenoble 1) , Verimag / DCS Actuellement en délégation CNRS au LIAMA (Pékin) projet FORMES 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 :

Récent

• 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.

Enseignement

• public
• page interne

Recherche

• Publications
• Présentation
• Livre
• Développements
  • otags , un générateur de tags pour emacs et vi
  • dependot , pour construire un graphe de dépendances Makefile au format dot (graphviz)
• Preuves formelles
• Sujets M2R
• Projets
  • Averroes (projet RNTL)
  • TYPES (coordination action in EU's 6:th framework programme)
  • Types, processus and leurs applications en sécurité et systèmes biologiques (PRA, coopérations académiques Chine-France)

Divers

• Cartes pour venir au labo
  Carte officielle