Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. - Mathieu Montin; Marc Pantel (MEDI, 2018)

Ordering Strict Partial Orders to Model Behavioral Refinement. - Mathieu Montin; Marc Pantel (Refine@FM, 2018)

A formal framework for heterogeneous systems semantics. (Un environnement formel pour la sémantique des systèmes hétérogènes). - Mathieu Montin (2020)

Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. - Mathieu Montin; Marc Pantel (FORTE, 2021)

LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. - Mathieu Montin; Amélie Ledein; Catherine Dubois (MSFP@ETAPS, 2022)