The Mälardalen WCET benchmarks: Past, present and future J Gustafsson, A Betts, A Ermedahl, B Lisper 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), 2010 | 749 | 2010 |
Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution J Gustafsson, A Ermedahl, C Sandberg, B Lisper 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), 57-66, 2006 | 268 | 2006 |
TACLeBench: A benchmark collection to support worst-case execution time research H Falk, S Altmeyer, P Hellinckx, B Lisper, W Puffitsch, C Rochange, ... 16th International Workshop on Worst-Case Execution Time Analysis, 2016 | 266 | 2016 |
Data cache locking for higher program predictability X Vera, B Lisper, J Xue ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003 | 198 | 2003 |
Fully Automatic, Parametric Worst-Case Execution Time Analysis. B Lisper WCET 3, 77-80, 2003 | 150 | 2003 |
Loop bound analysis based on a combination of program slicing, abstract interpretation, and invariant analysis A Ermedahl, C Sandberg, J Gustafsson, S Bygde, B Lisper 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)(2007), 2007 | 122 | 2007 |
Towards WCET analysis of multicore architectures using UPPAAL A Gustavsson, A Ermedahl, B Lisper, P Pettersson 10th international workshop on worst-case execution time analysis (WCET 2010), 2010 | 115 | 2010 |
Data caches in multitasking hard real-time systems X Vera, B Lisper, J Xue RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 154-165, 2003 | 110 | 2003 |
An efficient algorithm for parametric wcet calculation S Bygde, A Ermedahl, B Lisper Journal of Systems Architecture 57 (6), 614-624, 2011 | 93 | 2011 |
SWEET–a tool for WCET flow analysis B Lisper International symposium on leveraging applications of formal methods …, 2014 | 88 | 2014 |
Applying static WCET analysis to automotive communication software S Byhlin, A Ermedahl, J Gustafsson, B Lisper 17th Euromicro Conference on Real-Time Systems (ECRTS'05), 249-258, 2005 | 87 | 2005 |
Data cache locking for tight timing calculations X Vera, B Lisper, J Xue ACM Transactions on Embedded Computing Systems (TECS) 7 (1), 1-38, 2007 | 76 | 2007 |
Towards a flow analysis for embedded system C programs J Gustafsson, A Ermedahl, B Lisper 10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005 | 72 | 2005 |
On the relation between functional and data parallel programming languages P Hammarlund, B Lisper Proceedings of the conference on Functional programming languages and …, 1993 | 72 | 1993 |
Static timing analysis of real-time operating system code D Sandell, A Ermedahl, J Gustafsson, B Lisper Leveraging Applications of Formal Methods: First International Symposium …, 2006 | 71 | 2006 |
An event detection algebra for reactive systems J Carlson, B Lisper Proceedings of the 4th ACM international conference on Embedded software …, 2004 | 60 | 2004 |
ALF-a language for WCET flow analysis J Gustafsson, A Ermedahl, B Lisper, C Sandberg, L Källberg 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), 2009 | 56 | 2009 |
Faster WCET flow analysis by program slicing C Sandberg, A Ermedahl, J Gustafsson, B Lisper ACM SIGPLAN Notices 41 (7), 103-112, 2006 | 52 | 2006 |
Parametric timing analysis for complex architectures S Altmeyer, C Hümbert, B Lisper, R Wilhelm 2008 14th IEEE International Conference on Embedded and Real-Time Computing …, 2008 | 51 | 2008 |
Static WCET analysis of real-time task-oriented code in vehicle control systems D Sehlberg, A Ermedahl, J Gustafsson, B Lisper, S Wiegratz Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 50 | 2006 |