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:

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Safety-critical software - Quantification of test results (Oct 2020)
Johan Sundell, Kristina Lundqvist, Håkan Forsberg
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents (May 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist

DPAC Newsletter Spring 2020 (May 2020)
Kristina Lundqvist, Mikael Sjödin, Saad Mubeen, Håkan Forsberg, Mikael Ekström, Cristina Seceleanu, Nandinbaatar Tsog, Jakob Danielsson, Mohammad Loni, Baran Çürüklü, LanAnh Trinh, Afshin Ameri E., Luciana Provenzano, Kaj Hänninen, Susanne Fronnå, Marjan Sirjani, Rong Gu, Masoud Daneshtalab, Sima Sinaei, Joakim Lindén

Methods for Enhancement of a Master of Engineering Programme (Nov 2019)
Håkan Forsberg, Kristina Lundqvist, Kristina Forsberg
The 7th Development Conference for Swedish Engineering Education (USIU'2019)

Project Title	Status
ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems	finished
ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems	active
ARROWS - Design Techniques for Adaptive Embedded Systems	finished
ASIS - Architecture-based verification of software-intensive systems	finished
AVANS - civilingenjörsprogrammet i tillförlitliga flyg- och rymdsystem	finished
DPAC - Dependable Platforms for Autonomous systems and Control	active
ESS-H - Embedded Sensor Systems for Health Research Profile	finished
Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research	finished
ISE - Industrial Software Engineering	finished
ITS-EASY Post Graduate School for Embedded Software and Systems	active
KKS Adjungerad professur vid MDH - Avioniksystem	finished
PROMPT - Professional Master’s in Software Engineering (step II)	finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C)	active
Safety Critical Industrial Machine Vision Inspection and Control System (SAFEi)	finished
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems	active
Serendipity - Secure and dependable platforms for autonomy	active
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems	finished
TOCSYC - Testing of Critical System Characteristics (KKS)	finished

PhD students supervised as main supervisor:

Andreas Johnsen (former)
Göran Bertheau (former)
Guillaume Berteau (former)
Jayakanth Srinivasan (former)
Jiale Zhou (former)
Johan Sundell
Kristian Wiklund (former)
Malina Adach
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 (former)

MSc theses supervised (or examined):

Thesis Title	Status
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
Towards attack models of autonomous Systems of Systems	finished
Visual studio add-in for proxy object code generation	finished

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