| The Coq proof assistant reference manual B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ... INRIA, version 6 (11), 17-21, 1999 | 160 | 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 | 46 | 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 International Static Analysis Symposium, 355-365, 2003 | 33 | 2003 |
| The Coq Proof Assistant User’s Guide B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ... Version 6 (1), 1998 | 16 | 1998 |
| Verifying programs in the calculus of inductive constructions C Parent-Vigouroux Formal Aspects of Computing 9 (5), 484-517, 1997 | 13 | 1997 |
| 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 |
| 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 |
| Handling dataflow programs in PVS S Bensalem, P Caspi, C Parent-Vigouroux Research report (draft), Verimag, 1996 | 8 | 1996 |
| 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 | 7 | 2017 |
| 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 | 4 | 2016 |
| Schedulability and modular analysis: how to fit timing model? H Casse, C Maiza, P Raymond, C Vigouroux OPRTC, 2014 | 1 | 2014 |
| 17th International Workshop on Worst-case Execution Time Analysis: WCET 2017, June 27, 2017, Dubrovnik, Croatia J Reineke Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017 | | 2017 |
| 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 | | |
claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr
