Catherine Parent-Vigouroux
Catherine Parent-Vigouroux
Université Grenoble Alpes
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
The Coq proof assistant reference manual
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
INRIA, version 6 (11), 1999
911999
A methodology for proving control systems with Lustre and PVS
S Bensalem, P Caspi, C Parent-Vigouroux, C Dumas
Dependable Computing for Critical Applications 7, 89-107, 1999
411999
Timing analysis enhancement for synchronous program
P Raymond, C Maiza, C Parent-Vigouroux, F Carrier, M Asavoae
Real-Time Systems 51 (2), 192-220, 2015
392015
Cartesian factoring of polyhedra in linear relation analysis
N Halbwachs, D Merchat, C Parent-Vigouroux
International Static Analysis Symposium, 355-365, 2003
302003
The Coq Proof Assistant User’s Guide
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
Version 6.3. 1. INRIA, December 1999, 1998
131998
A methodology for proving control programs with Lustre and PVS
S Bensalem, P Caspi, C Dumas, C Parent-Vigouroux
Dependable Computing for Critical Applications, DCCA-7, San Jose. IEEE …, 1999
121999
Verifying programs in the calculus of inductive constructions
C Parent-Vigouroux
Formal Aspects of Computing 9 (5), 484-517, 1997
121997
Handling data-flow programs in PVS
S Bensalem, P Caspi, C Parent-Vigouroux
61996
Improving WCET evaluation using linear relation analysis
P Raymond, C Maiza, C Parent-Vigouroux, E Jahier, N Halbwachs, ...
Leibniz Transactions on Embedded Systems 6 (2), 2019
32019
The W-SEPT project: Towards semantic-aware WCET estimation
C Maiza, P Raymond, C Parent-Vigouroux, A Bonenfant, F Carrier, ...
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017
22017
When the worst-case execution time estimation gains from the application semantics
A Bonenfant, F Carrier, H Cassé, P Cuenot, D Claraz, N Halbwachs, H Li, ...
8th European Congress on Embedded Real-Time Software and Systems, 2016
22016
Schedulability and modular analysis: how to fit timing model
H Cassé, C Maiza, C Parent-Vigouroux, P Raymond
OPRTC, 2014
12014
Cartesian Factoring of Polyhedra
N Halbwachs, D Merchat, C Parent-Vigouroux
Static Analysis:... Insternational Static Analysis Symposium, SAS …, 2003
2003
Handling data-ow programs in PVS (unpublished draft)
S Bensalem, P Caspiy, C Parent-Vigouroux
1996
Natural proofs versus programs optimization in the Calculus of Inductive Constructions
C Parent-Vigouroux, ZR Lavoisier
Combining Lustre and B in Control System Design
P Caspi, C ecile Dumas, C Parent-Vigouroux
The system can't perform the operation now. Try again later.
Articles 1–16