Static WCET Analysis based on Abstract Interpretation and Counting of Elements (Mar 2010) Stefan Bygde
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
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)
Static Analysis on Executable Code - A Survey (Apr 2011) Stefan Bygde