Statistics
Publications
3
Citations
67
H-Index
3
Active since
2003
Affiliations
Verimag(Current)
Catherine Parent-Vigouroux is an author at Verimag specializing in computer engineering, computing, and computer science.
Publications per year
2003–2015
3
3
A methodology for proving control systems with Lustre and PVS
Saddek Bensalem, P. Caspi, Catherine Parent-Vigouroux et al. · 2003 · 45 citations
Timing analysis enhancement for synchronous program
Pascal Raymond, Claire Maïza, Catherine Parent-Vigouroux et al. · Real-Time Systems · 2015 · 12 citations
Timing analysis enhancement for synchronous program
Pascal Raymond, Claire Maïza, Catherine Parent-Vigouroux et al. · 2013 · 10 citations
1–3 of 3