Foto von Amjad Ibrahim

M.Sc. Amjad Ibrahim

Technische Universität München

Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)

Postadresse

Postal:
Boltzmannstr. 3
85748 Garching b. München

Publications (Scholar List)

  • Ibrahim Amjad; Klesel Tobias; Zibaei Ehsan; Kacianka Severin; Pretschner Alexander: Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. Frontiers in Artificial Intelligence and Applications 325 (ECAI 2020), 2020, 2978-2985 mehr…
  • Ibrahim, Amjad; Pretschner, Alexander: From Checking to Inference: Actual Causality Computations as Optimization Problems. In: Automated Technology for Verification and Analysis. Springer International Publishing, 2020 mehr…
  • Ibrahim, Amjad; Kacianka, Severin; Pretschner, Alexander; Hartsell, Charles; Karsai, Gabor: Practical Causal Models for Cyber-Physical Systems. In: Lecture Notes in Computer Science. Springer International Publishing, 2019 mehr…
  • Ibrahim, Amjad; Bozhinoski, Stevica; Pretschner, Alexander: Attack graph generation for microservice architecture. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, ACM Press, 2019 mehr…
  • Rehwald, Simon; Ibrahim, Amjad; Beckers, Kristian; Pretschner, Alexander: ACCBench: A Framework for Comparing Causality Algorithms. Electronic Proceedings in Theoretical Computer Science 259, 2017, 16-30 mehr…
  • Ibrahim, Amjad and Banescu, Sebastian: StIns4CS: A State Inspection Tool for C\#. Proceedings of the 2016 ACM Workshop on Software PROtection, ACM, 2016, 61--71 mehr…
  • Ahmadvand, Mohsen; Ibrahim, Amjad: Requirements Reconciliation for Scalable and Secure Microservice (De)composition. 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW), IEEE, 2016 mehr…