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

Conference & Workshop Papers

• Abdulkhaleq, A., Wagner, S. (2016) XSTAMPP 2.0: New Improvements to XSTAMPP Including CAST Accident Analysis and an Extended Approach to STPA. 2016 STAMP Conference at Massachusetts Institute of Technology (MIT), 21 March 2016, Boston, USA.
• Wagner, S., Abdulkhaleq, A., Kaya, K. and Paar, A. (2016) On the relationship of inconsistent software clones and faults: an empirical study. In Proc. 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). IEEE.
• Abdulkhaleq, A., Wagner, S. (2015) Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking . In Computer Safety, Reliability, and Security (Safecomp2015), Lecture Notes in Computer Science, Springer International Publishing, Delft, Netherlands (22-25 September 2015)

• Abdulkhaleq, A., Wagner, S. (2015) A Controlled Experiment for the Empirical Evaluation of Safety Analysis Techniques for Safety-Critical Software . The 19th International Conference on Evaluation and Assessment in Software Engineering (EASE), Nanjing, China.

• Abdulkhaleq, A., Wagner, S. (2015) XSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering . 2015 STAMP Conference at Massachusetts Institute of Technology (MIT), 26 March 2015, Boston, USA.

• Abdulkhaleq, A., Wagner, S. (2014) A Software Safety Verification Method Based on System-Theoretic Process Analysis . In Computer Safety, Reliability, and Security (Safecomp2014), Lecture Notes in Computer Science, Springer International Publishing, Vol. 8696, pp. 401-412.

• Abdulkhaleq, A., Wagner, S. (2014) A-STPA: An Open Tool Support for System-Theoretic Process Analysis. 2014 STAMP Conference at Massachusetts Institute of Technology (MIT), 27 March 2014, Boston, USA.

• Abdulkhaleq, A., Wagner, S. (2013) Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain". 2013 STAMP Conference at MIT, Boston, USA.

• Abdulkhaleq, A., Wagner, S. (2013) Integrating State Machine Analysis with System-Theoretic Process Analysis (STPA). Multikonferenz Software Engineering 2013 (SE 2013), ZeMoSS - Zertifizierung und modellgetriebene Entwicklung sicherer Software, Aachen, Germany pp. 501-514

Journal and Magazine Papers

• Wagner, S., Abdulkhaleq, A., Bogicevic, I., Ostberg, J.-P., Ramadani, J. (2016) How are functionally similar code clones syntactically different? An empirical study and a benchmark. PeerJ Computer Science 2:e49 doi:10.7717/peerj-cs.49
• Abdulkhaleq, A., Wagner, S., Leveson,N. (2015) A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA , Procedia Engineering, Volume 128, 2015, Pages 2-11, ISSN 1877-7058
• Bakibillah, A., Abdulkhaleq, A. (2011): Neural Network Based Microcontroller Operated Intelligent Vehicle System , Department of  Computer Science, Electrical Engineering and Information Technology, University of Stuttgart, Germany, Vol. 5, Issue 1, international journal of electrical electronics and computer systems (IJEECS November, 2011).

Invited talks

• Abdulkhaleq, A. (2016): A Systematic Approach Based on STPA for Developing a Dependable Architecture for Fully Automated Driving, ZHAW Zürich, Switzerland.
• Abdulkhaleq, A. (2016): The risk assessment of the operational safety of the fully Automated Driving, Continental Teves AG & Co. oHG, Frankfurt am Main, Germany. 
• Abdulkhaleq, A. (2016): Advanced Practical Tutorials on Safety Analysis techniques STPA, FTA, and FMEA , TUM, Munich, Germany
• Abdulkhaleq, A. (2016): A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA, 4th Scandinavian Conference 0n System & Software Safety
• Abdulkhaleq, A. (2014): Tutorial of the XSTAMPP software tool including CAST and Extended Approach to STPA, The third European STAMP Workshop (ESW2015), The Aviation Academy of the Amsterdam University of Applied Sciences , Amsterdam, Netherlands
• Abdulkhaleq, A. (2014): STPA in Automotive Domain Advanced Tutorial , The Second European STAMP Workshop (ESW2014), INFORMATIK 2014, Stuttgart, Germany
• Abdulkhaleq, A.: Experiences with STAMP/STPA in Automotive Industry. Vortrag beim STAMP Workshop Europe 2013 , TU Braunschweig, Brauenschweig, Germany

• 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

• ESW2014: The Second European STAMP Workshop 2014, Informatik2014 Conference, Stuttgart, Germnay, 22-23 September, 2014

Developed Tools & Projekts

• STPA Verifier (2016) An Eclipse plug-in to verify the STPA safety requirements with model checker tools such as SPIN and NuSMV.
• XSTPA (2015): An Automated Tool Support Extended Approach to STPA , open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2015-2016
• A-CAST (2015): An Automated Causal Analysis using System Theory, open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2015-2016
• A-STPA (2013): An Automated Systems-Theoretic Process Analysis , open-source tool based on the Eclipse platform, ISTE, Software Engineering, University of Stuttgart, 2013-2014
• XSTAMPP (2014): An eXtensible STAMP Platform As Tool Support for Safety Engineering , ISTE, Software Engineering Group, University of Stuttgart, 2014-2015
• ACC Simulator (2015): Developing a Simulator for Adaptive Cruise Control Systems Using LEGO Mindstorm Robotics , ISTE, Software Engineering Group, University of Stuttgart, 2015

Grants & Awards

• Master Study Scholarship of the German Academic Exchange Service (DAAD):
  Jun. 2009 – October 2012

• 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.

Lehrveranstaltungen

Sommersemester 2016

• Übungen (Master): Qualitätssicherung und Wartung (QSW)
• Seminar Informationssicherheit in der Softwaretechnik

Wintersemester 2015/2016

• Übungen: Grundlagen des Software Engineerings

Sommersemester 2015

• Übungen (Master): Qualitätssicherung und Wartung (QSW)

Wintersemester 2014/2015

• Übungen: Programmierung und Software-Entwicklung
• Übungen: Grundlagen des Software Engineerings
• Kunde und Betreuer für Entwicklungsprojekt: Internet of Things (IoT)

Sommersemester 2014

• Übungen (Master): Qualitätssicherung und Wartung (QSW)

Wintersemester 2013/2014

• Übungen: Programmierung und Software-Entwicklung
• Übungen: Grundlagen des Software Engineerings
• Kunde für Studienprojekt A: Developing an Automated Tool Supporting a Systems-Theoretic Process Analysis (A-STPA)

Sommersemester 2013

• Übungen: Datenstrukturen und Algorithmen
• Kunde für Studienprojekt A: Developing an Automated Tool Supporting a Systems-Theoretic Process Analysis (A-STPA)

Wintersemester 2012/2013

• Übungen: Programmierung und Software-Entwicklung
• Co-Supervisor:Softwarepraktikum für Softwaretechniker

Liste bereits angefertiger Studienprojekte, Bachelorarbeiten-und Diplomarbeiten, Fachstudien

• Prozessanalyse: Analyse des Stuttgarter Vorgehensmodell SVM ("Stuttgarter Vorgehensmodell". (Alexander Szilagyi, Benedikt Diesel und Manuel Müller)

• Bachlorarbeit: Entwicklung ein Eclipse-Plug-in für das STPA-TCGenerator-Werkzeug (Ting Luk-He)

• Bachlorarbeit: STPA Sec: Entwicklung eines Eclipse-Plugins zur Sicherheitsanalyse mit STPA-Sec (Maxim Maier)

• Master Thesis (Daimler): Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug. (Jaasiel Walter hat am 18.04.2016 angefangen)

• Master Thesis (IBM): Aspects of Event-Driven Cloud-Native Application Development (Tareq.A.A Al-Mamari hat am 01.04.2016 angefangen)

• Bachlorarbeit:Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software- Sicherheitsanforderungen (Lukas Balzer hat am 20.10.2015 angefangen)

• Master Thesis: Regressionstestset-Auswahl und -Minimierungbasierend auf Feature-Modellierung (Patrick Alt hat am 20.07.2015 angefangen)
• 
  
• Bachelorarbeit: Analyse und Erweiterung des ibb TestDesigners (David Michel) -Abgeschlossen)
  
• Bachelorarbeit: Extended STPA Tool: Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA  (Yannic Sowodinnich) (Abgeschlossen)
• Prozessanalyse : Analyse des Review-Prozesses für Lasterhafte (Robin Bolzt, Aassiel Walter) (Abgeschlossen)

• Bachelorarbeit: A-CAST: Entwicklung eines Plugin-basierten Tools zur Unfallanalyse mit CAST (Causal Accident Analysis) (Martin Root) Abgeschlossen)

• Bachelorarbeit: ACC Simulator: Entwicklung eines Simulators für Adaptive-Cruise-Control Systeme mit LEGO Mindstorms Robotern (Dennis Maseluk) (Abgeschlossen)

• Bachelorarbeit: Konzeption und Realisierung eines Anwendung zur Visualisierung von Ma-schinendaten (Matthias Strljic)(Abgeschlossen)

• Diplomarbeit (TWT): Inkonsistene Klone und Fehler in Software (Kamer Kaya)(Abgeschlossen)
• Externe Bachelorarbeit: Programming of a Risk Visualisation Tool for Technology-Driven Business Models (Bearbeiter: Tobias Korb)(Abgeschlossen)
• Diplomarbeit Modellierung von Straßennetzen auf Basis diskreter Messpunkte (Bearbeiter: Felix Krause)(Abgeschlossen)

• Wegweiser zum Informatikgebäude