most citedA comprehensive safety engineering approach for software-intensive systems based on STPA

95 citations · 152 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CY2017★ 13 cited

Exploratory Study of the Privacy Extension for System Theoretic Process Analysis (STPA-Priv) to elicit Privacy Risks in eHealth

Kai Mindermann, Frederik Riedel, Asim Abdulkhaleq +2

Context: System Theoretic Process Analysis for Privacy (STPA-Priv) is a novel privacy risk elicitation method using a top down approach. It has not gotten very much attention but m…

cs.SE2017★ 9 cited

Using STPA in Compliance with ISO 26262 for Developing a Safe Architecture for Fully Automated Vehicles

Asim Abdulkhaleq, Stefan Wagner, Daniel Lammering +2

Safety has become of paramount importance in the development lifecycle of the modern automobile systems. However, the current automotive safety standard ISO 26262 does not specify…

cs.SE2016★ 95 cited

A comprehensive safety engineering approach for software-intensive systems based on STPA

Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of…

cs.SE2016★ 6 cited

A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis

Asim Abdulkhaleq, Stefan Wagner

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Theref…

cs.SE2016★ 15 cited

A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

Asim Abdulkhaleq, Stefan Wagner

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety ana…

cs.SE2016★ 14 cited

On the Relationship of Inconsistent Software Clones and Faults: An Empirical Study

Stefan Wagner, Asim Abdulkhaleq, Kamer Kaya +1

Background: Code cloning - copying and reusing pieces of source code - is a common phenomenon in software development in practice. There have been several empirical studies on the…