Kristina Lundqvist

According to our database, Kristina Lundqvist authored at least 78 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Hazard Analysis on a System of Systems using the Hazard Ontology.

Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist

Proceedings of the 18th Annual System of Systems Engineering Conference, 2023

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

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

A Combined Security Ontology based on the Unified Foundational Ontology.

Malina Adach, Kaj Hänninen, Kristina Lundqvist

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Concepts and Relationships in Safety and Security Ontologies: A Comparative Study.

Malina Adach, Kaj Hänninen, Kristina Lundqvist

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles.

Matthias Bergler, Ramin Tavakoli Kolagari, Kristina Lundqvist

Proceedings of the Image Analysis and Processing - ICIAP 2022, 2022

Security Ontologies: A Systematic Literature Review.

Malina Adach, Kaj Hänninen, Kristina Lundqvist

Proceedings of the Enterprise Design, Operations, and Computing, 2022

2021

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles.

Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist

Proceedings of the Formal Methods - 24th International Symposium, 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

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

Role-based Approach as Support for Safety Analysis of Collaborative Systems.

Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist

Proceedings of the IEEE Intl Conf on Dependable, 2021

2020

Safety-Critical Software - Quantification of Test Results.

Johan Sundell, Kristina Lundqvist, Håkan Forsberg

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Probabilistic Mission Planning and Analysis for Multi-agent Systems.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.

Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019

Towards a Two-Layer Framework for Verifying Autonomous Vehicles.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Prediction of Undetected Faults in Safety-Critical Software.

Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Incorporating Attacks Modeling into Safety Process.

Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk

Proceedings of the Computer Safety, Reliability, and Security, 2018

Formal verification of an autonomous wheel loader by model checking.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Impediments for software test automation: A systematic literature review.

Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist

Softw. Test. Verification Reliab., 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

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

An ontological approach to identify the causes of hazards for safety-critical systems.

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano

Proceedings of the 2nd International Conference on System Reliability and Safety, 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

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology.

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist

Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

An Ontological Approach to Elicit Safety Requirements.

Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL.

Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Communication and Security in Health Monitoring Systems - A Review.

Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

An environment-driven ontological approach to requirements elicitation for safety-critical systems.

Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

2014

Towards feature-oriented requirements validation for automotive systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

The observer-based technique for requirements validation in embedded real-time systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist

Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014

Regression verification of AADL models through slicing of system dependence graphs.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board.

Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist

Proceedings of the Reliable Software Technologies, 2014

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

Proceedings of the Software Engineering Research, 2013

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines.

Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg

Proceedings of the SAFECOMP 2013, 2013

Impediments in Agile Software Development: An Empirical Investigation.

Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist

Proceedings of the Product-Focused Software Process Improvement, 2013

Can we do useful industrial software engineering research in the shadow of lean and agile?

Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist

Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, 2013

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems.

Jiale Zhou, Yue Lu, Kristina Lundqvist

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Formal execution semantics for asynchronous constructs of AADL.

Jiale Zhou, Andreas Johnsen, Kristina Lundqvist

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262.

Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 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

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Technical Debt in Test Automation.

Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Liability for software in safety-critical mechatronic systems: An industrial questionnaire.

Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen

Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Automated Verification of AADL-Specifications Using UPPAAL.

Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

ABV - A Verifier for the Architecture Analysis and Design Language (AADL).

Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Architecture-Based Verification Technique for AADL Specifications.

Andreas Johnsen, Paul Pettersson, Kristina Lundqvist

Proceedings of the Software Architecture - 5th European Conference, 2011

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL.

Andreas Johnsen, Kristina Lundqvist

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Semantic decoupling: reducing the impact of requirement changes.

Israel Navarro, Nancy G. Leveson, Kristina Lundqvist

Requir. Eng., 2010

Studying software organizations: in search of a method.

Jayakanth Srinivasan, Kristina Lundqvist, Christer Norström

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

Agile in India: challenges and lessons learned.

Jayakanth Srinivasan, Kristina Lundqvist

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Organizational Enablers for Agile Adoption: Learning from GameDevCo.

Jayakanth Srinivasan, Kristina Lundqvist

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2009

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.

Stefan Björnander, Lars Grunske, Kristina Lundqvist

Proceedings of the Architectures for Adaptive Software Systems, 2009

Using Agile Methods in Software Product Development: A Case Study.

Jayakanth Srinivasan, Kristina Lundqvist

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Lessons Learned from a Workshop on Relationship Building.

Jayakanth Srinivasan, Annika Löfgren, Christer Norström, Kristina Lundqvist

Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009

'State of the Art' in Using Agile Methods for Embedded Systems Development.

Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering.

Martin Ouimet, Kristina Lundqvist

J. Univers. Comput. Sci., 2008

2007

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.

Martin Ouimet, Kristina Lundqvist

Proceedings of the Third Workshop on Model Based Testing, 2007

A Constructivist Approach to Teaching Software Processes.

Jayakanth Srinivasan, Kristina Lundqvist

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes.

Martin Ouimet, Kristina Lundqvist

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.

Martin Ouimet, Kristina Lundqvist

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems.

Martin Ouimet, Kristina Lundqvist

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.

Martin Ouimet, Guillaume Berteau, Kristina Lundqvist

Proceedings of the Models in Software Engineering, 2006

Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller.

Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

A First Course in Software Engineering for Aerospace Engineers.

Kristina Lundqvist, Jayakanth Srinivasan

Proceedings of the 19th Conference on Software Engineering Education and Training (CSEE&T 2006), 2006

2005

Temporal skeletons for verifying time.

Gustaf Naeser, Kristina Lundqvist, Lars Asplund

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

Component-Based Approach to Run-Time Kernel Specification and Verification.

Gustaf Naeser, Kristina Lundqvist

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

Non-intrusive System Level Fault-Tolerance.

Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov

Proceedings of the Reliable Software Technology, 2005

2003

A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems.

Kristina Lundqvist, Lars Asplund

Real Time Syst., 2003

2002

Investigating the readability of state-based formal requirements specification languages.

Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson

Proceedings of the 24th International Conference on Software Engineering, 2002

1999

A formal model of the Ada Ravenscar tasking profile; delay until.

Kristina Lundqvist, Lars Asplund

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

A Formal Model of a Run-Time Kernel for Ravenscar.

Kristina Lundqvist, Lars Asplund

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Extendable, dispatchable task communication mechanisms.

Stephen Michell, Kristina Lundqvist

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.

Kristina Lundqvist, Lars Asplund, Stephen Mitchell

Proceedings of the Reliable Software Technologies, 1999

1996

Shared Packages Through Linda.

Göran Wall, Kristina Lundqvist

Proceedings of the Reliable Software Technologies, 1996

Using Object-Oriented Methods in Ada 95 to Implement Linda.

Kristina Lundqvist, Göran Wall

Proceedings of the Reliable Software Technologies, 1996

1995

Termination of Ada tasks in hardware.

Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

1994

Distribution of Tasks within a Centrally Scheduled Local Area Network.

Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund

Proceedings of the Ada in Europe, First International Eurospace, 1994

1993

Performance Expectations on Ada Programs.

Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

Distributed Run-Time Systems, a Protocol for Ada.

Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993