External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formally Verified WCET Estimation Tool

André Maroneze, Sandrine Blazy, David Pichardie, Isabelle Puaut. A Formally Verified WCET Estimation Tool. In Heiko Falk, editor, 14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, July 8, 2014, Ulm, Germany. Volume 39 of OASICS, pages 11-20, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

André Maroneze

This author has not been identified. Look up 'André Maroneze' in Google

Sandrine Blazy

This author has not been identified. Look up 'Sandrine Blazy' in Google

David Pichardie

This author has not been identified. Look up 'David Pichardie' in Google

Isabelle Puaut

This author has not been identified. Look up 'Isabelle Puaut' in Google
runs on