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.
Concepts and relationships in safety and security ontologies: A comparative study (Nov 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist 5th International Conference on System Reliability and Safety (ICSRS-2022)
Search results of security ontologies 1988-2022 (Oct 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist
Structured Information Retrieval of Security Ontologies (Oct 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist
Security Ontologies:A Systematic Literature Review (Oct 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist 26th The Enterprise Computing Conference 2022 (EDOC 2022)
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022) Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist Science of Computer Programming (SCICO-223)
Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022) Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist International Journal on Software Tools for Technology Transfer (STTT)
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)
Matthias Bergler
Sebastien Gorelov (former)
Stefan Björnander (former)
Yves Boussemart (former)
Rong Gu (former)
Youssef Zaki (former)