Dominique Marcadet

Publications :

PATENT - 1 document
- Martin Rayrolle, Michaël Templier, Éric Fitterer, Dominique Marcadet, Frédéric Boulanger, Safouan Taha. Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System, 2020-08-20. (https://centralesupelec.hal.science/hal-04495337v1)
Communication dans un congrès - 8 documents
- Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha. A time synchronization protocol for A664-P7, 2018-09-27. (https://centralesupelec.hal.science/hal-01890134v1)
- Dominique Marcadet, Éric Lambert. RiseClipse: Why working at the model level is better for validating data conforming to IEC standards, 2016-06-20. (https://hal.science/hal-01451524v1)
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan. Semantic Adaptation using CCSL Clock Constraints, 2011-10-16. (https://centralesupelec.hal.science/hal-00641413v1)
- Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. Semantic Adaptation for Models of Computation, 2011-06-20. (https://centralesupelec.hal.science/hal-00605273v1)
- Ahcène Bouzoualegh, Frédéric Boulanger, Christophe Jacquet, Dominique Marcadet. An Architecture Description Language for Verification in Component-Based Software, 2008-07-28. (https://centralesupelec.hal.science/hal-00334977v1)
- Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet. From Data to Events: Checking Properties on the Control of a System, 2008-06-05. (https://centralesupelec.hal.science/hal-00289103v1)
- Christophe Jacquet, Dominique Marcadet. Checking Properties on the Control of Heterogeneous Systems, 2008-04-09. (https://centralesupelec.hal.science/hal-00304197v1)
- Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation, 2007-03-31. (https://centralesupelec.hal.science/hal-00256116v1)
Chapitre d'ouvrage - 1 document
- Frédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan. Semantic Adaptation using CCSL Clock Constraints, 2012-04. (https://centralesupelec.hal.science/hal-00740801v1)