Stefan Bygde

According to our database, Stefan Bygde authored at least 7 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Improved precision in polyhedral analysis with wrapping.

Stefan Bygde, Björn Lisper, Niklas Holsti

Sci. Comput. Program., 2017

2013

Parametric WCET Analysis.

Stefan Bygde

PhD thesis, 2013

2011

An efficient algorithm for parametric WCET calculation.

Stefan Bygde, Andreas Ermedahl, Björn Lisper

J. Syst. Archit., 2011

Fully Bounded Polyhedral Analysis of Integers with Wrapping.

Stefan Bygde, Björn Lisper, Niklas Holsti

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

2009

Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring.

Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Christer Norström

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Towards an Automatic Parametric WCET Analysis.

Stefan Bygde, Björn Lisper

Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

2007

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis.

Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007