Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 19

Licentiate Thesis (1)

Static WCET Analysis based on Abstract Interpretation and Counting of Elements (Mar 2010)
Stefan Bygde

Journal article (2)

An Efficient Algorithm for Parametric WCET Calculation (May 2011)
Stefan Bygde, Andreas Ermedahl, Björn Lisper
Journal of Systems Architecture

Identifying Irreducible Loops in the Instrumentation Point Graph (Jul 2010)
Adam Betts
Journal of Systems Architecture

Conference/Workshop Paper (15)

Sequential Composition of Execution Time Distributions by Convolution (Nov 2011)
Marcelo Santos, Björn Lisper, George Lima , Veronica Lima
Proc. 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems (CRTS 2011)

Fully-Automatic Derivation of Exact Program-Flow Constraints for a Tighter Worst-Case Execution-Time Analysis (Jul 2011)
Amine Marref
Proceedings of the 11th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI)

Deriving WCET Bounds by Abstract Execution (Jul 2011)
Andreas Ermedahl, Jan Gustafsson, Björn Lisper
Proc. 11th International Workshop on Worst-Case Execution Time (WCET) Analysis (WCET 2011)

WCET Analysis of Component-Based Systems using Timing Traces (Apr 2011)
Adam Betts, Amine Marref
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011)

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times (Apr 2011)
Amine Marref, Adam Betts
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011)

Hierarchical Composition of Parametric WCET in a Component Based Approach (Mar 2011)
Thomas Leveque, Etienne Borde, Amine Marref, Jan Carlson
14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC11)

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code (Mar 2011)
Amine Marref, Adam Betts
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011)

Compositional Timing Analysis (Jul 2010)
Amine Marref
SAMOS X - International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation.

Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development (Nov 2009)
Jan Gustafsson, Peter Altenbernd , Andreas Ermedahl, Björn Lisper
Proc. of the Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009)

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

Deriving the Worst-Case Execution Time Input Values (Jul 2009)
Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd
21st Euromicro Conference of Real-Time Systems, (ECRTS09)

Model Identification for WCET Analysis (Apr 2009)
Björn Lisper, Marcelo Santos
Proc. 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009)

Towards an Automatic Parametric WCET Analysis (Jul 2008)
Stefan Bygde, Björn Lisper
Worst-Case Execution Time Analysis Workshop

Evaluation of an Additive WCET Model for Software Components (May 2008)
Marcelo Santos, Björn Lisper
WTR 2008 10th Brazilian Workshop on Real-time and Embedded Systems

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 (1)

Static Analysis on Executable Code - A Survey (Apr 2011)
Stefan Bygde

Items per page: