Dominique Marcadet

According to our database, Dominique Marcadet authored at least 8 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

RiseClipse: Why working at the model level is better for validating data conforming to IEC standards.

Dominique Marcadet, Eric Lambert

Proceedings of the Power Systems Computation Conference, 2016

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

Semantic Adaptation for Models of Computation.

Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2008

From Data to Events: Checking Properties on the Control of a System.

Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Checking Properties on the Control of Heterogeneous Systems.

Christophe Jacquet, Dominique Marcadet

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

An Architecture Description Language for Verification in Component-Based Software.

Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Generic Execution Framework for Models of Computation.

Cécile Hardebolle, Frédéric Boulanger, Dominique Marcadet, Guy Vidal-Naquet

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

2003

De UML vers les schémas XML.

Abdalhmed Maran, Dominique Marcadet

Obj. Logiciel Base données Réseaux, 2003