Tight WCRT analysis of synchronous C programs.

Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen

Browse the full CASES paper archive.