| Requirements reconciliation for scalable and secure microservice (de) composition M Ahmadvand, A Ibrahim 2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016 | 45 | 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 | 11 | 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 | 10 | 2019 |
| Extending Causal Models from Machines into Humans S Kacianka, A Ibrahim, A Pretschner, A Trende, A Lüdtke In Proceedings CREST 2019, 2019 | 8 | 2019 |
| Efficient Checking of Actual Causality with SAT Solving A Ibrahim, S Rehwald, A Pretschner Engineering Secure and Dependable Software Systems 53, 241, 2019 | 8 | 2019 |
| StIns4CS: A State Inspection Tool for C# A Ibrahim, S Banescu Proceedings of the 2016 ACM Workshop on Software PROtection, 61-71, 2016 | 6 | 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 | 5 | 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 | 3 | 2020 |
| Expressing Accountability Patterns using Structural Causal Models S Kacianka, A Ibrahim, A Pretschner arXiv preprint arXiv:2005.03294, 2020 | 2 | 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 | 2 | 2017 |
| An Actual Causality Framework for Accountable Systems A Ibrahim Technische Universität München, 2021 | | 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 | | 2020 |
| Taxonomy-as-a-Service: How To Structure Your Related Work M Ahmadvand, A Ibrahim, F Huber arXiv preprint arXiv:1906.11217, 2019 | | 2019 |
Alexander PretschnerProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
