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]

Static Flow Analysis of the Action Language for Foundational UML (Oct 2018)
Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog
International Conference on Emerging Technologies and Factory Automation (ETFA'18)

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 )

Björn Lisper, Professor

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