Julien Boucaron

According to our database, Julien Boucaron authored at least 7 papers between 2005 and 2010.

Collaborative distances:

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

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

2007

Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement. (Formal Modelling of Latency Insensitive Systems and Scheduling).

Julien Boucaron

PhD thesis, 2007

Compositionality of Statically Scheduled IP.

Julien Boucaron, Jean-Vivien Millo

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

Formal Methods for Scheduling of Latency-Insensitive Designs.

Julien Boucaron, Robert de Simone, Jean-Vivien Millo

EURASIP J. Embed. Syst., 2007

2006

Latency-insensitive design and central repetitive scheduling.

Julien Boucaron, Robert de Simone, Jean-Vivien Millo

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Another Glance at Relay Stations in Latency-Insensitive Design.

Julien Boucaron, Jean-Vivien Millo, Robert de Simone

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005