Catherine Parent-Vigouroux

According to our database, Catherine Parent-Vigouroux authored at least 8 papers between 1993 and 2019.

Collaborative distances:

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

2019

Improving WCET Evaluation using Linear Relation Analysis.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet

Leibniz Trans. Embed. Syst., 2019

2017

The W-SEPT Project: Towards Semantic-Aware WCET Estimation.

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

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2015

Timing analysis enhancement for synchronous program.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae

Real Time Syst., 2015

2013

Timing analysis enhancement for synchronous program.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

2003

Cartesian Factoring of Polyhedra in Linear Relation Analysis.

Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux

Proceedings of the Static Analysis, 10th International Symposium, 2003

1997

Verifying Programs in the Calculus of Inductive Constructions.

Catherine Parent-Vigouroux

Formal Aspects Comput., 1997

1995

Synthesizing Proofs from Programs in the Calculus of Inductive Constructions.

Catherine Parent

Proceedings of the Mathematics of Program Construction, 1995

1993

Developing Certified Programs in the System Coq - The Program Tactic.

Catherine Parent

Proceedings of the Types for Proofs and Programs, 1993