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
5582010
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
2282006
Data cache locking for higher program predictability
X Vera, B Lisper, J Xue
ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003
1772003
Fully Automatic, Parametric Worst-Case Execution Time Analysis.
B Lisper
WCET 3, 77-80, 2003
1262003
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
1012003
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
972016
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
942007
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
892010
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
692005
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
682007
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
An efficient algorithm for parametric WCET calculation
S Bygde, A Ermedahl, B Lisper
Journal of Systems Architecture 57 (6), 614-624, 2011
652011
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
622004
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
612005
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
572004
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
492009
Data parallelism and functional programming
B Lisper
The Data Parallel Programming Model, 220-251, 1996
491996
SWEET–a tool for WCET flow analysis
B Lisper
International Symposium On Leveraging Applications of Formal Methods …, 2014
462014
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
462006
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
462006
The system can't perform the operation now. Try again later.
Articles 1–20