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.

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:

Rong Gu
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