Catherine Parent-Vigouroux

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 2

Top Topics

Multiresolution

Evaluation Process

Density Estimation

Top Venues

Real Time Syst.

Leibniz Trans. Embed. Syst.

Publications

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
Improving WCET Evaluation using Linear Relation Analysis. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae
Timing analysis enhancement for synchronous program. Real Time Syst. 51 (2) (2015)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier
Timing analysis enhancement for synchronous program. RTNS (2013)
Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS (2003)
Catherine Parent-Vigouroux
Verifying Programs in the Calculus of Inductive Constructions. Formal Aspects Comput. 9 (5-6) (1997)