Björn Lisper, Professor


Björn Lisper is professor in Computer Engineering at Mälardalen University since 1999, where he leads the Programming Languages research group. His current research interests are in programming language issues, targeting program analysis especially w.r.t timing properties. He received his MSc (Engineering Physics) 1980, and Doctor of Technology (Computer Science) 1987, both from KTH, Sweden, where he also was appointed "docent" in Computer Systems (1991).  Prof. Lisper is the Chair of the COST Action IC1202 Timing Analysis on Code-Level. He has been a Core Member of the FP7 NoE ArtistDesign, where he was the leader of the timing analysis activity. He coordinated the FP7 ICT project ALL-TIMES, and the Marie Curie IAPP project APARTS. He is also a member of IFIP WG 10.2 on Embedded Systems.

Current research interests are in programming language issues, targeting program analysis especially w.r.t timing properties.

[Show all publications]

[Google Scholar author page]

Latest 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)

Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling (Sep 2018)
Marcus Jägemar, Sigrid Eldh, Björn Lisper, Moris Behnam, Andreas Ermedahl
International Conference on Emerging Technologies and Factory Automation (ETFA'18)

Probabilistic Response Time Analysis for Fixed Preemption Point Selection (Jun 2018)
Filip Markovic, Jan Carlson, Abhilash Thekkilakattil, Radu Dobrin, Björn Lisper
13th International Symposium on Industrial Embedded Systems (SIES '18)

Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement Learning (May 2018)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg , Markus Bohlin, Björn Lisper
13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 18)

Learning-based Response Time Analysis in Real-Time Embedded Systems: A Simulation-based Approach (May 2018)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg , Markus Bohlin, Björn Lisper
1st International Workshop on Software Qualities and their Dependencies, located at the International Conference of Software Engineering (ICSE) 2018 (SQUADE'18)

Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System (Apr 2018)
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg , Markus Bohlin, Björn Lisper
ICST Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'18)

Project TitleStatus
3D Graphics Simulation finished
A Canonical Model of the Primary Visual Cortex finished
Affordable Safe & Secure Mobility Evolution finished
ALL-TIMES finished
APARTS - Advanced Program Analysis for Real-Time Systems finished
ARTIST finished
ArtistDesign finished
AUTOSAR for Multi-Core in Automotive and Automation Industries finished
CEST - Commissioned Education in Software Testing active
ConCentric CRAFT - Creative Activities Framework -- Theory and practice of Content-Centric interaction Technology finished
CONTESSE - Contract-Based Components for Embedded Software finished
Data Field Haskell finished
Demand-Driven Slicing active
Dimensional Inference in Strongly Typed Modeling Languages. finished
Genetic Algorithm Theory finished
Global Constraints in Constraint Programming and Local Search finished
Haxcel finished
HERO: Heterogeneous systems - software-hardware integration active
High Level Languages for Hard and Embedded Real-Time Systems finished
ITS-EASY Post Graduate School for Embedded Software and Systems active
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications active
Parallel Execution of PLEX programs finished
PG-CBD-StatA – Static Timing Analysis of Component-Based Systems finished
PROGRESS finished
PROMPT - Professional Master’s in Software Engineering (step II) finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C) active
RALF3 - Software for Embedded High Performance Architectures finished
Remodel finished
Response-time Calculations with Integer Linear Programming Methods finished
Static Program Analysis for Complex Embedded systems active
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
TESTOMAT Project - The Next Level of Test Automation active
Timing Analysis on Code-Level active
TIMMO-2-USE finished
TOCSYC - Testing of Critical System Characteristics (KKS) active
Tools for analysis of complex software systems finished
WCET - Worst-Case Execution Time analysis active
Worst-Case Execution Time Analysis of Parallel Systems finished