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)
Parametric WCET Analysis (Jun 2013) Stefan Bygde
Improved Precision in Polyhedral Analysis with Wrapping (Jun 2012) Stefan Bygde, Björn Lisper, Niklas Holsti
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)
An Efficient Algorithm for Parametric WCET Calculation (May 2011) Stefan Bygde, Andreas Ermedahl, Björn Lisper Journal of Systems Architecture
Thesis Title | Status |
---|---|
Interpretator för naturkatastrofsimulator | selected |