Dominique Marcadet

Publications :

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://hal-centralesupelec.archives-ouvertes.fr/hal-01890134)
- 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-01451524)
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-00641413)
- Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet. Semantic Adaptation for Models of Computation, 2011-06-20. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00605273)
- 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://hal-centralesupelec.archives-ouvertes.fr/hal-00334977)
- Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet. From Data to Events: Checking Properties on the Control of a System, 2008-06-05. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00289103)
- Christophe Jacquet, Dominique Marcadet. Checking Properties on the Control of Heterogeneous Systems, 2008-04-09. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00304197)
- Cécile Hardebolle, Dominique Marcadet, Frédéric Boulanger, Guy Vidal Naquet. A Generic Execution Framework for Models of Computation, 2007-03-31. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00256116)
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://hal-centralesupelec.archives-ouvertes.fr/hal-00740801)