Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. - Julien Boucaron; Anthony Coadou; Robert de Simone (FMGALS@DATE, 2009)

Formal Modeling of Embedded Systems with Explicit Schedules and Routes. - Julien Boucaron; Anthony Coadou; Robert de Simone (Synthesis of Embedded Software, 2010)

Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués. (Dataflow Process Networks with Routing for Modeling Embedded Systems). - Anthony Coadou (2010)

Scenario-based verification in presence of variability using a synchronous approach. - Jean-Vivien Millo; Frédéric Mallet; Anthony Coadou; S. Ramesh 002 (Frontiers Comput. Sci., 2013)