StIns4CS: A State Inspection Tool for C#. - Amjad Ibrahim; Sebastian Banescu (SPRO@CCS, 2016)

Requirements Reconciliation for Scalable and Secure Microservice (De)composition. - Mohsen Ahmadvand; Amjad Ibrahim (RE Workshops, 2016)

ACCBench: A Framework for Comparing Causality Algorithms. - Simon Rehwald; Amjad Ibrahim; Kristian Beckers; Alexander Pretschner (CREST@ETAPS, 2017)

Practical Causal Models for Cyber-Physical Systems. - Amjad Ibrahim; Severin Kacianka; Alexander Pretschner; Charles Hartsell; Gabor Karsai (NFM, 2019)

Attack graph generation for microservice architecture. - Amjad Ibrahim; Stevica Bozhinoski; Alexander Pretschner (SAC, 2019)

Efficiently Checking Actual Causality with SAT Solving. - Amjad Ibrahim; Simon Rehwald; Alexander Pretschner (CoRR, 2019)

Taxonomy-as-a-Service: How To Structure Your Related Work. - Mohsen Ahmadvand; Amjad Ibrahim; Felix Huber (CoRR, 2019)

Extending Causal Models from Machines into Humans. - Severin Kacianka; Amjad Ibrahim; Alexander Pretschner; Alexander Trende; Andreas Lüdtke (CREST@ETAPS, 2019)

From Checking to Inference: Actual Causality Computations as Optimization Problems. - Amjad Ibrahim; Alexander Pretschner (ATVA, 2020)

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. - Amjad Ibrahim; Tobias Klesel; Ehsan Zibaei; Severin Kacianka; Alexander Pretschner (ECAI, 2020)

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks. - Amjad Ibrahim; Simon Rehwald; Antoine Scemama; Florian Andres; Alexander Pretschner (GraMSec@CSF, 2020)

Expressing Accountability Patterns using Structural Causal Models. - Severin Kacianka; Amjad Ibrahim; Alexander Pretschner (CoRR, 2020)

An Actual Causality Framework for Accountable Systems. - Amjad Ibrahim (2021)

WiP: Metamodel for Continuous Authorisation and Usage Control. - Ali Hariri; Amjad Ibrahim; Theo Dimitrakos; Bruno Crispo (SACMAT, 2022)

Specifying a Usage Control System. - Ulrich Schöpp; Chuangjie Xu; Amjad Ibrahim; Fathiyeh Faghih; Theo Dimitrakos (SACMAT, 2023)

Static and Dynamic Analysis of a Usage Control System. - Ulrich Schöpp; Fathiyeh Faghih; Subhajit Bandopadhyay; Hussein Joumaa; Amjad Ibrahim; Chuangjie Xu; Xin Ye; Theo Dimitrakos (SACMAT, 2024)