A Comprehensive Safety Engineering for Software-intensive Systems based on STPA A Abdulkhaleq, S Wagner, N Leveson Procedia Engineering Elsevier 128 (2015), 2-11, 2015 | 61* | 2015 |
A systematic approach based on STPA for developing a dependable architecture for fully automated driving vehicles A Abdulkhaleq, D Lammering, S Wagner, J Röder, N Balbierer, ... Procedia Engineering 179 (Supplement C), 41-51, 2017 | 38 | 2017 |
XSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering A Abdulkhaleq, S Wagner 2015 STAMP Conference, 2015 | 37 | 2015 |
Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain A Abdulkhaleq, S Wagner 2013 STAMP Conference, MIT, Boston, USA, 2013 | 28 | 2013 |
Using STPA in compliance with ISO 26262 for developing a safe architecture for fully automated vehicles A Abdulkhaleq, S Wagner, D Lammering, H Boehmert, P Blueher arXiv preprint arXiv:1703.03657, 2017 | 24 | 2017 |
How are functionally similar code clones syntactically different? An empirical study and a benchmark S Wagner, A Abdulkhaleq, I Bogicevic, JP Ostberg, J Ramadani PeerJ Computer Science 2, e49, 2016 | 20 | 2016 |
Open Tool Support for System-Theoretic Process Analysis SW Asim Abdulkhaleq 2014 STAMP Conference, http://psas.scripts.mit.e, 2014 | 19* | 2014 |
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software A Abdulkhaleq, S Wagner Proceedings of the 19th International Conference on Evaluation and …, 2015 | 18 | 2015 |
A software safety verification method based on system-theoretic process analysis A Abdulkhaleq, S Wagner International Conference on Computer Safety, Reliability, and Security, 401-412, 2014 | 18 | 2014 |
Integrated safety analysis using systems-theoretic process analysis and software model checking A Abdulkhaleq, S Wagner International Conference on Computer Safety, Reliability, and Security, 121-134, 2014 | 14 | 2014 |
Missing no Interaction—Using STPA for Identifying Hazardous Interactions of Automated Driving Systems A Abdulkhaleq, M Baumeister, H Böhmert, S Wagner International Journal of Safety Science 2 (01), 115-24, 2018 | 12 | 2018 |
Exploratory study of the privacy extension for system theoretic process analysis (STPA-Priv) to elicit privacy risks in eHealth K Mindermann, F Riedel, A Abdulkhaleq, C Stach, S Wagner 2017 IEEE 25th International Requirements Engineering Conference Workshops …, 2017 | 11 | 2017 |
On the relationship of inconsistent software clones and faults: an empirical study S Wagner, A Abdulkhaleq, K Kaya, A Paar 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016 | 10 | 2016 |
Integrating state machine analysis with system-theoretic process analysis A Abdulkhaleq, S Wagner Software Engineering 2013-Workshopband, 2013 | 10 | 2013 |
A system-theoretic safety engineering approach for software-intensive systems A Abdulkhaleq | 8 | 2017 |
A systematic and semi-automatic safety-based test case generation approach based on systems-theoretic process analysis A Abdulkhaleq, S Wagner arXiv preprint arXiv:1612.03103, 2016 | 7 | 2016 |
XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA A Abdulkhaleq, S Wagner | 7 | 2016 |
An industrial case study on the evaluation of a safety engineering approach for software-intensive systems in the automotive domain A Abdulkhaleq, S Vöst, S Wagner, J Thomas | 3 | 2016 |
Using STPA in Compliance with ISO26262 A Abdulkhaleq, D Lammering | 1 | 2017 |
An automatic safety-based test case generation approach based on systems-theoretic process analysis A Abdulkhaleq, S Wagner | | 2016 |