95 citations · 152 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
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…