Dominique Marcadet

Laboratoire

Laboratoire Interdisciplinaire des Sciences du Numérique

Publications (10)

Brevet 06/01/2025

Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization System

Martin Rayrolle , Michaël Templier , Éric Fitterer , Dominique Marcadet , Frederic Boulanger , Safouan Taha

Communication dans un congrè 14/03/2024

A time synchronization protocol for A664-P7

Frederic Boulanger , Dominique Marcadet , Martin Rayrole , Benoit Valiron , Safouan Taha

Communication dans un congrè 12/02/2024

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

Dominique Marcadet , Éric Lambert

Communication dans un congrè 14/02/2023

Semantic Adaptation using CCSL Clock Constraints

Frederic Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet , Iuliana Prodan

Chapitre d'ouvrage 14/02/2023

Semantic Adaptation using CCSL Clock Constraints

Frederic Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet , Iuliana Prodan

Communication dans un congrè 14/02/2023

Checking Properties on the Control of Heterogeneous Systems

Christophe Jacquet , Dominique Marcadet

Communication dans un congrè 14/02/2023

Semantic Adaptation for Models of Computation

Frederic Boulanger , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet

Communication dans un congrè 14/02/2023

A Generic Execution Framework for Models of Computation

Cécile Hardebolle , Dominique Marcadet , Frederic Boulanger , Guy Vidal Naquet

Communication dans un congrè 14/02/2023

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

Christophe Jacquet , Frederic Boulanger , Dominique Marcadet

Communication dans un congrè 14/02/2023

An Architecture Description Language for Verification in Component-Based Software

Ahcène Bouzoualegh , Frederic Boulanger , Christophe Jacquet , Dominique Marcadet