Distributed Run-Time Systems, a Protocol for Ada. - Lars Björnfot; Lars Asplund; Kristina Lundqvist; Göran Wall (Ada-Europe, 1993)

Performance Expectations on Ada Programs. - Göran Wall; Lars Asplund; Lars Björnfot; Kristina Lundqvist (Ada-Europe, 1993)

Distribution of Tasks within a Centrally Scheduled Local Area Network. - Lars Björnfot; Kristina Lundqvist; Göran Wall; Lars Asplund (Ada-Europe, 1994)

Termination of Ada tasks in hardware. - Lars Björnfot; Kristina Lundqvist; Göran Wall; Lars Asplund (TRI-Ada, 1995)

Using Object-Oriented Methods in Ada 95 to Implement Linda. - Kristina Lundqvist; Göran Wall (Ada-Europe, 1996)

Shared Packages Through Linda. - Göran Wall; Kristina Lundqvist (Ada-Europe, 1996)

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. - Kristina Lundqvist; Lars Asplund; Stephen Mitchell (Ada-Europe, 1999)

Extendable, dispatchable task communication mechanisms. - Stephen Michell; Kristina Lundqvist (IRTAW, 1999)

A Formal Model of a Run-Time Kernel for Ravenscar. - Kristina Lundqvist; Lars Asplund (RTCSA, 1999)

A formal model of the Ada Ravenscar tasking profile; delay until. - Kristina Lundqvist; Lars Asplund (SIGAda, 1999)

Investigating the readability of state-based formal requirements specification languages. - Marc K. Zimmerman; Kristina Lundqvist; Nancy G. Leveson (ICSE, 2002)

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. - Kristina Lundqvist; Lars Asplund (Real Time Syst., 2003)

Non-intrusive System Level Fault-Tolerance. - Kristina Lundqvist; Jayakanth Srinivasan; Sébastien Gorelov (Ada-Europe, 2005)

Component-Based Approach to Run-Time Kernel Specification and Verification. - Gustaf Naeser; Kristina Lundqvist (ECRTS, 2005)

Temporal skeletons for verifying time. - Gustaf Naeser; Kristina Lundqvist; Lars Asplund (SIGAda, 2005)

A First Course in Software Engineering for Aerospace Engineers. - Kristina Lundqvist; Jayakanth Srinivasan (CSEE&T, 2006)

Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. - Yves Boussemart; Sébastien Gorelov; Martin Ouimet; Kristina Lundqvist (ICN/ICONS/MCL, 2006)

Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. - Martin Ouimet; Guillaume Berteau; Kristina Lundqvist (MoDELS (Workshops), 2006)

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. - Martin Ouimet; Kristina Lundqvist (APSEC, 2007)

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. - Martin Ouimet; Kristina Lundqvist (CAV, 2007)

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. - Martin Ouimet; Kristina Lundqvist (MiSE@ICSE, 2007)

A Constructivist Approach to Teaching Software Processes. - Jayakanth Srinivasan; Kristina Lundqvist (ICSE, 2007)

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. - Martin Ouimet; Kristina Lundqvist (MBT, 2007)

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. - Martin Ouimet; Kristina Lundqvist (J. Univers. Comput. Sci., 2008)

'State of the Art' in Using Agile Methods for Embedded Systems Development. - Jayakanth Srinivasan; Radu Dobrin; Kristina Lundqvist (COMPSAC (2), 2009)

Lessons Learned from a Workshop on Relationship Building. - Jayakanth Srinivasan; Annika Löfgren; Christer Norström; Kristina Lundqvist (ICGSE, 2009)

Using Agile Methods in Software Product Development: A Case Study. - Jayakanth Srinivasan; Kristina Lundqvist (ITNG, 2009)

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. - Stefan Björnander; Lars Grunske; Kristina Lundqvist (QoSA, 2009)

Organizational Enablers for Agile Adoption: Learning from GameDevCo. - Jayakanth Srinivasan; Kristina Lundqvist (XP, 2009)

Agile in India: challenges and lessons learned. - Jayakanth Srinivasan; Kristina Lundqvist (ISEC, 2010)

Studying software organizations: in search of a method. - Jayakanth Srinivasan; Kristina Lundqvist; Christer Norström (ISEC, 2010)

Semantic decoupling: reducing the impact of requirement changes. - Israel Navarro; Nancy G. Leveson; Kristina Lundqvist (Requir. Eng., 2010)

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. - Andreas Johnsen; Kristina Lundqvist (Ada-Europe, 2011)

An Architecture-Based Verification Technique for AADL Specifications. - Andreas Johnsen; Paul Pettersson; Kristina Lundqvist (ECSA, 2011)

ABV - A Verifier for the Architecture Analysis and Design Language (AADL). - Stefan Björnander; Cristina Cerschi Seceleanu; Kristina Lundqvist; Paul Pettersson (ICECCS, 2011)

Automated Verification of AADL-Specifications Using UPPAAL. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Omar Jaradat (HASE, 2012)

Liability for software in safety-critical mechatronic systems: An industrial questionnaire. - Holger M. Kienle; Daniel Sundmark; Kristina Lundqvist; Andreas Johnsen (SEES@ICSE, 2012)

Technical Debt in Test Automation. - Kristian Wiklund; Sigrid Eldh; Daniel Sundmark; Kristina Lundqvist (ICST, 2012)

A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. - Stefan Björnander; Rikard Land; Patrick J. Graydon; Kristina Lundqvist; Philippa Conmy (ISSRE Workshops, 2012)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. - Raghad Dardar; Barbara Gallina; Andreas Johnsen; Kristina Lundqvist; Mattias Nyberg (ISSRE Workshops, 2012)

Formal execution semantics for asynchronous constructs of AADL. - Jiale Zhou; Andreas Johnsen; Kristina Lundqvist (ACES-MB@MoDELS, 2012)

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist (EUROMICRO-SEAA, 2013)

Can we do useful industrial software engineering research in the shadow of lean and agile? - Kristian Wiklund; Sigrid Eldh; Daniel Sundmark; Kristina Lundqvist (CESI@ICSE, 2013)

Impediments in Agile Software Development: An Empirical Investigation. - Kristian Wiklund; Daniel Sundmark; Sigrid Eldh; Kristina Lundqvist (PROFES, 2013)

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. - Barbara Gallina; Antonio Gallucci; Kristina Lundqvist; Mattias Nyberg (SASSUR@SAFECOMP, 2013)

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. - Barbara Gallina; Karthik Raja Pitchai; Kristina Lundqvist (SERA (selected papers), 2013)

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist (Ada-Europe, 2014)

Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board. - Kristian Wiklund; Daniel Sundmark; Sigrid Eldh; Kristina Lundqvist (ICST, 2014)

Regression verification of AADL models through slicing of system dependence graphs. - Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Kaj Hänninen (QoSA, 2014)

The observer-based technique for requirements validation in embedded real-time systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist (RET, 2014)

Towards feature-oriented requirements validation for automotive systems. - Jiale Zhou; Yue Lu 005; Kristina Lundqvist; Henrik Lönn; Daniel Karlsson; Bo Liwang (RE, 2014)

An environment-driven ontological approach to requirements elicitation for safety-critical systems. - Jiale Zhou; Kaj Hänninen; Kristina Lundqvist; Yue Lu 005; Luciana Provenzano; Kristina Forsberg (RE, 2015)

Communication and Security in Health Monitoring Systems - A Review. - Hossein Fotouhi; Aida Causevic; Kristina Lundqvist; Mats Björkman (COMPSAC, 2016)

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (QoSA, 2016)

An Ontological Approach to Elicit Safety Requirements. - Luciana Provenzano; Kaj Hänninen; Jiale Zhou; Kristina Lundqvist (APSEC, 2017)

A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology. - Jiale Zhou; Kaj Hänninen; Kristina Lundqvist (SEAA, 2017)

Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. - Andreas Johnsen; Gordana Dodig Crnkovic; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ICSA Workshops, 2017)

An ontological approach to identify the causes of hazards for safety-critical systems. - Jiale Zhou; Kaj Hänninen; Kristina Lundqvist; Luciana Provenzano (ICSRS, 2017)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson (ISSRE, 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. - Andreas Johnsen; Kristina Lundqvist; Kaj Hänninen; Paul Pettersson; Martin Torelm (ISSRE, 2017)

Impediments for software test automation: A systematic literature review. - Kristian Wiklund; Sigrid Eldh; Daniel Sundmark; Kristina Lundqvist (Softw. Test. Verification Reliab., 2017)

Formal verification of an autonomous wheel loader by model checking. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (FormaliSE@ICSE, 2018)

Incorporating Attacks Modeling into Safety Process. - Amer Surkovic; Dzana Hanic; Elena Lisova; Aida Causevic; Kristina Lundqvist; David Wenslandt; Carl Falk (SAFECOMP Workshops, 2018)

Prediction of Undetected Faults in Safety-Critical Software. - Johan Sundell; Richard Torkar; Kristina Lundqvist; Håkan Forsberg (ICST Workshops, 2019)

Towards a Two-Layer Framework for Verifying Autonomous Vehicles. - Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist (NFM, 2019)

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (FMICS, 2020)

Probabilistic Mission Planning and Analysis for Multi-agent Systems. - Rong Gu; Eduard Enoiu; Cristina Seceleanu; Kristina Lundqvist (ISoLA (1), 2020)

Safety-Critical Software - Quantification of Test Results. - Johan Sundell; Kristina Lundqvist; Håkan Forsberg (ISSRE Workshops, 2020)

Role-based Approach as Support for Safety Analysis of Collaborative Systems. - Luciana Provenzano; Kaj Hänninen; Kristina Lundqvist (DASC/PiCom/CBDCom/CyberSciTech, 2021)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. - Cristina Seceleanu; Eduard Paul Enoiu; Jan Carlson; Kristina Lundqvist; Séverine Sentilles; Moris Behnam; Gabriele Capannini (ECBS, 2021)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. - Rong Gu; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (FM, 2021)

Security Ontologies: A Systematic Literature Review. - Malina Adach; Kaj Hänninen; Kristina Lundqvist (EDOC, 2022)

Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles. - Matthias Bergler; Ramin Tavakoli Kolagari; Kristina Lundqvist (ICIAP (3), 2022)

Concepts and Relationships in Safety and Security Ontologies: A Comparative Study. - Malina Adach; Kaj Hänninen; Kristina Lundqvist (ICSRS, 2022)

A Combined Security Ontology based on the Unified Foundational Ontology. - Malina Adach; Kaj Hänninen; Kristina Lundqvist (ICSC, 2022)

Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. - Rong Gu; Peter Gjøl Jensen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Sci. Comput. Program., 2022)

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. - Rong Gu; Peter Gjøl Jensen; Danny Bøgsted Poulsen; Cristina Seceleanu; Eduard Enoiu; Kristina Lundqvist (Int. J. Softw. Tools Technol. Transf., 2022)

Hazard Analysis on a System of Systems using the Hazard Ontology. - Malina Adach; Nazakat Ali; Kaj Hänninen; Kristina Lundqvist (SoSE, 2023)

Identifying Underrepresented Driving Scenarios in Training Datasets with SafeML Robustness Monitoring for Autonomous Driving Vehicles. - Matthias Bergler; Ramin Tavakoli Kolagari; Kristina Lundqvist (ICSRS, 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. - Rong Gu; Eduard Baranov; Afshin Ameri; Cristina Seceleanu; Eduard Paul Enoiu; Baran Çürüklü; Axel Legay; Kristina Lundqvist (ACM Trans. Softw. Eng. Methodol., 2024)