Kristina Lundqvist
Mälardalens högskola
H-index: 23
Europe-Sweden
Top articles of Kristina Lundqvist
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Hazard Analysis on a System of Systems using the Hazard Ontology | Malina Adach Nazakat Ali Kaj Hänninen Kristina Lundqvist | 2023/6/14 | |
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach | International Journal on Software Tools for Technology Transfer | Rong Gu Peter G Jensen Danny B Poulsen Cristina Seceleanu Eduard Enoiu | 2022/6 |
Case study on the use of the SafeML approach in training autonomous driving vehicles | Matthias Bergler Ramin Tavakoli Kolagari Kristina Lundqvist | 2022/5/15 | |
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems | Science of Computer Programming | Rong Gu Peter G Jensen Cristina Seceleanu Eduard Enoiu Kristina Lundqvist | 2022/12/1 |
A combined security ontology based on the unified foundational ontology | Malina Adach Kaj Hänninen Kristina Lundqvist | 2022/1/26 | |
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions | ACM Transactions on Software Engineering and Methodology | Rong Gu Eduard Baranov Afshin Ameri Eduard Paul Enoiu Baran Çürüklü | 2022 |
Concepts and relationships in safety and security ontologies: A comparative study | Malina Adach Kaj Hänninen Kristina Lundqvist | 2022/11/23 | |
Security Ontologies: A Systematic Literature Review | Malina Adach Kaj Hänninen Kristina Lundqvist | 2022/9/28 | |
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach | Cristina Seceleanu Eduard Paul Enoiu Jan Carlson Kristina Lundqvist Séverine Sentilles | 2021/5/26 | |
Formal verification of collision avoidance for nonlinear autonomous vehicle models | Rong Gu Cristina Seceleanu Eduard Paul Enoiu Kristina Lundqvist | 2021/4 | |
Model checking collision avoidance of nonlinear autonomous vehicles | Rong Gu Cristina Seceleanu Eduard Enoiu Kristina Lundqvist | 2021/11/20 | |
Structured information retrieval of security ontologies | Malina Adach Kaj Hänninen Kristina Lundqvist | 2021 | |
Role-based Approach as Support for Safety Analysis of Collaborative Systems | Luciana Provenzano Kaj Hänninen Kristina Lundqvist | 2021/10/25 | |
Probabilistic mission planning and analysis for multi-agent systems | Rong Gu Eduard Enoiu Cristina Seceleanu Kristina Lundqvist | 2020/10/20 | |
Verifiable and scalable mission-plan synthesis for autonomous agents | Rong Gu Eduard Enoiu Cristina Seceleanu Kristina Lundqvist | 2020 | |
Combining model checking and reinforcement learning for scalable mission planning of autonomous agents | Mälardalen Real-Time Research Centre, Mälardalen University.[Online]. Available: http://www. es. mdh. se/publications/5782 | Rong Gu Eduard Paul Enoiu Cristina Seceleanu Kristina Lundqvist | 2020 |
Safety-Critical Software-Quantification of Test Results | Johan Sundell Kristina Lundqvist Håkan Forsberg | 2020/10/12 |