Verimag

Publications

2016

  1. When the worst-case execution time estimation gains from the application semantics. Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Hanbing Li, Claire Maiza, Marianne De Michiel, Vincent Mussot, Catherine Parent-Vigouroux, Isabelle Puaut, Pascal Raymond, Erven Rohou, Pascal Sotin - 8th European Congress on Embedded Real-Time Software and Systems - PDF - [bibtex]

2015

  1. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Real-Time Systems - PDF - [bibtex]

2014

  1. Schedulability and modular analysis: how to fit timing model?. Hugues Cass'e, Claire Maiza, Catherine and Parent-Vigouroux, Pascal Raymond - OPRTC - PDF - [bibtex]
  2. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Workshop on Reconciling Performance and Predictability (REPP) - PDF - [bibtex]

2013

  1. Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment. Florence Maraninchi, Nicolas Halbwachs, Pascal Raymond, Catherine Parent, R. K. Shyamasundar - CSI Journal of Computing - [bibtex]
  2. Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier - RTNS - PDF - [bibtex]

2003

  1. Cartesian factoring of polyhedra in linear relation analysis. Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux - Static Analysis Symposium, SAS'03 - [bibtex]

1999

  1. A methodology for proving control systems with Lustre and PVS. Saddek Bensalem, Paul Caspi, Cécile Dumas, Catherine Parent-Vigouroux - Dependable Computing for Critical Applications (DCCA7) - [bibtex]

1998

  1. A tool for proving Lustre programs in PVS. Saddek Bensalem, Paul Caspi, Cécile Dumas, Catherine Parent-Vigouroux - TOOLS'98 - [bibtex]

1997

  1. Verifying programs in the Calculus of Inductive Constructions. Catherine Parent-Vigouroux - Formal Aspects of Computing - [bibtex]

1996

  1. Natural proofs and programs optimization in the Calculus of Inductive Constructions. Catherine Parent-Vigouroux - International Conference on Theorem Proving in Higher Order Logic - [bibtex]
  2. Handling data-flows programs in PVS. Saddek Bensalem, Paul Caspi, Catherine Parent-Vigouroux - [bibtex]

Contact | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 729817