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. 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 was 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  a member of HiPEAC as well as IFIP WG 10.2 on Embedded Systems.

Current research interests are in programming language issues, Including static program analysis and its applications to software testing, Worst-Case Execution Time (WCET) analysis, and the design of data parallel and array languages for programming of heterogenous systems with parallel accelerators.

 

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 finished
High Level Languages for Hard and Embedded Real-Time Systems finished
ITS-EASY Post Graduate School for Embedded Software and Systems finished
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications finished
ORPHEUS: systematic and reliable theory for model compilation 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
SmartDelta: Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development active
Software Center active
Static Program Analysis for Complex Embedded systems finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems finished
TESTOMAT Project - The Next Level of Test Automation finished
Timing Analysis on Code-Level finished
TIMMO-2-USE finished
TOCSYC - Testing of Critical System Characteristics (KKS) finished
Tools for analysis of complex software systems finished
WCET - Worst-Case Execution Time analysis active
Worst-Case Execution Time Analysis of Parallel Systems finished
PhD students supervised as main supervisor:

Andreas Gustavsson (former)
Christer Sandberg (former)
Filip Sebek (former)
Husni Khanfar
Jean Malm
Johan Lindhult (former)
Marcelo Santos (former)
Mikael Sandberg (former)
Roger Jonsson (former)
Waldemar Kocjan (former)
Xavier Vera (former)

PhD students supervised as assistant supervisor:

Christina Björkman (former)
Hamid Reza Faragardi (former)
Johan Kraft (former)
Lorenzo Addazi
Markus Nilsson (former)
Mikael Sollenborn (former)
Mohammad Riazati (former)
Taufik Akbar Sitompul (former)

MSc theses supervised (or examined):
Thesis TitleStatus
Master Thesis - Constraint Programming Techniques in WCET Analysis available
Automatic derivation of data flow graphs from software models for parallel execution 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