• 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

Books

• Abdulkhaleq, A (2017). A System-Theoretic Safety Engineering Approach for Software-Intensive Systems. [slides]. Dissertation, ISBN-10: 3736994923. ISBN-13: 978-3736994928, Publisher, Cuvillier Verlag

Conference & Workshop Papers

• Abdulkhaleq, A., Wagner, S., Lammering, D., Boehmert, H., and Blueher, P. (2017) Using STPA in Compliance with ISO26262 for Developing a Safe Architecture for Fully Automated Vehicles. Automative-safety and security conference, Stuttgart, Germany, 2017.
• 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

• Abdulkhaleq, A., Lammering, D., Wagner, S., Röder, J., Balbierer, N., Ramsauer, L., Raste, T., and Boehmert, H..: ِA systematic Approach Based on STPA for Developing a Dependable Architecture for Fully Automated Driving Vehicles. Procedia Engineering, volume 179C, PP. 41-51, 2017.
• Lammering, D., Balbierer, N., and Abdulkhaleq, A. (2016) Automatisierte Fahren: Keimzelle neuer Architeckturkonzepte. HANSER Automative 2016, Munich, Germany
• 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 Priv (2017): An Automated tool support for STPA Privacy Analysis 
• STPA Sec (2017): An Automated tool Support for STPA Security Analysis.  
• STPA TCGenerator Plugin (2016): An Eclipse plug-in for STPA TCGenerator tool. 
• STPA TCGenerator (2016): A safety-based testing tool to generate test cases based on STPA results.
• 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 - 06.02.2017.
• 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

Wintersemester 2016/2017

•  Übungen: Grundlagen des Software Engineerings (GSE)
• Forschungsmethoden in der Softwaretechnik (Master)

Sommersemester 2016

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

Wintersemester 2015/2016

• Übungen: Grundlagen des Software Engineerings
• Forschungsmethoden in der Softwaretechnik (Master)

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

• Master Thesis (Robert Bosch): Entwicklung einer Softwarearchitektur für das LKW-Platoning anhand von ausgewählten Use-Cases (Rainer Erban hat am 01.03.2017 angefangen)
• Master Thesis (Continental): Image-based estimation of the object kinematics for advanced driver assistance systems (Jose Marin hat am 01.03.2017 angefangen)  
• Fachstudie:ِ Analyse des Zugunfalls in Bad Aibling, Deutschland mit STAMP/CAST Ansatz (Roman Strecken, Hans Martin Berner und Melanie Schäfer haben am 01.12.2016 angefangen)
• Bachlorabeit: Konzeption und Realisierung einer Steuerungssystem-HMI für Mobilgeräte (Erik-Felix Tinsel hat am 01.12.2016 angefangen)
• Bachlorarbeit: STPA Sec: Entwicklung eines Eclipse-Plugins zur Sicherheitsanalyse mit STPA-Sec (Domas Mikalkinas hat am 01.12.2016 angefangen)
• Prozessanalyse: Analyse des Stuttgarter Vorgehensmodell SVM ("Stuttgarter Vorgehensmodell". (Alexander Szilagyi, Benedikt Diesel und Manuel Müller Abgeschlossen)

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

• Master Thesis (Daimler): Testabdeckungsmaße für den Integrationstest von E/E-Systemen im Fahrzeug. (Javasiel Walter-Abgeschlossen )

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

• Bachlorarbeit:Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software- Sicherheitsanforderungen (Lukas Blazer-Abgeschlossen)

• Master Thesis: Regressionstestset-Auswahl und -Minimierungbasierend auf Feature-Modellierung (Patrick Alt- Abgeschlossen)
• 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)

• SE Kolloquium-Beauftragter 

• Wegweiser zum Informatikgebäude