Kristina Lundqvist

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 27

Top Topics

Embedded Systems

Literature Review

Quality Assurance

Autonomous Vehicles

Top Venues

Publications

Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist
Hazard Analysis on a System of Systems using the Hazard Ontology. SoSE (2023)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
Security Ontologies: A Systematic Literature Review. EDOC (2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
Concepts and Relationships in Safety and Security Ontologies: A Comparative Study. ICSRS (2022)
Rong Gu, Peter Gjøl Jensen, Danny Bøgsted Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Sci. Comput. Program. 224 (2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
A Combined Security Ontology based on the Unified Foundational Ontology. ICSC (2022)
Matthias Bergler, Ramin Tavakoli Kolagari, Kristina Lundqvist
Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles. ICIAP (3) (2022)
Cristina Seceleanu, Eduard Paul Enoiu, Jan Carlson, Kristina Lundqvist, Séverine Sentilles, Moris Behnam, Gabriele Capannini
Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach. ECBS (2021)
Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. FM (2021)
Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist
Role-based Approach as Support for Safety Analysis of Collaborative Systems. DASC/PiCom/CBDCom/CyberSciTech (2021)
Johan Sundell, Kristina Lundqvist, Håkan Forsberg
Safety-Critical Software - Quantification of Test Results. ISSRE Workshops (2020)
Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
Probabilistic Mission Planning and Analysis for Multi-agent Systems. ISoLA (1) (2020)
Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. FMICS (2020)
Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg
Prediction of Undetected Faults in Safety-Critical Software. ICST Workshops (2019)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
Towards a Two-Layer Framework for Verifying Autonomous Vehicles. NFM (2019)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk
Incorporating Attacks Modeling into Safety Process. SAFECOMP Workshops (2018)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
Formal verification of an autonomous wheel loader by model checking. FormaliSE@ICSE (2018)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. ISSRE (2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
An ontological approach to identify the causes of hazards for safety-critical systems. ICSRS (2017)
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
Impediments for software test automation: A systematic literature review. Softw. Test. Verification Reliab. 27 (8) (2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist
A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology. SEAA (2017)
Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. ICSA Workshops (2017)
Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist
An Ontological Approach to Elicit Safety Requirements. APSEC (2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE (2017)
Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman
Communication and Security in Health Monitoring Systems - A Review. COMPSAC (2016)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA (2016)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg
An environment-driven ontological approach to requirements elicitation for safety-critical systems. RE (2015)
Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board. ICST (2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. Ada-Europe (2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang
Towards feature-oriented requirements validation for automotive systems. RE (2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
The observer-based technique for requirements validation in embedded real-time systems. RET (2014)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
Regression verification of AADL models through slicing of system dependence graphs. QoSA (2014)
Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist
S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. SERA (selected papers) (2013)
Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
Impediments in Agile Software Development: An Empirical Investigation. PROFES (2013)
Jiale Zhou, Yue Lu, Kristina Lundqvist
A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems. EUROMICRO-SEAA (2013)
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
Can we do useful industrial software engineering research in the shadow of lean and agile? CESI@ICSE (2013)
Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. SASSUR@SAFECOMP (2013)
Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. ISSRE Workshops (2012)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
Automated Verification of AADL-Specifications Using UPPAAL. HASE (2012)
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
Technical Debt in Test Automation. ICST (2012)
Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. ISSRE Workshops (2012)
Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen
Liability for software in safety-critical mechatronic systems: An industrial questionnaire. SEES@ICSE (2012)
Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
Formal execution semantics for asynchronous constructs of AADL. ACES-MB@MoDELS (2012)
Andreas Johnsen, Kristina Lundqvist
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. Ada-Europe (2011)
Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS (2011)
Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
An Architecture-Based Verification Technique for AADL Specifications. ECSA (2011)
Jayakanth Srinivasan, Kristina Lundqvist, Christer Norström
Studying software organizations: in search of a method. ISEC (2010)
Jayakanth Srinivasan, Kristina Lundqvist
Agile in India: challenges and lessons learned. ISEC (2010)
Israel Navarro, Nancy G. Leveson, Kristina Lundqvist
Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15 (4) (2010)
Jayakanth Srinivasan, Kristina Lundqvist
Organizational Enablers for Agile Adoption: Learning from GameDevCo. XP (2009)
Stefan Björnander, Lars Grunske, Kristina Lundqvist
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA (2009)
Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist
'State of the Art' in Using Agile Methods for Embedded Systems Development. COMPSAC (2) (2009)
Jayakanth Srinivasan, Kristina Lundqvist
Using Agile Methods in Software Product Development: A Case Study. ITNG (2009)
Jayakanth Srinivasan, Annika Löfgren, Christer Norström, Kristina Lundqvist
Lessons Learned from a Workshop on Relationship Building. ICGSE (2009)
Martin Ouimet, Kristina Lundqvist
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. J. Univers. Comput. Sci. 14 (12) (2008)
Martin Ouimet, Kristina Lundqvist
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. MiSE@ICSE (2007)
Martin Ouimet, Kristina Lundqvist
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. CAV (2007)
Martin Ouimet, Kristina Lundqvist
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. APSEC (2007)
Martin Ouimet, Kristina Lundqvist
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Jayakanth Srinivasan, Kristina Lundqvist
A Constructivist Approach to Teaching Software Processes. ICSE (2007)
Martin Ouimet, Guillaume Berteau, Kristina Lundqvist
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. MoDELS (Workshops) (2006)
Kristina Lundqvist, Jayakanth Srinivasan
A First Course in Software Engineering for Aerospace Engineers. CSEE&T (2006)
Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. ICN/ICONS/MCL (2006)
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
Temporal skeletons for verifying time. SIGAda (2005)
Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov
Non-intrusive System Level Fault-Tolerance. Ada-Europe (2005)
Gustaf Naeser, Kristina Lundqvist
Component-Based Approach to Run-Time Kernel Specification and Verification. ECRTS (2005)
Kristina Lundqvist, Lars Asplund
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. Real Time Syst. 24 (1) (2003)
Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson
Investigating the readability of state-based formal requirements specification languages. ICSE (2002)
Kristina Lundqvist, Lars Asplund, Stephen Mitchell
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. Ada-Europe (1999)
Stephen Michell, Kristina Lundqvist
Extendable, dispatchable task communication mechanisms. IRTAW (1999)
Kristina Lundqvist, Lars Asplund
A Formal Model of a Run-Time Kernel for Ravenscar. RTCSA (1999)
Kristina Lundqvist, Lars Asplund
A formal model of the Ada Ravenscar tasking profile; delay until. SIGAda (1999)
Göran Wall, Kristina Lundqvist
Shared Packages Through Linda. Ada-Europe (1996)
Kristina Lundqvist, Göran Wall
Using Object-Oriented Methods in Ada 95 to Implement Linda. Ada-Europe (1996)
Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
Termination of Ada tasks in hardware. TRI-Ada (1995)
Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
Distribution of Tasks within a Centrally Scheduled Local Area Network. Ada-Europe (1994)
Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist
Performance Expectations on Ada Programs. Ada-Europe (1993)
Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall
Distributed Run-Time Systems, a Protocol for Ada. Ada-Europe (1993)