Stefan Bygde

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Top Venues

Sci. Comput. Program.

Electron. Notes Theor. Comput. Sci.

Publications

Stefan Bygde, Björn Lisper, Niklas Holsti
Improved precision in polyhedral analysis with wrapping. Sci. Comput. Program. 133 (2017)
Stefan Bygde, Björn Lisper, Niklas Holsti
Fully Bounded Polyhedral Analysis of Integers with Wrapping. Electron. Notes Theor. Comput. Sci. 288 (2012)
Stefan Bygde, Andreas Ermedahl, Björn Lisper
An efficient algorithm for parametric WCET calculation. J. Syst. Archit. 57 (6) (2011)
Stefan Bygde, Andreas Ermedahl, Björn Lisper
An Efficient Algorithm for Parametric WCET Calculation. RTCSA (2009)
Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norström
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring. COMPSAC (2) (2009)
Stefan Bygde, Björn Lisper
Towards an Automatic Parametric WCET Analysis. WCET (2008)
Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. WCET (2007)