Publications

Conference/Workshop Paper (3)

A Simple and Flexible Timing Constraint Logic (Oct 2012)
Björn Lisper, Johan Nordlander
Proc. 5th International Symposium on Leveraging Applications of Formal Methods (ISOLA12)

Automatic Generation of Timing Models for Timing Analysis of High-Level Code (Sep 2011)
Peter Altenbernd , Andreas Ermedahl, Björn Lisper, Jan Gustafsson
Proc. 19th International Conference on Real-Time and Network Systems (RTNS2011)

Deriving WCET Bounds by Abstract Execution (Jul 2011)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)