Medverkande i utredning : Kristina Lundqvist

Ali, Nazakat, Lundqvist, Kristina och Hänninen, Kaj, Mitigation Ontology For Analysis of Safety-Critical Systems, Advances in Reliability, Safety Advances in Reliability, Safety and Security, Part 2, 2024,, s. 9–18

Bergler, M., Tavakoli-Kolagari, R. och Lundqvist, Kristina, Identifying Underrepresented Driving Scenarios in Training Datasets with SafeML Robustness Monitoring for Autonomous Driving Vehicles, 2024 8th International Conference on System Reliability and Safety, ICSRS 2024, 2024,, s. 245–253, : Institute of Electrical and Electronics Engineers (IEEE)

Gu, Rong, Baranov, Eduard, Ameri, Afshin, Enoiu, Eduard Paul, Curuklu, Baran, Seceleanu, Cristina, Legay, Alex och Lundqvist, Kristina, Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions, ACM Transactions on Software Engineering and Methodology, 2024, 33 nr 7, s. 1–46, : Association for Computing Machinery (ACM)

Adach, Malina, Ali, Nazakat, Hänninen, Kaj och Lundqvist, Kristina, Hazard Analysis on a System of Systems using the Hazard Ontology, 2023 18th Annual System of Systems Engineering Conference, SoSe 2023, 2023, : Institute of Electrical and Electronics Engineers Inc.

Bergler, Matthias, Extending and Improving the Security Abstraction Model for Architectural Models of Autonomous Vehicles, 2023, Mälardalens universitet, Västerås

Adach, Malina, Hänninen, Kaj och Lundqvist, Kristina, A Combined Security Ontology based on the Unified Foundational Ontology, Proceedings – 16th IEEE International Conference on Semantic Computing, ICSC 2022, 2022,, s. 187–194, : Institute of Electrical and Electronics Engineers (IEEE)

Adach, Malina, Hänninen, Kaj och Lundqvist, Kristina, Concepts and Relationships in Safety and Security Ontologies : A Comparative Study, 2022 6th International Conference on System Reliability and Safety, ICSRS 2022, 2022,, s. 357–364, : Institute of Electrical and Electronics Engineers Inc.

Adach, Malina, Hänninen, Kaj och Lundqvist, Kristina, Security Ontologies : A Systematic Literature Review, Lecture Notes In Computer Science, 2022,, s. 36–53, Cham : Springer Science and Business Media Deutschland GmbH

Bergler, M., Kolagari, R. T. och Lundqvist, Kristina, Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles, Lect. Notes Comput. Sci., 2022,, s. 87–97, Cham : Springer Science and Business Media Deutschland GmbH

Brandefors, Lena, Sander, B, Lundqvist, Kristina och Kimby, Eva, Clinical characteristic and outcome of lymphoplasmacytic lymphoma of non-Waldenstrom macroglobulinemia type : A Swedish lymphoma registry study, British Journal of Haematology, 2022, 196 nr 6, s. 1362–1368, : John Wiley & Sons

Gu, Rong, Jensen, Peter G., Seceleanu, Cristina, Enoiu, Eduard Paul och Lundqvist, Kristina, Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems, Science of Computer Programming, 2022, : Elsevier BV

Gu, Rong, Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance, 2022, Mälardalen University, Västerås

Gu, Rong, Jensen, Peter G., Poulsen, Danny B., Seceleanu, Cristina, Enoiu, Eduard Paul och Lundqvist, Kristina, Verifiable strategy synthesis for multiple autonomous agents: a scalable approach, International Journal on Software Tools for Technology Transfer, 2022, 24 nr 3, s. 395–414, : Springer Berlin/Heidelberg

Sundell, Johan, Safety Critical Software – Test Coverage vs Remaining Faults, 2022, Mälardalen University, Västerås

Gu, Rong, Seceleanu, Cristina, Enoiu, Eduard Paul och Lundqvist, Kristina, Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles, Lecture notes in computer science, vol. 13047, 2021,, s. 676–694, Cham : Springer Science and Business Media Deutschland GmbH

Provenzano, Luciana, Hänninen, Kaj och Lundqvist, Kristina, Role-based approach as support for safety analysis of collaborative systems, Proceedings – 2021 IEEE International Conference on Dependable, Autonomic and Secure Computing, International Conference on Pervasive Intelligence and Computing, International Conference on Cloud and Big Data Computing and International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2021, 2021,, s. 92–98, : Institute of Electrical and Electronics Engineers (IEEE)

Seceleanu, Cristina, Enoiu, Eduard Paul, Carlson, Jan, Lundqvist, Kristina, Sentilles, Séverine, Behnam, Moris och Capannini, Gabriele, Assured Cloud Platforms for Industrial Cyber-Physical Systems : The ACICS Approach, ACM International Conference Proceeding Series, 2021, New York, NY, USA : Association for Computing Machinery (ACM)

Gu, Rong, Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance, 2020, Mälardalen University, Västerås

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

Gu, Rong, Enoiu, Eduard Paul, Seceleanu, Cristina och Lundqvist, Kristina, Probabilistic Mission Planning and Analysis for Multi-agent Systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020,, s. 350–367, Cham : Springer Nature

Gu, Rong, Enoiu, Eduard Paul, Seceleanu, Cristina och Lundqvist, Kristina, Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents, Formal Methods for Industrial Critical Systems, FMICS 2020, Lecture Notes in Computer Science, vol 12327, 2020,, s. 73–92, Cham : Springer

Sundell, Johan, Lundqvist, Kristina och Forsberg, Håkan, Safety-Critical Software – Quantification of Test Results, Proceedings – 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020, 2020,, s. 303–310, : Institute of Electrical and Electronics Engineers Inc.

Forsberg, Håkan, Schwierz, Andreas och Lundqvist, Kristina, Assurance Strategy for New Computing Platforms in Safety-Critical Avionics, Aerospace Technology Congress 2019 FT2019, 2019,, s. 137–144, Stockholm, Sweden : Linköping University Electronic Press

Forsberg, Håkan, Lundqvist, Kristina och Forsberg, Kristina, Methods for Enhancement of a Master of Engineering Programme, 2019

Gu, Rong, Marinescu, Raluca, Seceleanu, Cristina och Lundqvist, Kristina, Towards a Two-layer Framework for Verifying Autonomous Vehicles, NASA Formal Methods. NFM 2019. Lecture Notes in Computer Science, vol 11460, 2019, Cham : Springer International Publishing