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:

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)

A Resource Efficient Framework to Run Automotive Embedded Software on Multi-core ECUs (Jan 2018)
Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte
Journal of Systems and Software (JSS)

Project TitleStatus
3D Graphics Simulation finished
A Canonical Model of the Primary Visual Cortex finished
Affordable Safe & Secure Mobility Evolution active
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
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
MSc theses supervised (or examined):
Thesis TitleStatus
Master Thesis - Constraint Programming Techniques in WCET Analysis available
Automatic log analysis in industrial robot automation systems available
Generation of Mutants for Testing Execution Time available
Identifying and validating key features in a robot automation system available
Master Thesis - Value analysis of safety critical embedded software at Volvo CE / Värdeanalys av säkerhetskritisk inbyggd programvara vid Volvo CE available
Towards an Eclipse Modelling Environment for LLVM available
Interpretator för naturkatastrofsimulator selected
Adaptering av SimpleScalar simulatorn till exekveringsverktyget SWEET in progress
Fault Injection in a complex middleware system - Felinjektion i ett komplext system in progress
Förbättrad simulering av minneselektronik in progress
Pansarvagnssimulator i 3D in progress
System and Issue Tracker Application in progress
Master Thesis - Writing a PowerPC assembler to ALF translator in cooperation with world-leading WCET tool providers finished
A Case Study of Parallel Bilateral Filtering on the GPU finished
A Mobile Graph Like Visual Programming Language finished
A tool to facilitate interactive and collaborative learning of execution flow and code for novice computer science finished
Abstrakt interpretering med avancerade numeriska domäner finished
An ALF/UML to ALF/SWEET translator finished
Automated image analyzing and categorizing program finished
Automated Test Generation for Structured Text Language using UPPAAL Model Checker finished
Data Field Haskell 98 finished
Development of a Communication Framework for optimized and guaranteed information exchange between train and wayside finished
DuPaD: A dual-paradigm drawing tool finished
En matematikapplikation utvecklad för Windows 8 finished
Ett flexiblare ramverk vid skapande av guider finished
Evaluation of a method for identifying timing models finished
Exekveringstidsanalys av taskorienterad kod för fordon finished
Extension of the WCET benchmark program suite finished
Flervägs dataanalysator för seriell data finished
Formell semantik för händelsestyrda språk (på Ericsson) finished
Förenklad 3D Modellering finished
gPROMS Dimensional Inference finished
GPU Programming in a Functional Language finished
Implementering av slicing i SWEET mot ALF-kod finished
Implementing Adventure Games using Logic Programming finished
Implementing an ALF/UML to ALF/SWEET translator finished
Integrating an event detection algebra in C# finished
Lastanalysator till RAPID finished
Master Thesis - Developing an ALF interpreter for the SWEET WCET analysis tool finished
Master Thesis - Writing a NECV850E assembler to ALF translator in cooperation with world-leading WCET tool providers finished
Minneskrockar vid parallellexekvering (Ericsson) finished
Occlusion Culling in Interactive Graphics Applications finished
Omdesign av Ozkompilatorn finished
Omimplementering av Data Field Haskell finished
Pitfalls in Spatial Modelling of Ethnocentrism finished
Portering av Data Field Haskell finished
Portning av ett WCET verktyg till Hitachi H8 och Lego Mindstorms finished
Researching Integration of ART Test Cases into JCAT finished
Responsive web design – an explorative analysis from an aesthetic, functional and technical perspective finished
Statisk analysator till RAPID finished
Svarstidsberäkning, Prioritets Tilldelning och Holistisk Schemaläggning med Heltalsprogrammeringsmetoder finished
The Functional Paradigm in Embedded Real-Time Systems finished
Type-directed Generation and Shrinking for Imperative Programming Languages finished
Utvärdering av Metoder för Dynamisk Tidsanalys för CC-Systems AB finished
Utvärdering av programflödesanalys för WCET-beräkningar vid Volvo Construction Equipment finished
Utvärdering av Statisk Tidsanalys för CC-Systems AB finished
Utvärdering av Statisk Tidsanalys för ett kommersiellt Real-Time operativ System finished
Virtual environment for assembler code diagnosis finished
Visualiseringsverktyg för ortopediskaoperationer finished
WCET Analysis and Certification of Automatically Generated Code for CC-Systems AB finished
Ett kalkylbladsinterface till Haskell on-hold
Ett matematiskt korrekt, typsäkert matrisbibliotek i C++ on-hold
Implementering av algoritmer för att detektera avvikelser i EDGAR on-hold