13 citations · 35 across the 16 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2012★ 1 cited
Proceedings Seventh Conference on Systems Software Verification
Franck Cassez, Ralf Huuck, Gerwin Klein +1
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conferen…
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…
cs.SE2010★ 1 cited
Timed Games for Computing Worst-Case Execution-Times
Franck Cassez
In this paper we introduce a framework for computing upper bounds yet accurate WCET for hardware platforms with caches and pipelines. The methodology we propose consists of 3 steps…