Kristina Lundqvist, Professor


Kristina Lundqvist serves as the Professor of Dependable Software Engineering at the School of Innovation, Design and Engineering at Mälardalen University. Her research group on Safety-critical engineering focuses on bridging the gap between the theoretical foundations of dependability and industrial software development practices of complex dependable systems. Additionally, Prof. Lundqvist is the Director of the ITS-EASY industrial research school. She received a Ph.D. in Computer Systems from Uppsala University in 2000. Prior to coming to Mälardalen University in 2007, she served on the faculty of the Department of Aeronautics and Astronautics at Massachusetts Institute of Technology (MIT).

Professor Lundqvist's research group on Safety-critical engineering focuses on bridging the theoretical foundations of dependability and industrial software development practices, with an emphasis on the technology and process aspects of complex dependable systems.

[Show all publications]

[Google Scholar author page]

Latest publications:

An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems (Dec 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
2017 2nd International Conference on System Reliability and Safety (ICSRS'17)

An Ontological Approach to Elicit Safety Requirements (Dec 2017)
Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist
24th Asia-Pacific Software Engineering Conference (APSEC 2017)

Survey on Data Security and Privacy in Wireless Sensor Systems for Health (Nov 2017)
Aida Causevic, Hossein Fotouhi, Kristina Lundqvist
Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications (Wiley)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology (Sep 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)

PhD students supervised as main supervisor:

Andreas Johnsen
Göran Bertheau (former)
Guillaume Berteau (former)
Jayakanth Srinivasan (former)
Jiale Zhou
Johan Sundell
Kristian Wiklund (former)
Martin Ouimet (former)
Mathieu Quenot (former)
Sebastien Gorelov (former)
Stefan Björnander (former)
Yves Boussemart (former)

PhD students supervised as assistant supervisor:

Youssef Zaki

MSc theses supervised (or examined):
Thesis TitleStatus
Towards attack models of autonomous Systems of Systems available
Team Dynamics in Software Development selected
Attributes of Space plug-and-play Avionics Local Subnet verified with UPPAAL in progress
En kunskapsportal i ett industrikluster in progress
Implementation of a web application using third-party web services - Comparison between .NET and PHP in progress
Real-Time Linux - Demonstrating Real-Time Application Interface as a development platform in progress
Tool for Risk Evaluation in progress
A Model for Estimating the Execution Cost of Test Cases finished
A model-based safety analysis approach for high-integrity socio-technical component-based systems finished
A web store based on reusable .NET components finished
An approach to allow safety requirements to be efficiently decomposed, traced and validated finished
An executable meta-model for safety-oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178B finished
Automatiserad arkitektur-baserad verifiering av säkerhetskritiska system finished
Building a safety case for a small-sized product line of Fuel Level Display systems finished
Building a Safety Case in Compliance with ISO 26262 for Fuel Level Estimation and Display System finished
Comparison between .NET and Java EE - Implementation of a Cash & Bank Application finished
Comparison between ASP.NET and PHP: Implementation of a Real Estate Database finished
Comparison of Web Development Technologies ‐ ASP.NET & PHP finished
Course Curriculum Planning and Management System finished
Huvudmeny Handy Blue finished
Investigation of an OSLC-domain targeting ISO 26262 -Focus on the left side of the Software V-model- finished
Model-based Testing on Generated C Code finished
Reusing Process Elements in the Context of Safety Critical Systems Development and Certification finished
Simulation of Safety-Critical Systems Specified in AADL finished
Visual studio add-in for proxy object code generation finished