Stefan is a lecturer in computer science. He has an PhD degree in computer science from Mälardalen University, received in 2013.
Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017) Stefan Bygde, Björn Lisper, Niklas Holsti Science of Computer Programming (SCICO)
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)
An Efficient Algorithm for Parametric WCET Calculation (May 2011) Stefan Bygde, Andreas Ermedahl, Björn Lisper Journal of Systems Architecture
|APARTS - Advanced Program Analysis for Real-Time Systems||finished|
|PG-CBD-StatA Static Timing Analysis of Component-Based Systems||finished|
|WCET - Worst-Case Execution Time analysis||active|