Personal Information
Unternehmen/Arbeitsplatz
Stuttgart Area, Germany Germany
Beruf
A Postdoctoral Researcher
Branche
Education
Info
Asim Abdulkhaleq is a postdoctoral research assistant at the software engineering group in the software technology institute at University of Stuttgart. Mr. Abdulkhaleq has finished his Ph.D. dissertation under supervision of Prof. Dr. rer. nat. Stefan Wagner, University of Stuttgart, Germany and Prof. Dr. Nancy Leveson, MIT, USA. His research interests includes safety engineering for software-intensive systems. Mr. Abdulkhaleq is working with different automotive companies as a safety expert on how to apply STPA/STAMPP in the development process of the new automotive systems. In 2012, he has gained his M.Sc degree in Information Technology from University of Stuttgart with a master the...
Tags
stpa
stamp
xstampp
cast
software safety
safety-based testing
stpa swiss
control structure diagram
safety analysis
promela
formal verification
smv
model checker
software testing
spin
model checking
software verification
nusmv
causal scenarios
causal factors
process model
security analysis
privacy
asim abdulkhaleq
safety test
verification
safety testing
phd dissertation
safety verificaiton
unsafe control actions
tools
a-stpa
automotive
safety
Mehr anzeigen
Präsentationen
(9)Personal Information
Unternehmen/Arbeitsplatz
Stuttgart Area, Germany Germany
Beruf
A Postdoctoral Researcher
Branche
Education
Info
Asim Abdulkhaleq is a postdoctoral research assistant at the software engineering group in the software technology institute at University of Stuttgart. Mr. Abdulkhaleq has finished his Ph.D. dissertation under supervision of Prof. Dr. rer. nat. Stefan Wagner, University of Stuttgart, Germany and Prof. Dr. Nancy Leveson, MIT, USA. His research interests includes safety engineering for software-intensive systems. Mr. Abdulkhaleq is working with different automotive companies as a safety expert on how to apply STPA/STAMPP in the development process of the new automotive systems. In 2012, he has gained his M.Sc degree in Information Technology from University of Stuttgart with a master the...
Tags
stpa
stamp
xstampp
cast
software safety
safety-based testing
stpa swiss
control structure diagram
safety analysis
promela
formal verification
smv
model checker
software testing
spin
model checking
software verification
nusmv
causal scenarios
causal factors
process model
security analysis
privacy
asim abdulkhaleq
safety test
verification
safety testing
phd dissertation
safety verificaiton
unsafe control actions
tools
a-stpa
automotive
safety
Mehr anzeigen