Programming Languages

Focus:

Worst-case execution time analysis, as well as design and analysis of languages for real-time and embedded systems. Focusing on static program analysis for embedded systems, specializing in Worst-Case Execution Time analysis.

[Show all publications]

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Sep 2017)
Björn Lisper
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'17)

Improved Precision in Polyhedral Analysis with Wrapping (Jan 2017)
Stefan Bygde, Björn Lisper, Niklas Holsti
Science of Computer Programming (SCICO)

Early execution time-estimation through automatically generated timing models (Nov 2016)
Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert
Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)

TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research (Jul 2016)
Heiko Falk , Sebastian Altmeyer , Peter Hellinckx , Björn Lisper, Wolfgang Puffitsch , Christine Rochange , Martin Schoeberl , Rasmus Bo Sorensen , Peter Wägemann , Simon Wegener
Proc. 16th International Workshop on Worst-Case Execution Time Analysis (WCET'2016) (WCET16)

Enhanced PCB Based Slicing (Jun 2016)
Husni Khanfar, Björn Lisper
Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 )

Automatic Load Synthesis for Performance Verification in Early Design Phases - Technical Report (Jun 2016)
Marcus Jägemar, Sigrid Eldh, Andreas Ermedahl, Gabor Andai , Björn Lisper

Björn Lisper, Professor

Email: bjorn.lisper@mdh.se
Room: U1-091
Phone: +46-21-151709