Dominique Marcadet

Laboratoire

Laboratoire Interdisciplinaire des Sciences du Numérique

Publications (10)

Brevet 21/03/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ès 14/03/2024

A time synchronization protocol for A664-P7

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

Communication dans un congrès 12/02/2024

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

Éric Lambert , Dominique Marcadet

Communication dans un congrès 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ès 14/02/2023

An Architecture Description Language for Verification in Component-Based Software

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

Communication dans un congrès 14/02/2023

Checking Properties on the Control of Heterogeneous Systems

Christophe Jacquet , Dominique Marcadet

Communication dans un congrès 14/02/2023

Semantic Adaptation for Models of Computation

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

Communication dans un congrès 14/02/2023

A Generic Execution Framework for Models of Computation

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

Chapitre d'ouvrage 14/02/2023

Semantic Adaptation using CCSL Clock Constraints

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

Communication dans un congrès 14/02/2023

Semantic Adaptation using CCSL Clock Constraints

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