Asim Abdulkhaleq

发表

How are functionally similar code clones syntactically different ? An empirical study and a benchmark

S. Wagner, Asim Abdulkhaleq, Ivan Bogicevic, 2016 .

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

Nancy G. Leveson, Asim Abdulkhaleq, Stefan Wagner, 2015, arXiv.org.

Neural Network Based Microcontroller Operated Intelligent Vehicle System

Asim Abdulkhaleq, A. Bakibillah, 2011 .

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

Stefan Wagner, Asim Abdulkhaleq, Nancy Leveson, 2015, ArXiv.

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

Stefan Wagner, Asim Abdulkhaleq, S. Wagner, 2015, EASE.

A system-theoretic safety engineering approach for software-intensive systems

Asim Abdulkhaleq, Asim Abdulkhaleq, 2017 .

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

Stefan Wagner, Daniel Lammering, Asim Abdulkhaleq, 2017, Automotive - Safety & Security.

A Systematic Approach Based on STPA for Developing a Dependable Architecture for Fully Automated Driving Vehicles

Stefan Wagner, Daniel Lammering, Asim Abdulkhaleq, 2017 .

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

Stefan Wagner, Asim Abdulkhaleq, S. Wagner, 2016, ArXiv.

An automatic safety-based test case generation approach based on systems-theoretic process analysis

Asim Abdulkhaleq, Asim Abdulkhaleq, 2016 .

An Industrial Case Study on the Evaluation of a Safety Engineering Approach for Software-Intensive Systems in the Automotive Domain

John Thomas, Asim Abdulkhaleq, Stefan Wagner, 2016 .

XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA

Asim Abdulkhaleq, Stefan Wagner, S. Wagner, 2016 .

Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking

Stefan Wagner, Asim Abdulkhaleq, S. Wagner, 2015, SAFECOMP.

XSTAMPP: An eXtensible STAMP platform as tool support for safety engineering

Asim Abdulkhaleq, Stefan Wagner, S. Wagner, 2015 .

A Software Safety Verification Method Based on System-Theoretic Process Analysis

Stefan Wagner, Asim Abdulkhaleq, S. Wagner, 2014, SAFECOMP Workshops.

Integrating State Machine Analysis with System-Theoretic Process Analysis

Stefan Wagner, Asim Abdulkhaleq, S. Wagner, 2013, Software Engineering.

Experiences with applying STPA to software-intensive systems in the automotive domain

Asim Abdulkhaleq, Stefan Wagner, S. Wagner, 2013 .

How are functionally similar code clones syntactically different? An empirical study and a benchmark

Stefan Wagner, Jasmin Ramadani, Asim Abdulkhaleq, 2016, PeerJ Comput. Sci..