Maxime Méré

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Static Analysis

Service Systems

Top Venues

Sci. Comput. Program.

MoDELS (Companion)

Publications

Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
AnimUML: A practical tool for partial model animation and analysis. Sci. Comput. Program. 232 (2024)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review. COINS (2022)
Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
From OCL-based model static analysis to quick fixes. MoDELS (Companion) (2022)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. MoDELS (2022)
Maxime Méré, Frédéric Jouault, Loïc Pallardy, Richard Perdriau
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip. QRS Companion (2022)