Etienne Lantreibecq

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Formal Analysis

Power Consumption

Relational Databases

Top Venues

Sci. Comput. Program.

Publications

Etienne Lantreibecq, Wendelin Serwe
Formal analysis of a hardware dynamic task dispatcher with CADP. Sci. Comput. Program. 80 (2014)
Etienne Lantreibecq, Wendelin Serwe
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. FMICS (2011)
Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, Wendelin Serwe
Towards Performance Prediction of Compositional Models in Industrial GALS Designs. CAV (2009)
Benoit Clement, Richard Hersemeule, Etienne Lantreibecq, Bernard Ramanadin, Pierre Coulomb, François Pogodalla
Fast Prototyping: A System Design Flow Applied to a Complex System-on-Chip Multiprocessor Design. DAC (1999)