default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKristina Lundqvist
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c72]Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist:
Hazard Analysis on a System of Systems using the Hazard Ontology. SoSE 2023: 1-6- 2022
- [j6]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: 102894 (2022) - [j5]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): 395-414 (2022) - [c71]Malina Adach, Kaj Hänninen, Kristina Lundqvist:
Security Ontologies: A Systematic Literature Review. EDOC 2022: 36-53 - [c70]Matthias Bergler, Ramin Tavakoli Kolagari, Kristina Lundqvist:
Case Study on the Use of the SafeML Approach in Training Autonomous Driving Vehicles. ICIAP (3) 2022: 87-97 - [c69]Malina Adach, Kaj Hänninen, Kristina Lundqvist:
Concepts and Relationships in Safety and Security Ontologies: A Comparative Study. ICSRS 2022: 357-364 - [c68]Malina Adach, Kaj Hänninen, Kristina Lundqvist:
A Combined Security Ontology based on the Unified Foundational Ontology. ICSC 2022: 187-194 - 2021
- [c67]Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist:
Role-based Approach as Support for Safety Analysis of Collaborative Systems. DASC/PiCom/CBDCom/CyberSciTech 2021: 92-98 - [c66]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: 24:1-24:2 - [c65]Rong Gu, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist:
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles. FM 2021: 676-694 - 2020
- [c64]Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. FMICS 2020: 73-92 - [c63]Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist:
Probabilistic Mission Planning and Analysis for Multi-agent Systems. ISoLA (1) 2020: 350-367 - [c62]Johan Sundell, Kristina Lundqvist, Håkan Forsberg:
Safety-Critical Software - Quantification of Test Results. ISSRE Workshops 2020: 303-310
2010 – 2019
- 2019
- [c61]Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg:
Prediction of Undetected Faults in Safety-Critical Software. ICST Workshops 2019: 296-304 - [c60]Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist:
Towards a Two-Layer Framework for Verifying Autonomous Vehicles. NFM 2019: 186-203 - 2018
- [c59]Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist:
Formal verification of an autonomous wheel loader by model checking. FormaliSE@ICSE 2018: 74-83 - [c58]Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt, Carl Falk:
Incorporating Attacks Modeling into Safety Process. SAFECOMP Workshops 2018: 31-41 - 2017
- [j4]Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist:
Impediments for software test automation: A systematic literature review. Softw. Test. Verification Reliab. 27(8) (2017) - [c57]Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist:
An Ontological Approach to Elicit Safety Requirements. APSEC 2017: 713-718 - [c56]Jiale Zhou, Kaj Hänninen, Kristina Lundqvist:
A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology. SEAA 2017: 301-304 - [c55]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: 153-160 - [c54]Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano:
An ontological approach to identify the causes of hazards for safety-critical systems. ICSRS 2017: 405-413 - [c53]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson:
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE 2017: 260-270 - [c52]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: 271-281 - 2016
- [c51]Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman:
Communication and Security in Health Monitoring Systems - A Review. COMPSAC 2016: 545-554 - [c50]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm:
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA 2016: 31-40 - 2015
- [c49]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: 247-251 - 2014
- [c48]Jiale Zhou, Yue Lu, Kristina Lundqvist:
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. Ada-Europe 2014: 43-57 - [c47]Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist:
Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board. ICST 2014: 113-122 - [c46]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen:
Regression verification of AADL models through slicing of system dependence graphs. QoSA 2014: 103-112 - [c45]Jiale Zhou, Yue Lu, Kristina Lundqvist:
The observer-based technique for requirements validation in embedded real-time systems. RET 2014: 47-54 - [c44]Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lönn, Daniel Karlsson, Bo Liwang:
Towards feature-oriented requirements validation for automotive systems. RE 2014: 428-436 - 2013
- [c43]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: 252-259 - [c42]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: 67-68 - [c41]Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist:
Impediments in Agile Software Development: An Empirical Investigation. PROFES 2013: 35-49 - [c40]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 - [c39]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: 215-230 - 2012
- [c38]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat:
Automated Verification of AADL-Specifications Using UPPAAL. HASE 2012: 130-138 - [c37]Holger M. Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen:
Liability for software in safety-critical mechatronic systems: An industrial questionnaire. SEES@ICSE 2012: 44-50 - [c36]Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist:
Technical Debt in Test Automation. ICST 2012: 887-892 - [c35]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: 337-342 - [c34]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: 349-354 - [c33]Jiale Zhou, Andreas Johnsen, Kristina Lundqvist:
Formal execution semantics for asynchronous constructs of AADL. ACES-MB@MoDELS 2012: 43-48 - 2011
- [c32]Andreas Johnsen, Kristina Lundqvist:
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. Ada-Europe 2011: 103-117 - [c31]Andreas Johnsen, Paul Pettersson, Kristina Lundqvist:
An Architecture-Based Verification Technique for AADL Specifications. ECSA 2011: 105-113 - [c30]Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson:
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360 - 2010
- [j3]Israel Navarro, Nancy G. Leveson, Kristina Lundqvist:
Semantic decoupling: reducing the impact of requirement changes. Requir. Eng. 15(4): 419-437 (2010) - [c29]Jayakanth Srinivasan, Kristina Lundqvist, Christer Norström:
Studying software organizations: in search of a method. ISEC 2010: 51-60 - [c28]Jayakanth Srinivasan, Kristina Lundqvist:
Agile in India: challenges and lessons learned. ISEC 2010: 125-130
2000 – 2009
- 2009
- [c27]Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist:
'State of the Art' in Using Agile Methods for Embedded Systems Development. COMPSAC (2) 2009: 522-527 - [c26]Jayakanth Srinivasan, Annika Löfgren, Christer Norström, Kristina Lundqvist:
Lessons Learned from a Workshop on Relationship Building. ICGSE 2009: 115-120 - [c25]Jayakanth Srinivasan, Kristina Lundqvist:
Using Agile Methods in Software Product Development: A Case Study. ITNG 2009: 1415-1420 - [c24]Stefan Björnander, Lars Grunske, Kristina Lundqvist:
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA 2009: 101-115 - [c23]Jayakanth Srinivasan, Kristina Lundqvist:
Organizational Enablers for Agile Adoption: Learning from GameDevCo. XP 2009: 63-72 - 2008
- [j2]Martin Ouimet, Kristina Lundqvist:
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. J. Univers. Comput. Sci. 14(12): 2007-2033 (2008) - 2007
- [c22]Martin Ouimet, Kristina Lundqvist:
The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. APSEC 2007: 567 - [c21]Martin Ouimet, Kristina Lundqvist:
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. CAV 2007: 126-130 - [c20]Martin Ouimet, Kristina Lundqvist:
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes. MiSE@ICSE 2007: 5 - [c19]Jayakanth Srinivasan, Kristina Lundqvist:
A Constructivist Approach to Teaching Software Processes. ICSE 2007: 664-672 - [c18]Martin Ouimet, Kristina Lundqvist:
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. MBT 2007: 85-97 - 2006
- [c17]Kristina Lundqvist, Jayakanth Srinivasan:
A First Course in Software Engineering for Aerospace Engineers. CSEE&T 2006: 77-86 - [c16]Yves Boussemart, Sébastien Gorelov, Martin Ouimet, Kristina Lundqvist:
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller. ICN/ICONS/MCL 2006: 192 - [c15]Martin Ouimet, Guillaume Berteau, Kristina Lundqvist:
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. MoDELS (Workshops) 2006: 32-41 - 2005
- [c14]Kristina Lundqvist, Jayakanth Srinivasan, Sébastien Gorelov:
Non-intrusive System Level Fault-Tolerance. Ada-Europe 2005: 156-166 - [c13]Gustaf Naeser, Kristina Lundqvist:
Component-Based Approach to Run-Time Kernel Specification and Verification. ECRTS 2005: 68-76 - [c12]Gustaf Naeser, Kristina Lundqvist, Lars Asplund:
Temporal skeletons for verifying time. SIGAda 2005: 49-56 - 2003
- [j1]Kristina Lundqvist, Lars Asplund:
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. Real Time Syst. 24(1): 29-54 (2003) - 2002
- [c11]Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson:
Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43
1990 – 1999
- 1999
- [c10]Kristina Lundqvist, Lars Asplund, Stephen Mitchell:
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. Ada-Europe 1999: 12-25 - [c9]Stephen Michell, Kristina Lundqvist:
Extendable, dispatchable task communication mechanisms. IRTAW 1999: 54-59 - [c8]Kristina Lundqvist, Lars Asplund:
A Formal Model of a Run-Time Kernel for Ravenscar. RTCSA 1999: 504- - [c7]Kristina Lundqvist, Lars Asplund:
A formal model of the Ada Ravenscar tasking profile; delay until. SIGAda 1999: 15-21 - 1996
- [c6]Kristina Lundqvist, Göran Wall:
Using Object-Oriented Methods in Ada 95 to Implement Linda. Ada-Europe 1996: 211-222 - [c5]Göran Wall, Kristina Lundqvist:
Shared Packages Through Linda. Ada-Europe 1996: 223-234 - 1995
- [c4]Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund:
Termination of Ada tasks in hardware. TRI-Ada 1995: 474-486 - 1994
- [c3]Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund:
Distribution of Tasks within a Centrally Scheduled Local Area Network. Ada-Europe 1994: 421-432 - 1993
- [c2]Göran Wall, Lars Asplund, Lars Björnfot, Kristina Lundqvist:
Performance Expectations on Ada Programs. Ada-Europe 1993: 227-239 - [c1]Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall:
Distributed Run-Time Systems, a Protocol for Ada. Ada-Europe 1993: 249-263
Coauthor Index
aka: Cristina Seceleanu
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
