Publications

Type: Date:
Scope:
Author:

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

Doctoral Thesis (4)

Contracts-Based Maintenance of Safety Cases (Nov 2018)
Omar Jaradat

Quality Assurance for Dependable Embedded Systems (Jan 2018)
Andreas Johnsen

An Ontological Approach to Safety Analysis of Safety-Critical Systems (Jan 2018)
Jiale Zhou

Impediments for Automated Software Test Execution (Jun 2015)
Kristian Wiklund
Doctoral Thesis (PhD Thesis)

Licentiate Thesis (5)

Extending and Improving the Security Abstraction Model for Architectural Models of Autonomous Vehicles (Jun 2023)
Matthias Bergler

Safety Critical Software - Test Coverage vs Remaining Faults (Apr 2022)
Johan Sundell

Enhancing the Maintainability of Safety Cases Using Safety Contracts (Nov 2015)
Omar Jaradat

An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems (Oct 2014)
Jiale Zhou

Architecture-Based Verification of Dependable Embedded Systems (Jun 2013)
Andreas Johnsen

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)

Journal article (5)

Safety and Security Co-Analyses: A Systematic Literature Review (Dec 2018)
Elena Lisova, Irfan Sljivo, Aida Causevic
IEEE Systems Journal 2018 (ISJ-2018)

Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)

A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis (Jul 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Journal of Systems and Software: Special Issue on Software Reuse (SR-JSS 2016)

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Dec 2015)
Barbara Gallina, Luciana Provenzano
Ada User Journal 36 (4) (AUJ- 36 (4))

Using Argumentation to Evaluate Software Assurance Standards (Sep 2013)
Patrick Graydon, Tim Kelly
Information and Software Technology (IST)

Conference/Workshop Paper (104)

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)

Comparing Ext4 and ZFS for Onboard Data Processing (Oct 2023)
Liza Stephanie Johansson, Hassan Said, Håkan Forsberg, Nandinbaatar Tsog, Oskar Flordal
The first European Data Handling & Data Processing Conference (EDHPC 2023)

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)

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)

Social Engineering Exploits in Automotive Software Security: Modeling Humantargeted Attacks with SAM
Matthias Bergler, Juha-Pekka Tolvanen , Markus Zoppelt , Ramin Tavakoli Kolgari
31st European Safety and Reliability Conference (ESREL-2021)

On Sustainability for Offset Based Response-Time Analysis (May 2021)
Jukka Mäki-Turja, Kaj Hänninen, Mikael Sjödin
European Conference on the Engineering of Computer-Based Systems (ECBS)

A Model-Based Approach to Document Software Toolchains for Supporting a Safety Analysis (May 2021)
Stephan Baumgart, Yin Chen , Rasmus Hamren, Sasikumar Punnekkat
The 15th Annual IEEE International Systems Conference (SyScon 2021)

A Model-Based Approach to Document a System-of-Systems (May 2021)
Stephan Baumgart, Sasikumar Punnekkat
The 15th Annual IEEE International Systems Conference (SyScon 2021)

Challenges in Using Neural Networks in Safety-Critical Applications (Oct 2020)
Håkan Forsberg, Johan Hjorth, Masoud Daneshtalab, Joakim Lindén, Torbjörn Månefjord
The 39th Digital Avionics Systems Conference (DASC'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)

Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (Dec 2019)
Jamal El Hachem , Ali Sedaghatbaf, Elena Lisova, Aida Causevic
Asia-Pacific Software Engineering Conference (APSEC 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)

Emerging COTS-based computing platforms in avionics need a new assurance concept (Sep 2019) -- Best Paper Award--
Håkan Forsberg, Andreas Schwierz
38th Digital Avionics Systems Conference (DASC'38)

Towards a Framework for Safe and Secure Adaptive Collaborative Systems (Jul 2019)
Aida Causevic, Alessandro Papadopoulos, Marjan Sirjani
IEEE Computer Society Conference on Computers, Software and Applications (COMPSAC 2019)

Investigating Attack Propagation in a SoS via a Service Decomposition (Jul 2019)
Elena Lisova, Jamal El Hachem , Aida Causevic
IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things (CSR 2019)

On Incorporating Security Parameters in Service Level Agreements (May 2019)
Aida Causevic, Elena Lisova, Mohammad Ashjaei, Syed Usman Ashgar
The 9th International Conference on Cloud Computing and Services Science (CLOSER2019)

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)

A Perspective on Ensuring Predictability in Time-critical and Secure Cooperative Cyber Physical Systems (Feb 2019)
Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan
20th IEEE International Conference on Industrial Technology (ICIT 2019)

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
Erik Martin Campana , Nils Müllner, Saad Mubeen
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)

Towards Security Case Run-time Adaptation by System Decomposition into Services (Oct 2018)
Elena Lisova, Aida Causevic
44th Annual Conference of the IEEE Industrial Electronics Society (IECON'18)

Assurance Case to Structure COTS Hardware Component Assurance for Safety-Critical Avionics (Sep 2018)
Andreas Schwierz , Håkan Forsberg
37th Digital Avionics Systems Conference (DASC'37)

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)

Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics (Sep 2018)
Andreas Schwierz , Håkan Forsberg
37th International Conference on Computer Safety, Reliability, & Security (SAFECOMP-2018)

Service Level Agreements for Safe and Configurable Production Environments (Sep 2018)
Mohammad Ashjaei, Kester Clegg , Lorenzo Corneo , Richard Hawkins , Omar Jaradat, Vincenzo Gulisano , Yiannis Nikolakopoulos
International Conference on Emerging Technologies and Factory Automation - Work in Progress Session (ETFA-WiP'18)

A Safety-Centric Change Management Framework by Tailoring Agile and V-Model Processes (Aug 2018)
Omar Jaradat, Abdallah Salameh
36th International System Safety Conference (ISSC 2018)

A Systematic Way to Incorporate Security in Safety Analysis (Jun 2018)
Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'18)

Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018)
Omar Jaradat, Sasikumar Punnekkat
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

Towards Attack Models in Autonomous Systems of Systems (May 2018)
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, David Wenslandt , Carl Falk
System of Systems Engineering Conference (SoSE 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)

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)

Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems (Oct 2017)
Elena Lisova, Aida Causevic, Elisabeth Uhlemann, Mats Björkman
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)

Items per page: