New Developments in WCET Analysis

DOI10.1007/978-3-540-71322-7_2MaRDI QIDQ3593067zbMATH OpenOpenAlexFDO

Authors Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_2

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1948403
• scientific article; zbMATH DE number 2017361
• Chronos: A timing analyzer for embedded software
• Correct Hardware Design and Verification Methods
• Segment Abstraction for Worst-Case Execution Time Analysis

Cited in

(6)

• Refinement of worst-case execution time bounds by graph pruning
• Automated formal analysis and verification: an overview
• scientific article; zbMATH DE number 2017361 (Why is no real title available?)
• scientific article; zbMATH DE number 1487635 (Why is no real title available?)
• scientific article; zbMATH DE number 1760152 (Why is no real title available?)
• Computer Aided Verification

Describes a project that uses

Uses Software

• aiT

This page was built for publication: New Developments in WCET Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593067)