# Jean-François Monin

According to our database

Collaborative distances:

^{1}, Jean-François Monin authored at least 30 papers between 1984 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2019

Proceedings of the 25th IEEE Real-Time and Embedded Technology and Applications Symposium, 2019

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

2017

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

2015

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

CoRR, 2011

Proceedings of the Formal Techniques for Distributed Systems, 2011

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2009

CoRR, 2009

Proceedings of the TASE 2009, 2009

2006

Proving termination using dependent types: the case of XOR-terms.

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2004

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2003

Formal Methods Syst. Des., 2003

Springer, ISBN: 978-1-85233-247-1, 2003

2000

Formal Methods Syst. Des., 2000

1999

Proceedings of the FM'99 - Formal Methods, 1999

1996

Sci. Comput. Program., 1996

Proceedings of the Types for Proofs and Programs, 1996

1995

Proceedings of the Mathematics of Program Construction, 1995

1993

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Real-size Compiler Writing Using Prolog with Arrows.

Proceedings of the Logic Programming, 1991

1988

IEEE Trans. Software Eng., 1988

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1987

Est-ce que Prolog sait lire?

Proceedings of the SPLT'87, 1987

1985

Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.

Proceedings of the Protocol Specification, 1985

1984

Ecriture d'un compilateur "réel" en PROLOG.

Proceedings of the SPLT'84, 1984