Stefan Bygde

According to our database, Stefan Bygde authored at least 5 papers between 2007 and 2013.

Collaborative distances:

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

2013

Parametric WCET Analysis.

Stefan Bygde

PhD thesis, 2013

2009

An Efficient Algorithm for Parametric WCET Calculation.

Stefan Bygde, Andreas Ermedahl, Björn Lisper

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 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