| 2022 | EDOC | Security Ontologies: A Systematic Literature Review. | Malina Adach, Kaj Hnninen, Kristina Lundqvist |
| 2022 | ICIAP | Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles. | Matthias Bergler, Ramin Tavakoli Kolagari, Kristina Lundqvist |
| 2021 | DASC | Role-based Approach as Support for Safety Analysis of Collaborative Systems. | Luciana Provenzano, Kaj Hnninen, Kristina Lundqvist |
| 2021 | FM | Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. | Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist |
| 2020 | FMICS | Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | ISoLA | Probabilistic Mission Planning and Analysis for Multi-agent Systems. | Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist |
| 2020 | ISSRE | Safety-Critical Software - Quantification of Test Results. | Johan Sundell, Kristina Lundqvist, Hkan Forsberg |
| 2019 | ICST | Prediction of Undetected Faults in Safety-Critical Software. | Johan Sundell, Richard Torkar, Kristina Lundqvist, Hkan Forsberg |
| 2018 | ICSE | Formal verification of an autonomous wheel loader by model checking. | Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist |
| 2018 | SAFECOMP | Incorporating Attacks Modeling into Safety Process. | Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk |
| 2017 | APSEC | An Ontological Approach to Elicit Safety Requirements. | Luciana Provenzano, Kaj Hnninen, Jiale Zhou, Kristina Lundqvist |
| 2017 | ICSA | Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. | Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson |
| 2017 | ISSRE | AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson |
| 2017 | ISSRE | Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. | Andreas Johnsen, Kristina Lundqvist, Kaj Hnninen, Paul Pettersson, Martin Torelm |
| 2016 | COMPSAC | Communication and Security in Health Monitoring Systems - A Review. | Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Bjrkman |
| 2015 | RE | An environment-driven ontological approach to requirements elicitation for safety-critical systems. | Jiale Zhou, Kaj Hnninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg |
| 2014 | ICST | Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board. | Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist |
| 2014 | RE | The observer-based technique for requirements validation in embedded real-time systems. | Jiale Zhou, Yue Lu, Kristina Lundqvist |
| 2014 | RE | Towards feature-oriented requirements validation for automotive systems. | Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lnn, Daniel Karlsson, Bo Liwang |
| 2013 | ICSE | Can we do useful industrial software engineering research in the shadow of lean and agile? | Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist |
| 2013 | PROFES | Impediments in Agile Software Development: An Empirical Investigation. | Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist |
| 2013 | SAFECOMP | VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
| 2013 | SERA | S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. | Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist |
| 2012 | ICSE | Liability for software in safety-critical mechatronic systems: An industrial questionnaire. | Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen |
| 2012 | ICST | Technical Debt in Test Automation. | Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist |
| 2012 | ISSRE | A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. | Stefan Bjrnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy |
| 2012 | ISSRE | Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. | Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg |
| 2012 | MODELS | Formal execution semantics for asynchronous constructs of AADL. | Jiale Zhou, Andreas Johnsen, Kristina Lundqvist |
| 2011 | ECSA | An Architecture-Based Verification Technique for AADL Specifications. | Andreas Johnsen, Paul Pettersson, Kristina Lundqvist |
| 2011 | ICECCS | ABV - A Verifier for the Architecture Analysis and Design Language (AADL). | Stefan Bjrnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
| 2009 | COMPSAC | 'State of the Art' in Using Agile Methods for Embedded Systems Development. | Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist |
| 2009 | ICGSE | Lessons Learned from a Workshop on Relationship Building. | Jayakanth Srinivasan, Annika Lfgren, Christer Norstrm, Kristina Lundqvist |
| 2007 | APSEC | The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. | Martin Ouimet, Kristina Lundqvist |
| 2007 | CAV | The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. | Martin Ouimet, Kristina Lundqvist |
| 2007 | ICSE | Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. | Martin Ouimet, Kristina Lundqvist |
| 2007 | ICSE | A Constructivist Approach to Teaching Software Processes. | Jayakanth Srinivasan, Kristina Lundqvist |
| 2006 | MODELS | Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. | Martin Ouimet, Guillaume Berteau, Kristina Lundqvist |
| 2005 | ECRTS | Component-Based Approach to Run-Time Kernel Specification and Verification. | Gustaf Naeser, Kristina Lundqvist |
| 2002 | ICSE | Investigating the readability of state-based formal requirements specification languages. | Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson |
| 1999 | RTCSA | A Formal Model of a Run-Time Kernel for Ravenscar. | Kristina Lundqvist, Lars Asplund |