Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 139 (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 (10)

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

Verifiable Strategy Synthesis for Multiple Autonomous Agents: A Scalable Approach (Jun 2022)
Rong Gu, Peter Jensen , Danny Poulsen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
International Journal on Software Tools for Technology Transfer (STTT)

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 (98)

Mitigation Ontology for Analysis of Safety-Critical Systems (Jun 2024)
Nazakat Ali, Kristina Lundqvist, Kaj Hänninen
The 34th European Safety and Reliability Conference (ESREL'34)

Hazard Analysis on a System of Systems using the Hazard Ontology (Jun 2023)
Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist
18th Annual System Of Systems Engineering Conference (SoSE2023)

Concepts and relationships in safety and security ontologies: A comparative study (Nov 2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
5th International Conference on System Reliability and Safety (ICSRS-2022)

Security Ontologies:A Systematic Literature Review (Oct 2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
26th The Enterprise Computing Conference 2022 (EDOC 2022)

A Combined Security Ontology based on the Unified Foundational Ontology (Jan 2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
16th IEEE International Conference on SEMANTIC COMPUTING 2022 (ICSC 2022)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Formal Methods 2021 (FM'21)

Role-based approach as support for safety analysis of collaborative systems (Oct 2021)
Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist
IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'21)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (Apr 2021)
Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Safety-critical software - Quantification of test results (Oct 2020)
Johan Sundell, Kristina Lundqvist, Håkan Forsberg
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020) -- Best Paper Award--
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

Methods for Enhancement of a Master of Engineering Programme (Nov 2019)
Håkan Forsberg, Kristina Lundqvist, Kristina Forsberg
The 7th Development Conference for Swedish Engineering Education (USIU'2019)

Assurance Strategy for New Computing Platforms in Safety-Critical Avionics (Oct 2019)
Håkan Forsberg, Andreas Schwierz , Kristina Lundqvist
Aerospace Technology Congress 2019 (FT2019)

Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems.
Malina Adach, Kaj Hänninen, Luciana Provenzano, Kristina Lundqvist
Aerospace Technology Congress 2019 (FT2019)

Towards a Two-layer Framework for Verifying Autonomous Vehicles (May 2019)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
11th Annual NASA Formal Methods Symposium (NFM 2019)

Prediction of Undetected Faults in Safety-Critical Software (Apr 2019)
Johan Sundell, Richard Torkar, Kristina Lundqvist, Håkan Forsberg
2nd IEEE Workshop on NEXt level of Test Automation (NEXTA 2019)

Incorporating Attacks Modeling into Safety Process (Sep 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt , Carl Falk
6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)

Formal Verification of an Autonomous Wheel Loader by Model Checking (Jun 2018)
Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist
FORMAL METHODS IN SOFTWARE ENGINEERING (FormaliSE 2018)

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)

Early Results and Ideas for Enhancements of the Master of Engineering Programme in Dependable Aerospace Systems (Dec 2017)
Håkan Forsberg, Kristina Lundqvist, Fredrik Ekstrand, Magnus Otterskog
The 6th Development Conference for Swedish Engineering (USIU2017)

An Ontological Approach to Elicit Safety Requirements (Dec 2017)
Luciana Provenzano, Kaj Hänninen, Jiale Zhou, Kristina Lundqvist
24th Asia-Pacific Software Engineering Conference (APSEC 2017)

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
27th European Safety and Reliability Conference (ESREL'27)

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)

Items per page: