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.

Members
Projects
Latest Publications

First Name	Last Name	Title
Abu Naser	Masud	Senior Lecturer
Björn	Lisper	Professor
Daniel	Hedin	Senior Lecturer
Husni	Khanfar	Doctoral student
Jean	Malm	Doctoral student

Project Title	Status
HERO: Heterogeneous systems - software-hardware integration	active
Software Center	active
WCET - Worst-Case Execution Time analysis	active
Affordable Safe & Secure Mobility Evolution	finished
ALL-TIMES	finished
APARTS - Advanced Program Analysis for Real-Time Systems	finished
ArtistDesign	finished
Data Field Haskell	finished
Dimensional Inference in Strongly Typed Modeling Languages.	finished
Global Constraints in Constraint Programming and Local Search	finished
Haxcel	finished
High Level Languages for Hard and Embedded Real-Time Systems	finished
MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications	finished
Parallel Execution of PLEX programs	finished
PG-CBD-StatA – Static Timing Analysis of Component-Based Systems	finished
RALF3 - Software for Embedded High Performance Architectures	finished
Response-time Calculations with Integer Linear Programming Methods	finished
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
Worst-Case Execution Time Analysis of Parallel Systems	finished

[Show all publications]

Semantic Correctness of Dependence-Based Slicing for Interprocedural, Possibly Nonterminating Programs (Dec 2020)
Abu Naser Masud, Björn Lisper
ACM Transactions on Programming Languages and Systems (TOPLAS)

Simple and Efficient Computation of Minimal Weak Control Closure (Nov 2020)
Abu Naser Masud
SAS 2020 - 27th Static Analysis Symposium (SAS 2020)

More precise construction of static single assignment programs using reaching definitions (Apr 2020)
Abu Naser Masud, Federico Ciccozzi
Journal of Systems and Software (JSS)

Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs (Nov 2019)
Husni Khanfar

Active Set Strategies for the Computation of Minimum-Volume Enclosing Ellipsoids (Nov 2019)
Linus Källberg, Daniel Andrén

Executable Modelling for Highly Parallel Accelerators (Sep 2019)
Lorenzo Addazi, Federico Ciccozzi, Björn Lisper
Workshop on Modelling Language Engineering and Execution at IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MLE@MODELS)

Björn Lisper, Professor

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

We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.

By continuing to use our website without changing the settings, you are agreeing to our use of cookies.

close

Mälardalen University

|

Box 325, 631 05 Eskilstuna

|

Box 883, 721 23 Västerås

|

+46-21-10 13 00, +46-16-15 36 00