Follow
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
1261999
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
441999
Timing analysis enhancement for synchronous program
P Raymond, C Maiza, C Parent-Vigouroux, F Carrier
Proceedings of the 21st International conference on Real-Time Networks and …, 2013
422013
Cartesian factoring of polyhedra in linear relation analysis
N Halbwachs, D Merchat, C Parent-Vigouroux
Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003
322003
The Coq Proof Assistant User’s Guide
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
Version 6 (1), 1998
141998
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, 484-517, 1997
121997
Improving WCET evaluation using linear relation analysis
P Raymond, C Maiza, C Parent-Vigouroux, E Jahier, N Halbwachs, ...
Leibniz Transactions on Embedded Systems 6 (1), 02: 28, 2019
82019
Handling dataflow programs in PVS
S Bensalem, P Caspi, C Parent-Vigouroux
Research report (draft), Verimag, 1996
81996
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
72017
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, P Raymond, C Vigouroux
OPRTC, 2014
12014
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–15