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)