Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (COINS, 2022)

From OCL-based model static analysis to quick fixes. - Frédéric Jouault; Maxime Méré; Matthias Brun 001; Théo Le Calvar; Matthias Pasquier; Ciprian Teodorov (MoDELS (Companion), 2022)

Feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (MoDELS, 2022)

Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (QRS Companion, 2022)

AnimUML: A practical tool for partial model animation and analysis. - Frédéric Jouault; Valentin Besnard; Matthias Brun 001; Théo Le Calvar; Fabien Chhel; Mickael Clavreul; Jérôme Delatour; Maxime Méré; Matthias Pasquier; Ciprian Teodorov (Sci. Comput. Program., 2024)

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system. - Maxime Méré; Frédéric Jouault; Loïc Pallardy; Richard Perdriau (Softw. Syst. Model., 2025)