Stefan Bygde

An efficient algorithm for parametric WCET calculation

Björn Lisper, Andreas Ermedahl, Stefan Bygde, 2011, J. Syst. Archit..

Fully Bounded Polyhedral Analysis of Integers with Wrapping

Niklas Holsti, Björn Lisper, Stefan Bygde, 2012, Electron. Notes Theor. Comput. Sci..

C# and the .NET Framework

Stefan Bygde, Christoffer Sjöberg, Daniel Sanfridsson, 2003 .

Towards an Automatic Parametric WCET Analysis

Björn Lisper, Stefan Bygde, 2008, WCET.

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

Jan Gustafsson, Björn Lisper, Andreas Ermedahl, 2007, WCET.

PARAMETRIC WCET ANALYSIS

Stefan Bygde, 2013 .

Static Analysis on Executable Code : A Survey

Stefan Bygde, 2011 .

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

Antonio Cicchetti, Yue Lu, Stefan Bygde, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

An Efficient Algorithm for Parametric WCET Calculation

Björn Lisper, Andreas Ermedahl, Stefan Bygde, 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

Stefan Bygde, Stefan Bygde, 2010 .

Improved precision in polyhedral analysis with wrapping

Niklas Holsti, Björn Lisper, Stefan Bygde, 2017, Sci. Comput. Program..

Towards Response-Time Analysis of Complex Real-Time Systems by using ParametricWorst-Case Execution-Time Estimate on Tasks A Case Study for Robotic Control System

Antonio Cicchetti, Mikael Sjödin, Jukka Mäki-Turja, 2009, ECRTS 2009.