No. Title Author Year
1 The W-SEPT Project: Towards Semantic-Aware WCET Estimation Maiza, Claire et al. 2017
2 Dynamic Branch Resolution Based on Combined Static Analyses Sun, Wei-Tsun et al. 2016
3 Expressing and Exploiting Conflicts over Paths in WCET Analysis Mussot, Vincent et al. 2016
4 A Framework to Quantify the Overestimations of Static WCET Analysis Cassé, Hugues et al. 2015
5 Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs Ruiz, Jordy et al. 2015
6 Multi-architecture Value Analysis for Machine Code Cassé, Hugues et al. 2013
7 A Generic Framework for Blackbox Components in WCET Computation Ballabriga, Clément et al. 2009
8 WCET 2008 -- Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Holsti, Niklas et al. 2008
9 Improving the WCET computation time by IPET using control flow graph partitioning Ballabriga, Clément et al. 2008
10 PapaBench: a Free Real-Time Benchmark Nemer, Fadia et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI