Publications

Doctoral Thesis (1)

Parametric WCET Analysis (Jun 2013)
Stefan Bygde

Journal article (1)

Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017)
Stefan Bygde, Björn Lisper, Niklas Holsti
Science of Computer Programming (SCICO)

Conference/Workshop Paper (5)

Analysing Switch-Case Code with Abstract Execution (Jul 2015)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

Static Backward Program Slicing for Safety Critical Systems (Jun 2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Static Backward Demand-Driven Slicing (Jan 2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)

Static Analysis of Bounded Polyhedra (Oct 2011)
Stefan Bygde, Björn Lisper, Niklas Holsti
Nordic Workshop of Programming Theory (NWPT)

Fully Bounded Polyhedral Analysis of Integers with Wrapping (Sep 2011)
Stefan Bygde, Björn Lisper, Niklas Holsti
International Workshop on Numerical and Symbolic Abstract Domains (NSAD11)

Report - MRTC (3)

Circular Linear Progressions in SWEET (Dec 2014)
Linus Källberg

Relative Census Analysis Supports the Census Method of WCET Analysis (Nov 2014)
Niklas Holsti

Combining Bound-T and SWEET to Analyse Dynamic Control Flow in Machine-Code Programs (Nov 2014)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper

Report (2)

Improved Precision in Polyhedral Analysis with Wrapping (Jun 2012)
Stefan Bygde, Björn Lisper, Niklas Holsti

Static Analysis on Executable Code - A Survey (Apr 2011)
Stefan Bygde