扎赫拉·拉梅扎尼
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j5] 扎赫拉·拉梅扎尼 , 亚历山大·唐泽 , 马丁·费边 , 克努特·凯森 :
关于网络物理系统伪造的输入生成器。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 43 ( 4 ) : 1274-1287 ( 2024 ) 2022 【j4】 扎赫拉·拉梅扎尼 , 科恩·克莱森 , 尼古拉斯·斯莫尔博内 , 马丁·费边 , 克努特·凯森 :
使用线搜索伪造方法测试网络物理系统。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 41 ( 8 ) : 2393-2406 ( 2022 ) [i3] 扎赫拉·拉梅扎尼 , 凯南·塞希克 , 路易吉·纳尔迪 , 克努特·凯森 :
使用贝叶斯优化对网络物理系统进行伪造。 CoRR公司 abs/2209.06735 ( 2022 ) [i2] 扎赫拉·拉梅扎尼 , 克努特·凯森 :
技术报告:输入参数对网络物理系统伪造的影响。 CoRR公司 abs/2209.07131 ( 2022 ) 2021 【c7】 扎赫拉·拉梅扎尼 , 亚历山大·唐泽 , 马丁·费边 , 克努特·凯森 :
使用输入脉冲发生器对网络物理系统进行时间逻辑伪造。 ADHS建筑 2021 : 195-202 2020 [j3] 约翰·利登·埃德兰 , 科恩·克莱森 , 尼古拉斯·斯莫尔博内 , 扎赫拉·拉梅扎尼 , 萨杰德·米雷马迪 , 克努特·凯森 :
通过规范转换和值布尔值增强时间逻辑伪造。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 12 ) : 5247-5260 ( 2020 )
2010 – 2019
2019 【c6】 扎赫拉·拉梅扎尼 , 乔纳斯·克鲁克 , 费振南 , 马丁·费边 , 克努特·凯森 :
反应合成和监督控制的比较案例研究。 ECC公司 2019 : 1752-1759 【c5】 扎赫拉·拉梅扎尼 , 尼古拉斯·斯莫尔博内 , 马丁·费边 , 克努特·凯森 :
使用一个自动驾驶示例评估两种语义是否存在错误。 印度 2019 : 386-391 [i1] 约翰·利登·埃德兰 , 科恩·克莱森 , 尼古拉斯·斯莫尔博内 , 扎赫拉·拉梅扎尼 , 萨杰德·米雷马迪 , 克努特·凯森 :
通过规范转换和值布尔值增强时间逻辑伪造。 CoRR公司 abs/1910.08306 ( 2019 ) 2018 [注2] 马吉德·塔赫里·安达尼 , 扎赫拉·拉梅扎尼 , 赛义德·莫扎米 , 曹金德 , 穆罕默德·迈赫迪·阿雷菲 , 哈桑·扎尔加德 :
基于观测器的球形机器人路径跟踪滑模控制。 复杂。 2018 : 3129398:1-3129398:15 ( 2018 ) 【c4】 科恩·克莱森 , 尼古拉斯·斯莫尔博内 , 约翰·利登·埃德兰 , 扎赫拉·拉梅扎尼 , 克努特·凯森 , 萨杰德·米雷马迪 :
在网络物理系统测试中应用有值布尔值。 MT@CPSWeek 2018 : 8-9 【c3】 扎赫拉·拉梅扎尼 , 大卫·加利亚迪 , 路易吉·德尔雷 :
自主超车的风险约束和节能随机方法。 ECC公司 2018 : 1289-1294 2017 [j1] 索马耶·扎尔 , 马苏德·费雷东内扎德 , 达沃德·阿夫沙尔 , 扎赫拉·拉梅扎尼 :
苯基哌啶衍生物作为强双NK的比较QSAR分析和分子对接研究 1 R拮抗剂/血清素转运体(SERT)抑制剂。 计算。 生物化学。 67 : 22-37 ( 2017 ) 【c2】 扎赫拉·拉梅扎尼 , 穆罕默德·马赫迪·阿雷菲 , 哈桑·扎尔加德 , 穆罕默德·雷扎·贾赫德·莫特拉赫 :
一类控制增益符号未知的不确定MIMO系统的自适应反推控制。 行政协调会 2017 : 1785-1790 【c1】 多米尼克·莫瑟 , 扎赫拉·拉梅扎尼 , 大卫·加利亚迪 , 周金伟(Jinwei Zhou) , 路易吉·德尔·雷 :
面向风险功能的自动超车。 ASCC公司 2017 : 1017-1022
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)