selected publications

• issue

  • Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving.  Electronic Proceedings in Theoretical Computer Science. 2017
  • Proceedings of the Third Workshop on Formal Integrated Development Environment.  Electronic Proceedings in Theoretical Computer Science. 2017

• academic article

  • LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.  arXiv (Cornell University).  360:27-44. 2022

• blog posting

  • A semantics of K into Dedukti.  HAL (Le Centre pour la Communication Scientifique Directe). 2022
  • Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types.  arXiv (Cornell University). 2022

• book

  • Tests and Proofs 2018

• chapter

  • Formally Verified Transformation of Non-binary Constraints into Binary Constraints.  Lecture notes in computer science. 117-128. 2021
  • Tests and Proofs for Enumerative Combinatorics.  Lecture notes in computer science. 57-75. 2016

• conference paper

  • 17^th Educators Symposium at MODELS 2021.  2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). 695-695. 2021
  • Combinatoire Formelle avec Why3 et Coq.  HAL (Le Centre pour la Communication Scientifique Directe). 2019
  • Une ligne de produits corrects par construction.  . 2017

• document

  • STAF 2022 workshop proceedings: 10th international workshop on bidirectional transformations (BX 2022), 2nd international workshop on foundations and practice of visual modeling (FPVM 2022) and 2nd international workshop on MDE for smart IoT systems (MeSS 2022).  . 2022

• report

  • Universality of proofs.  HAL (Le Centre pour la Communication Scientifique Directe). 2017