Amjad Ibrahim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SACMAT | Static and Dynamic Analysis of a Usage Control System. | Ulrich Schpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos |
| 2023 | SACMAT | Specifying a Usage Control System. | Ulrich Schpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos |
| 2022 | SACMAT | WiP: Metamodel for Continuous Authorisation and Usage Control. | Ali Hariri, Amjad Ibrahim, Theo Dimitrakos, Bruno Crispo |
| 2020 | ATVA | From Checking to Inference: Actual Causality Computations as Optimization Problems. | Amjad Ibrahim, Alexander Pretschner |
| 2020 | ECAI | Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs. | Amjad Ibrahim, Tobias Klesel, Ehsan Zibaei, Severin Kacianka, Alexander Pretschner |
| 2019 | SAC | Attack graph generation for microservice architecture. | Amjad Ibrahim, Stevica Bozhinoski, Alexander Pretschner |
| 2016 | CCS | StIns4CS: A State Inspection Tool for C#. | Amjad Ibrahim, Sebastian Banescu |
| 2016 | RE | Requirements Reconciliation for Scalable and Secure Microservice (De)composition. | Mohsen Ahmadvand, Amjad Ibrahim |