Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 107 (showing 1 - 50)

Doctoral Thesis (1)

Distributed Computing and Safety Critical Systems in Ada (Apr 2000)
Kristina Lundqvist

Licentiate Thesis (1)

Distribution of Ada by Means of Software and Hardware (Apr 1997)
Kristina Lundqvist

Book (1)

Real-Time Systems (Feb 2010)
Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet , Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu

Book chapter (1)

Survey on Data Security and Privacy in Wireless Sensor Systems for Health (Nov 2017)
Aida Causevic, Hossein Fotouhi, Kristina Lundqvist
Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications (Wiley)

Collection (Editor) (3)

SoC based Architecture to Support Non-Intrusive Fault-Tolerance (Jan 2007)
Kristina Lundqvist
Unique Chips and Systems

Session Summary: The Ravenscar Profile and Implementation Issues (Jul 1999)
Lars Asplund, B. Johnson , Kristina Lundqvist, Alan Burns
The 0th International Real-time Ada Workshop, Ada LETTERS, vol XIX, Number 2

Position Paper: Extendable Dispatchable Task Communication Mechanisms (Jul 1999)
Stephen Michell , Kristina Lundqvist
Ada Letters, Volume XIX, Issue 2

Journal article (8)

A Formal Analysis Framework for AADL (Nov 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
The Journal of Science and Technology

Semantic decoupling: reducing the impact of requirement changes (Aug 2010)
Israel Navarro , Nancy Leveson , Kristina Lundqvist
Requirements Engineering

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering (Jul 2007)
Martin Ouimet , Kristina Lundqvist
Journal of Universal Computer Science (JUCS)

Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset (Mar 2006)
Martin Ouimet , Guillaume Berteau , Kristina Lundqvist
Models in Software Engineering, Lecture Notes in

Temporal Skeletons for Verifying Time (Nov 2005)
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
ACM SIGAda Letters

A Ravenscar-Compliant Run-Time Kernel for Safety-Critical Systems (Feb 2003)
Kristina Lundqvist, Lars Asplund
The International Journal of Time-Critical Comuting

Safety Critical Systems Based on Formal Models (Dec 2000)
Lars Asplund, Kristina Lundqvist
ACM SIGAda Letters

A Rendeqvous with Linda (May 1997)
Kristina Lundqvist, Göran Wall
ACM SIGAda Letters

Conference/Workshop Paper (77)

An Ontological Approach to Identify the Causes of Hazards for Safety-Critical Systems (Dec 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
2017 2nd International Conference on System Reliability and Safety (ICSRS'17)

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

A Hazard Modeling Language for Safety-Critical Systems Based on the Hazard Ontology (Sep 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist
43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA'17)

An Ontological Approach to Hazard Identification for Safety-Critical Systems (Jul 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
the 2nd International Conference on Reliability Systems Engineering (ICRSE'17)

An Ontological Interpretation of the Hazard Concept for Safety-Critical Systems (Jun 2017)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Luciana Provenzano
The 27th European Safety and Reliability Conference (ESREL'17)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

Communication and Security in Health Monitoring Systems - A Review (Jun 2016)
Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman
COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'16)

AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson
12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)

An Environment-Driven Ontological Approach to Requirements Elicitation for Safety-Critical Systems (Sep 2015)
Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, Yue Lu, Luciana Provenzano, Kristina Forsberg
23rd IEEE International Requirements Engineering Conference (RE'15)

THRUST: a Method for Speeding up the Creation of Process-related Deliverables (Nov 2014)
Barbara Gallina, Kristina Lundqvist, Kristina Forsberg
Digital Avionics Systems Conference (DASC-33)

Towards Feature-oriented Requirements Validation for Automotive Systems (Aug 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
22nd IEEE International Requirements Engineering Conference (RE'14)

The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems (Aug 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
1st International Workshop on Requirements Engineering and Testing (RET'14)

Regression Verification of AADL Models through Slicing of System Dependence Graphs (Jun 2014)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)

A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems (Jun 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
The 19th International Conference on Reliable Software Technologies Ada-Europe 2014 (Ada-Europe14)

Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board (Apr 2014)
Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
Seventh IEEE International Conference on Software Testing, Verification and Validation (ICST 2014)

Elaboration of Safety Requirements (Oct 2013)
Kristina Forsberg, Eva Mårbring Isaksson , Barbara Gallina, Kristina Lundqvist, Achille Penna
32nd Digital Avionics Systems Conference (DASC 2013)

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines (Sep 2013)
Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg
Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2013)

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems (Sep 2013)
Jiale Zhou, Yue Lu, Kristina Lundqvist
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes (Aug 2013)
Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist
Software Engineering Research, Management and Applications (SERA 2013)

Impediments in Agile Software Development: An Empirical Investigation (Jun 2013)
Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
14th International Conference of Product Focused Software Development and Process Improvement (PROFES '13)

Can we do useful industrial software engineering research in the shadow of Lean and Agile? (May 2013)
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
First Intl. Workshop on Conducting Empirical Studies in Industry - An ICSE 2013 Workshop (CESI 2013)

A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model (Nov 2012)
Stefan Björnander, Rikard Land, Patrick Graydon, Kristina Lundqvist, Philippa Conmy
2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 (Nov 2012)
Raghad Dardar , Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
2nd International Workshop on Software Certification (WoSoCER 2012)

Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012)
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat
14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)

Formal Execution Semantics for Asynchronous Constructs of AADL (Sep 2012)
Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'12)

Liability for Software in Safety-Critical Mechatronic Systems: An Industrial Questionnaire (Jun 2012)
Holger Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen
2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012)

Technical Debt in Test Automation (Apr 2012)
Kristian Wiklund, Sigrid Eldh, Daniel Sundmark, Kristina Lundqvist
Testing: Academic & Industrial Conference Practice and Research Techniques 2012 (TAIC-PART '12)

An Architecture-Based Verification Technique for AADL Specifications (Sep 2011)
Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
5th European conference on Software architecture (ECSA 2011)

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (Jun 2011)
Andreas Johnsen, Kristina Lundqvist
International Conference on Reliable Software Technologies (Ada-Europe 2011)

ABV – A Verifier for the Architecture Analysis and Design Language (AADL) (Apr 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
Sixth IEEE International Workshop UML and AADL at ICECCS 2011

Agile in India: Findings from Three Cases (Feb 2010)
Jayakanth Srinivasan, Kristina Lundqvist
3rd India Software Engineering Conference

Studying Software Organizations: In Search of a Method (Feb 2010)
Jayakanth Srinivasan, Christer Norström, Kristina Lundqvist
3rd India Software Engineering Conference

‘State of the Art’ in Using Agile Methods for Embedded Systems Development (Jul 2009)
Jayakanth Srinivasan, Radu Dobrin, Kristina Lundqvist
Industrial Experience in Embedded Systems Design (IEESD 2009)

Lessons Learned from a Workshop on Relationship Building (Jul 2009)
Jayakanth Srinivasan, Annika Lofgren , Christer Norström, Kristina Lundqvist
4th IEEE International Conference on Global Software Engineering

Items per page: