阿姆贾德·易卜拉欣
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [第11条] 乌尔里希·舍普 , 徐创杰 , 阿姆贾德·易卜拉欣 , 法提耶·法吉 , 西奥·迪米特拉科斯 :
指定使用控制系统。 SACMAT公司 2023 : 193-200 2022 [第10条] 阿里·哈里里 , 阿姆贾德·易卜拉欣 , 西奥·迪米特拉科斯 , 布鲁诺·克里斯波 :
WiP:持续授权和使用控制的元模型。 SACMAT公司 2022 : 43-48 2021 【b1】 阿姆贾德·易卜拉欣 :
问责制的实际因果框架。 德国慕尼黑技术大学, 2021 2020 【c9】 阿姆贾德·易卜拉欣 , 亚历山大·普雷施纳 :
从检查到推断:作为优化问题的实际因果计算。 ATVA公司 2020 : 343-359 【c8】 阿姆贾德·易卜拉欣 , 托比亚斯·克莱塞尔 , 伊珊·齐贝伊 , 塞韦林·卡西亚卡 , 亚历山大·普雷施纳 :
实际因果画布:基于解释的社会技术结构的一般框架。 ECAI公司 2020 : 2978-2985 【c7】 阿姆贾德·易卜拉欣 , 西蒙·雷瓦尔德 , 安托万·塞马 , 弗洛里安·安德烈斯 , 亚历山大·普雷施纳 :
从攻击树中提取因果模型以确定恶意内幕攻击的属性。 GraMSec@CSF 2020 : 3-23 [i4] 塞韦林·卡西亚卡 , 阿姆贾德·易卜拉欣 , 亚历山大·普雷施纳 :
使用结构因果模型表达责任模式。 CoRR公司 abs/2005.03294 ( 2020 ) [i3] 阿姆贾德·易卜拉欣 , 亚历山大·普雷施纳 :
从检查到推断:作为优化问题的实际因果计算。 CoRR公司 abs/2006.03363 ( 2020 )
2010 – 2019
2019 【c6】 阿姆贾德·易卜拉欣 , 塞韦林·卡西亚卡 , 亚历山大·普雷施纳 , 查尔斯·哈特塞尔 , 加博尔·卡赛 :
网络物理系统的实用因果模型。 非金融市场 2019 : 211-227 【c5】 阿姆贾德·易卜拉欣 , 斯特维卡·博日诺斯基 , 亚历山大·普雷施纳 :
微服务体系结构的攻击图生成。 囊 2019 : 1235-1242 【c4】 塞韦林·卡西亚卡 , 阿姆贾德·易卜拉欣 , 亚历山大·普雷施纳 , 亚历山大·特伦德 , 安德烈亚斯·吕德克 :
将因果模型从机器扩展到人类。 ETAPS坝顶 2019 : 17-31 [i2] 阿姆贾德·易卜拉欣 , 西蒙·雷瓦尔德 , 亚历山大·普雷施纳 :
使用SAT解决方案有效检查实际因果关系。 CoRR公司 abs/1904.13101 ( 2019 ) [i1] Mohsen Ahmadvard公司 , 阿姆贾德·易卜拉欣 , 费利克斯·胡贝尔 :
分类即服务:如何构建相关工作。 CoRR公司 abs/1906.11217 ( 2019 ) 2017 【c3】 西蒙·雷瓦尔德 , 阿姆贾德·易卜拉欣 , 克里斯蒂安·贝克斯 , 亚历山大·普雷施纳 :
ACCBench:一个比较因果算法的框架。 ETAPS坝顶 2017 : 16-30 2016 【c2】 阿姆贾德·易卜拉欣 , 塞巴斯蒂安·巴内斯库 :
StIns4CS:C#的状态检查工具。 CCS的SPRO 2016 : 61-71 【c1】 莫森·艾哈迈迪德 , 阿姆贾德·易卜拉欣 :
可扩展和安全微服务(De)组合的需求协调。 可再生能源研讨会 2016 : 68-73
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)