Mathieu Montin

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Specification Language

Abstract Data Types

Bayesian Framework

Top Venues

Publications

Mathieu Montin, Amélie Ledein, Catherine Dubois
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS (2022)
Mathieu Montin, Marc Pantel
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. FORTE (2021)
Mathieu Montin, Marc Pantel
Ordering Strict Partial Orders to Model Behavioral Refinement. Refine@FM (2018)
Mathieu Montin, Marc Pantel
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. MEDI (2018)