Etienne Lantreibecq

According to our database, Etienne Lantreibecq authored at least 4 papers between 1999 and 2014.

Collaborative distances:

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

2014

Formal analysis of a hardware dynamic task dispatcher with CADP.

Etienne Lantreibecq, Wendelin Serwe

Sci. Comput. Program., 2014

2011

Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP.

Etienne Lantreibecq, Wendelin Serwe

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2009

Towards Performance Prediction of Compositional Models in Industrial GALS Designs.

Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

1999

Fast Prototyping: A System Design Flow Applied to a Complex System-on-Chip Multiprocessor Design.

Benoit Clement, Richard Hersemeule, Etienne Lantreibecq, Bernard Ramanadin, Pierre Coulomb, François Pogodalla

Proceedings of the 36th Conference on Design Automation, 1999