Requirements reconciliation for scalable and secure microservice (de) composition M Ahmadvand, A Ibrahim 2016 IEEE 24th International Requirements Engineering Conference Workshops …, 2016 | 35 | 2016 |
Practical Causal Models for Cyber-Physical Systems A Ibrahim, S Kacianka, A Pretschner, C Hartsell, G Karsai NASA Formal Methods Symposium, 211-227, 2019 | 9 | 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 |
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 | 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 | 7 | 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 | 4 | 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 |
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 | 1 | 2020 |
Expressing Accountability Patterns using Structural Causal Models S Kacianka, A Ibrahim, A Pretschner arXiv preprint arXiv:2005.03294, 2020 | | 2020 |
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 |