Nicolas Coste

According to our database, Nicolas Coste authored at least 4 papers between 2008 and 2010.

Collaborative distances:

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

2010

Towards Performance Prediction of Compositional Models in GALS Designs. (Vers la prédiction de performance de modèles compositionnels dans les architectures GALS).

Nicolas Coste

PhD thesis, 2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

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

2008

Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures.

Nicolas Coste, Hubert Garavel, Holger Hermanns, Richard Hersemeule, Yvain Thonnart, Meriem Zidouni

Proceedings of the Design, Automation and Test in Europe, 2008