Dominique Marcadet

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Expert Knowledge

Simulation Data

Top Venues

Publications

Dominique Marcadet, Eric Lambert
RiseClipse: Why working at the model level is better for validating data conforming to IEC standards. PSCC (2016)
Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet
Semantic Adaptation for Models of Computation. ACSD (2011)
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
Semantic Adaptation using CCSL Clock Constraints. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 50 (2011)
Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan
Semantic Adaptation Using CCSL Clock Constraints. MoDELS (Workshops) (2011)
Christophe Jacquet, Dominique Marcadet
Checking Properties on the Control of Heterogeneous Systems. ICST Workshops (2008)
Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet
From Data to Events: Checking Properties on the Control of a System. MEMOCODE (2008)
Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet
An Architecture Description Language for Verification in Component-Based Software. COMPSAC (2008)
Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet
A Generic Execution Framework for Models of Computation. MOMPES (2007)
Abdalhmed Maran, Dominique Marcadet
De UML vers les schémas XML. Obj. Logiciel Base données Réseaux 9 (3) (2003)