Anthony Coadou

According to our database, Anthony Coadou authored at least 4 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Scenario-based verification in presence of variability using a synchronous approach.

Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh

Frontiers Comput. Sci., 2013

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

PhD thesis, 2010

Formal Modeling of Embedded Systems with Explicit Schedules and Routes.

Julien Boucaron, Anthony Coadou, Robert de Simone

Proceedings of the Synthesis of Embedded Software, 2010

2009

Latency-Insensitive Design: Retry Relay-Station and Fusion Shell.

Julien Boucaron, Anthony Coadou, Robert de Simone

Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009