The Coq proof assistant reference manual B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ... INRIA, version 6 (11), 1999 | 129 | 1999 |
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 | 44 | 1999 |
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 | 42 | 2013 |
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 | 32 | 2003 |
The Coq Proof Assistant User’s Guide B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ... Version 6 (1), 1998 | 14 | 1998 |
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 | 12 | 1999 |
Verifying programs in the calculus of inductive constructions C Parent-Vigouroux Formal Aspects of Computing 9, 484-517, 1997 | 12 | 1997 |
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 | 8 | 2019 |
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 | 8 | 2017 |
Handling dataflow programs in PVS S Bensalem, P Caspi, C Parent-Vigouroux Research report (draft), Verimag, 1996 | 8 | 1996 |
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 | 2 | 2016 |
Schedulability and modular analysis: how to fit timing model? H Cassé, C Maiza, P Raymond, C Vigouroux OPRTC, 2014 | 1 | 2014 |
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 | | |