| Requirements reconciliation for scalable and secure microservice (de) composition M Ahmadvand, A Ibrahim 2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016 | 106 | 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 | 56 | 2019 |
| 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 | 22 | 2020 |
| Practical Causal Models for Cyber-Physical Systems A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai NASA Formal Methods Symposium, 211-227, 2019 | 21 | 2019 |
| 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 | 17 | 2020 |
| Efficient Checking of Actual Causality with SAT Solving A Ibrahim, S Rehwald, A Pretschner Engineering Secure and Dependable Software Systems 53, 241, 2019 | 13 | 2019 |
| Extending Causal Models from Machines into Humans S Kacianka, A Ibrahim, A Pretschner, A Trende, A Lüdtke In Proceedings CREST 2019, 2019 | 12 | 2019 |
| Towards Collaborative Security Approaches Based on the European Digital Sovereignty Ecosystem A Ibrahim, T Dimitrakos Collaborative Approaches for Cyber Security in Cyber-Physical Systems, 123-144, 2023 | 7 | 2023 |
| StIns4CS: A State Inspection Tool for C# A Ibrahim, S Banescu Proceedings of the 2016 ACM Workshop on Software PROtection, 61-71, 2016 | 7 | 2016 |
| UCON+: Comprehensive Model, Architecture and Implementation for Usage Control and Continuous Authorization A Hariri, A Ibrahim, B Alangot, S Bandopadhyay, A La Marra, A Rosetti, ... Collaborative Approaches for Cyber Security in Cyber-Physical Systems, 209-226, 2023 | 6 | 2023 |
| WiP: Metamodel for Continuous Authorisation and Usage Control A Hariri, A Ibrahim, T Dimitrakos, B Crispo Proceedings of the 27th ACM on Symposium on Access Control Models and …, 2022 | 4 | 2022 |
| Expressing Accountability Patterns using Structural Causal Models S Kacianka, A Ibrahim, A Pretschner arXiv preprint arXiv:2005.03294, 2020 | 4 | 2020 |
| Specifying a Usage Control System U Schöpp, C Xu, A Ibrahim, F Faghih, T Dimitrakos Proceedings of the 28th ACM Symposium on Access Control Models and …, 2023 | 3 | 2023 |
| Causality-based accountability mechanisms for socio-technical systems A Ibrahim, S Kyriakopoulos, A Pretschner Journal of Responsible Technology 7, 100016, 2021 | 3 | 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 | 3 | 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 | 1 | 2021 |
| Static and Dynamic Analysis of a Usage Control System U Schöpp, F Faghih, S Bandopadhyay, H Joumaa, A Ibrahim, C Xu, X Ye, ... Proceedings of the 29th ACM Symposium on Access Control Models and …, 2024 | | 2024 |
| 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ünchenBestätigte E-Mail-Adresse bei in.tum.de
