Amjad Ibrahim
Cited by
Cited by
Requirements reconciliation for scalable and secure microservice (de) composition
M Ahmadvand, A Ibrahim
2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016
Attack graph generation for microservice architecture
A Ibrahim, S Bozhinoski, A Pretschner
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1235-1242, 2019
Practical Causal Models for Cyber-Physical Systems
A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai
NASA Formal Methods Symposium, 211-227, 2019
Extending Causal Models from Machines into Humans
S Kacianka, A Ibrahim, A Pretschner, A Trende, A Lüdtke
In Proceedings CREST 2019, 2019
Efficient Checking of Actual Causality with SAT Solving
A Ibrahim, S Rehwald, A Pretschner
Engineering Secure and Dependable Software Systems 53, 241, 2019
StIns4CS: A State Inspection Tool for C#
A Ibrahim, S Banescu
Proceedings of the 2016 ACM Workshop on Software PROtection, 61-71, 2016
Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs
A Ibrahim, T Klesel, E Zibaei, S Kacianka, A Pretschner
The 24th European Conference on Artificial Intelligence (ECAI 2020) 325 …, 2020
From Checking to Inference: Actual Causality Computations as Optimization Problems
A Ibrahim, A Pretschner
ATVA 2020: Automated Technology for Verification and Analysis, pp 343-359, 2020
Expressing Accountability Patterns using Structural Causal Models
S Kacianka, A Ibrahim, A Pretschner
arXiv preprint arXiv:2005.03294, 2020
Accbench: A framework for comparing causality algorithms
S Rehwald, A Ibrahim, K Beckers, A Pretschner
In Proceedings CREST 2017 arXiv preprint arXiv:1710.05720, 2017
An Actual Causality Framework for Accountable Systems
A Ibrahim
Technische Universität München, 2021
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks
A Ibrahim, S Rehwald, A Scemama, F Andres, A Pretschner
Graphical Models for Security. GraMSec 2020 12419, 2020
Taxonomy-as-a-Service: How To Structure Your Related Work
M Ahmadvand, A Ibrahim, F Huber
arXiv preprint arXiv:1906.11217, 2019
The system can't perform the operation now. Try again later.
Articles 1–13