Publications
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 (11)
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (Jun 2024) Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
