Jan Gustafsson, Associate Professor, Senior Lecturer

Jan Gustafsson is Senior Lecturer in Computer Engineering at Mälardalen University since 1985. He has been the head of the department 1993 - 1997 and 1998 - 1999, and is one of the founders of the department, its educational programmes and its research.

He worked at ABB Västerås, Sweden 1975 - 1985 with development of real-time industrial control systems and was manager for the Base System Development (operating system, data communication and database system).

He received a B.Sc. in Mathematics, Physics, Astronomy and Computer Science at Uppsala University, 1974, and a Licentiate degree in Machine Elements (Computer Controlled Mechanics) at KTH, Stockholm, Sweden, 1994.

His current research concerns high-level analysis of real-time programs to calculate annotations to be used in WCET (Worst Case Execution Time) analysis. His research is partly connected to ASTEC at Uppsala University.

In May 2000 he graduated at Uppsala University. In May 2005 Jan was appointed "Docent" (US = associate professor) at Mälardalen University.

Jan Gustafsson retired in May 2012, but still works 20% at MDH.

Jan Gustafssons main interest concerns WCET (Worst Case Execution Time) analysis, especially flow analysis for WCET.

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

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)

Analysing Switch-Case Code with Abstract Execution (Jul 2015)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper
15th International Workshop on Worst-Case Execution Time Analysis (WCET'15)

Combining Bound-T and SWEET to Analyse Dynamic Control Flow in Machine-Code Programs (Nov 2014)
Niklas Holsti , Jan Gustafsson, Linus Källberg, Björn Lisper

Timing Analysis of Parallel Software Using Abstract Execution (Jan 2014)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)

Toward Static Timing Analysis of Parallel Software (Jul 2012)
Andreas Gustavsson, Jan Gustafsson, Björn Lisper
12th International Workshop on Worst-Case Execution-Time Analysis

PhD students supervised as assistant supervisor:

Andreas Gustavsson (former)
Husni Khanfar