Mathieu Montin

According to our database, Mathieu Montin authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.

Mathieu Montin, Amélie Ledein, Catherine Dubois

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

2021

Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL.

Mathieu Montin, Marc Pantel

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020

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

Mathieu Montin

PhD thesis, 2020

2018

Ordering Strict Partial Orders to Model Behavioral Refinement.

Mathieu Montin, Marc Pantel

Proceedings of the Proceedings 18th Refinement Workshop, 2018

Mechanizing the Denotational Semantics of the Clock Constraint Specification Language.

Mathieu Montin, Marc Pantel

Proceedings of the Model and Data Engineering - 8th International Conference, 2018