default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-François Monin

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/Larchey-Wendling23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Larchey-Wendling23
Dominique Larchey-Wendling, Jean-François Monin:
Proof Pearl: Faithful Computation and Extraction of μ-Recursive Algorithms in Coq. ITP 2023: 21:1-21:17
2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BegayCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BegayCM21
Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin:
Developing and certifying Datalog optimizations in coq/mathcomp. CPP 2021: 163-177

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DengM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DengM19
Yuxin Deng, Jean-François Monin:
Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems 2019: 276-292
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/FradetGMQ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/FradetGMQ19
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. RTAS 2019: 182-191
2018
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/FradetGMQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/FradetGMQ18
Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton:
A Generalized Digraph Model for Expressing Dependencies. RTNS 2018: 72-82
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/FradetLMQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/FradetLMQ18
Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton:
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS 2018: 218-229
2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/GuoQFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/GuoQFM17
Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin:
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. RTSS 2017: 387-389
2015
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/JoloboffMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/JoloboffMS15
Vania Joloboff, Jean-François Monin, Xiaomu Shi:
Towards Verified Faithful Simulation. SETTA 2015: 105-119
2013
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/MoninS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MoninS13
Jean-François Monin, Xiaomu Shi:
Handcrafted Inversions Made Operational on Operational Semantics. ITP 2013: 338-353
2012
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ChenM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ChenM12
Meixian Chen, Jean-François Monin:
Formal Verification of Netlog Protocols. TASE 2012: 43-50
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1202-6472
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-6472
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui:
First steps towards the certification of an ARM simulator using Compcert. CoRR abs/1202.6472 (2012)
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ShiMTB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ShiMTB11
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui:
First Steps towards the Certification of an ARM Simulator Using Compcert. CPP 2011: 346-361
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/DengGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DengGM11
Yuxin Deng, Stéphane Grumbach, Jean-François Monin:
A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1109-4351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-4351
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi:
Designing a CPU model: from a pseudo-formal document to fast code. CoRR abs/1109.4351 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/DengM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/DengM09
Yuxin Deng, Jean-François Monin:
Verifying Self-stabilizing Population Protocols with Coq. TASE 2009: 201-208
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0907-3599
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0907-3599
Jean-François Monin, Cristian Ene, Michaël Périn:
Gentzen-Prawitz Natural Deduction as a Teaching Tool. CoRR abs/0907.3599 (2009)
2006
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/MoninC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MoninC06
Jean-François Monin, Judicaël Courant:
Proving termination using dependent types: the case of XOR-terms. Trends in Functional Programming 2006: 1-18
2004
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Monin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Monin04
Jean-François Monin:
Proof Pearl: From Concrete to Functional Unparsing. TPHOLs 2004: 217-224
2003
[b1]
- view
  - electronic edition @ springer.com
  - details & citations
- export record
  dblp key:
  - books/daglib/0007501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0007501
Jean-François Monin:
Understanding formal methods. Springer 2003, ISBN 978-1-85233-247-1, pp. I-XV, 1-275
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BerardFKM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BerardFKM03
Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin:
Compared Study of Two Correctness Proofs for the Standardized. Formal Methods Syst. Des. 22(1): 59-86 (2003)
2000
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Monin00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Monin00
Jean-François Monin:
Proving the Correctness of the Standardized Algorithm for ABR Conformance. Formal Methods Syst. Des. 17(3): 221-243 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MoninK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MoninK99
Jean-François Monin, Francis Klay:
Correctness Proof of the Standardized Algorithm for ABR Conformance. World Congress on Formal Methods 1999: 662-681
1996
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Monin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Monin96
Jean-François Monin:
Exceptions Considered Harmless. Sci. Comput. Program. 26(1-3): 179-196 (1996)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/types/Monin96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Monin96
Jean-François Monin:
Proving a Real Time Algorithm for ATM in Coq. TYPES 1996: 277-293
1995
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/Monin95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Monin95
Jean-François Monin:
Extracting Programs with Exceptions in an Impredicative Type System. MPC 1995: 335-350
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DoumencM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DoumencM93
Guillaume Doumenc, Jean-François Monin:
The Parallel Abstract Machine: A Common Execution Model for FDTs. FME 1993: 285-293
1991
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/Monin91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Monin91
Jean-François Monin:
Real-size Compiler Writing Using Prolog with Arrows. ICLP 1991: 188-201

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/JardMG88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/JardMG88
Claude Jard, Jean-François Monin, Roland Groz:
Development of Véda, a Prototyping Tool for Distributed Algorithms. IEEE Trans. Software Eng. 14(3): 339-352 (1988)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Monin88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Monin88
Jean-François Monin:
A Compiler Written in Prolog: The Véda Experience. PLILP 1988: 119-131
1987
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/MoninB87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/MoninB87
Jean-François Monin, E. Barrielle:
Est-ce que Prolog sait lire? SPLT 1987: 131-140
1985
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/JardMG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/JardMG85
Claude Jard, Jean-François Monin, Roland Groz:
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV 1985: 315-331
1984
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfplc/Monin84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfplc/Monin84
Jean-François Monin:
Ecriture d'un compilateur "réel" en PROLOG. SPLT 1984

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.