Zur Webseite der Informatik

Asim Abdulkhaleq

M.Sc. Teaching and Research Assistant

Address Universität Stuttgart
Institut für Softwaretechnologie
Universitätsstraße 38
D-70569 Stuttgart
Phone +49 711 685-88 458
Fax +49 711 685-88 380


Room 1.242
Office hours by appointment

C.V of Asim Abdulkhlaeq

Scope of Work

  • Safety Engineering for Software-Intensive Systems based on STAMP/STPA
  • Software Safety and Formal Verification
  • Safety of Autonomous Vehicles 
  • Functional Safety ISO 26262 in the Automotive Domain
  • Safety-based Software Testing
  • Developing Automated Tools Support for Safety Engineering

Liste aller aktuellen Angeboten an Bachelorthemen


Conference & Workshop Papers

Journal and Magazine Papers

Invited talks

  • Abdulkhaleq, A. (2013): STPA in Automotive Domain Advanced Tutorial, STAMP Workshop Europe 2013, TU Braunschweig, Brauenschweig, Germany.
  • Abdulkhaleq, A. (2013): Applying STAMP/STPA approach to Software-Intensive Systems in the Automotive Domain, Vortrag beim Robert Bosch GmbH Workshop 2013, 23- March 2013, Stuttgart, Germany.

Organized Workshops

Developed Tools & Projekts

Grants & Awards


  • Ph.D Dissertation: Safety Engineering for Software-Intensive Systems, Supervised by Prof. Dr. rer. nat Stefan Wagner and Prof. Dr. Nancy Leveson, MIT, October 2012 - till now.
  • Development of a conception for accessible human-machine-interaction of automation systems using patterns, Master thesis, Institute of Industrial Automation and Software Engineering, University of Stuttgart, Jan. 2012 [slides], Supervised by Prof. Dr.-Ing. Dr. h. c. P. Göhner.
  • Develop SMS Manager Query System by using computer networks through mobile, 
    B.SC Thesis, department of computer sciences, faculty of sciences, Sana'a University, 2005, Supervised by Dr. Ghalib al-Jaafari.



Winter term 2016/2017

Summer term 2016

Winter term 2015/2016

Summer term 2015

Winter term 2014/2015

Summer term 2014

Winter term 2013/2014

Summer term 2012/2013

  • Exercises: Datenstrukturen und Algorithmen
  • Studentproject A [Customer]: Developing an Automated Tool Supporting a Systems-Theoretic Process Analysis (A-STPA)

Winter term 2012/2013


Projects, Thesesn

  • Bachelor-Thesis:Developing an STPA-Verifier as an Eclipse Plug-in for the Verification of Software Safety Requirements (Lukas Balzer started 20.10.2015)
  • Master-Thesis: Regression Test Suite Selection and Minimization Based on Feature Modeling (Alt started 20.07.2015).
  • Bachelor-Thesis: Analysis and Further Development of the ibb TestDesigner, (Closed)
  • Bachelor-Thesis: Extended STPA Tool: Developing an Eclipse plug-in for the extended Approach of STPA  (Closed)
  • Prozessanalyse :Analysis the review process of technical specification (Closed )
  • Bachelor-Thesis: A-CAST:Developing an Eclipse Plugin for automated Causal Accident Analysis with CAST (Closed )
  • Bachelor-Thesis: ACC Simulator: Developing a simulation for Adaptive-Cruise Control system with LEGO mindstorm robots  (Closed)
  • Bachelor-Thesis : Design and implementation of application for visualization of machine data (Matthias Strljic)(Closed)
  • Diplom-Thesis: Inconsistent clones and errors in software (Kamer Kaya)(Closed)
  • External Bachelor-Thesis: Programming of a Risk Visualisation Tool for Technology-Driven Business Models (Bearbeiter: Tobias Korb)(Closed)

Tasks and Activities