Björn Lisper
Björn Lisper
Professor of Computer Engineering, Mälardalen University
Verified email at mdh.se
Title
Cited by
Cited by
Year
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
6002010
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
2372006
Data cache locking for higher program predictability
X Vera, B Lisper, J Xue
ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003
1802003
Fully Automatic, Parametric Worst-Case Execution Time Analysis.
B Lisper
WCET 3, 77-80, 2003
1312003
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
1112016
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
1072003
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
1012007
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
882010
An efficient algorithm for parametric wcet calculation
S Bygde, A Ermedahl, B Lisper
Journal of Systems Architecture 57 (6), 614-624, 2011
732011
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
732005
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
722007
On the relation between functional and data parallel programming languages
P Hammarlund, B Lisper
Proceedings of the conference on Functional programming languages and …, 1993
681993
Static timing analysis of real-time operating system code
D Sandell, A Ermedahl, J Gustafsson, B Lisper
International Symposium On Leveraging Applications of Formal Methods …, 2004
652004
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
642005
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
582004
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
532009
SWEET–a tool for WCET flow analysis
B Lisper
International Symposium On Leveraging Applications of Formal Methods …, 2014
522014
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
512006
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
512006
Data parallelism and functional programming
B Lisper
The Data Parallel Programming Model, 220-251, 1996
481996
The system can't perform the operation now. Try again later.
Articles 1–20