Publications
Number of publications matching the search criterion: 15
Doctoral Thesis (1)
Parametric WCET Analysis (Jun 2013) Stefan Bygde
Licentiate Thesis (1)
Static WCET Analysis based on Abstract Interpretation and Counting of Elements (Mar 2010) Stefan Bygde
Journal article (2)
Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017) Stefan Bygde, Björn Lisper, Niklas Holsti Science of Computer Programming (SCICO)
An Efficient Algorithm for Parametric WCET Calculation (May 2011) Stefan Bygde, Andreas Ermedahl, Björn Lisper Journal of Systems Architecture
Conference/Workshop Paper (8)
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 (Aug 2009) Stefan Bygde, Andreas Ermedahl, Björn Lisper The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring (Jul 2009) Yue Lu, Antonio Cicchetti, Stefan Bygde, Johan Kraft, Thomas Nolte, Christer Norström The 2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS09) in conjunction with the 33rd Annual IEEE Computer Software and Applications Conference (COMPSAC09)
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 (Jul 2009) Yue Lu, Antonio Cicchetti, Mikael Sjödin, Jukka Mäki-Turja, Stefan Bygde, Christer Norström The 21st Euromicro Conference on Real-Time Systems (ECRTS09) Work-In-Progress (WIP) session
Towards an Automatic Parametric WCET Analysis (Jul 2008) Stefan Bygde, Björn Lisper Worst-Case Execution Time Analysis Workshop
Analysis of Arithmetical Congruences on Low-Level Code (extended abstract) (Oct 2007) Stefan Bygde Nordic Workshop on Programming Theory 07
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis (Jul 2007) Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)
Report (2)
Improved Precision in Polyhedral Analysis with Wrapping (Jun 2012) Stefan Bygde, Björn Lisper, Niklas Holsti
Static Analysis on Executable Code - A Survey (Apr 2011) Stefan Bygde
Student Thesis (1)
Abstract Interpretation and Abstract Domains (Jun 2006) Stefan Bygde
