most citedComputation of WCET using Program Slicing and Real-Time Model-Checking

12 citations · 12 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2011★ 12 cited

Computation of WCET using Program Slicing and Real-Time Model-Checking

Jean-Luc Béchennec, Franck Cassez

Computing accurate WCET on modern complex architectures is a challenging task. This problem has been devoted a lot of attention in the last decade but there are still some open iss…