Follow
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
7312010
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
2632006
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
2432016
Data cache locking for higher program predictability
X Vera, B Lisper, J Xue
ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003
1982003
Fully Automatic, Parametric Worst-Case Execution Time Analysis.
B Lisper
WCET 3, 77-80, 2003
1482003
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
1192007
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
1122010
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
1122003
An efficient algorithm for parametric wcet calculation
S Bygde, A Ermedahl, B Lisper
Journal of Systems Architecture 57 (6), 614-624, 2011
912011
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
882005
SWEET–a tool for WCET flow analysis
B Lisper
International symposium on leveraging applications of formal methods …, 2014
802014
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
762007
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
712005
On the relation between functional and data parallel programming languages
P Hammarlund, B Lisper
Proceedings of the conference on Functional programming languages and …, 1993
711993
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
702006
An event detection algebra for reactive systems
J Carlson, B Lisper
Proceedings of the 4th ACM international conference on Embedded software …, 2004
602004
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
552009
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
522006
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
512008
Faster WCET flow analysis by program slicing
C Sandberg, A Ermedahl, J Gustafsson, B Lisper
ACM SIGPLAN Notices 41 (7), 103-112, 2006
512006
The system can't perform the operation now. Try again later.
Articles 1–20