Kristina Lundqvist

80 papers A* 3A 6B 10C 4Misc 9Journal 7Unranked 41

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