De UML vers les schémas XML. - Abdalhmed Maran; Dominique Marcadet (Obj. Logiciel Base données Réseaux, 2003)

A Generic Execution Framework for Models of Computation. - Cécile Hardebolle; Frédéric Boulanger; Dominique Marcadet; Guy Vidal-Naquet (MOMPES, 2007)

An Architecture Description Language for Verification in Component-Based Software. - Ahcene Bouzoualegh; Dominique Marcadet; Frédéric Boulanger; Christophe Jacquet (COMPSAC, 2008)

Checking Properties on the Control of Heterogeneous Systems. - Christophe Jacquet; Dominique Marcadet (ICST Workshops, 2008)

From Data to Events: Checking Properties on the Control of a System. - Christophe Jacquet; Frédéric Boulanger; Dominique Marcadet (MEMOCODE, 2008)

Semantic Adaptation for Models of Computation. - Frédéric Boulanger; Cécile Hardebolle; Christophe Jacquet; Dominique Marcadet (ACSD, 2011)

Semantic Adaptation using CCSL Clock Constraints. - Frédéric Boulanger; Ayman Dogui; Cécile Hardebolle; Christophe Jacquet; Dominique Marcadet; Iuliana Prodan (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

RiseClipse: Why working at the model level is better for validating data conforming to IEC standards. - Dominique Marcadet; Eric Lambert (PSCC, 2016)