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.
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)
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)
Rong Gu
Youssef Zaki (former)