曾英福
人员信息
优化列表
2010 – 2019
2019 【c9】 亚当·杜拉茨 , 艾曼·阿尔贾布 , 费伦茨·A·巴萨 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 亨利克·埃里克森 , 扬·杜拉茨 , 费旭 , 曾英福 , 克里斯蒂安·格兰特 :
ISO 26262功能安全标准中使用严格模拟的高级危险分析和风险评估。 CyPhy/WESE公司 2019 : 108-126 2017 【c8】 曾英福 , 费伦茨·A·巴萨 , 瓦利德·塔哈 :
混合ODE的编译时扩展。 ETAPS时的信噪比 2017 : 52-70 2016 [j1] 瓦利德·塔哈 , 曾英福 , 亚当·杜拉茨 , 费旭 , 凯文·阿特金森 , 保罗·布劳纳 , 罗伯特·卡特赖特 , 罗兰·菲利普森 :
开发关于网络物理系统的第一门课程。 SIGBED版本。 14 ( 1 ) : 44-52 ( 2016 ) 【c7】 艾曼·阿尔贾布 , 曾英福 , 亚当·杜拉茨 , 贝诺·特凯劳德 , 瓦利德·塔哈 :
混合动力系统无颤振仿真语义与原型实现。 CSE/EUC/DCABES公司 2016 : 412-422 【c6】 瓦利德·塔哈 , 拉尔斯·戈兰·赫德斯特罗姆 , 费旭 , 亚当·杜拉茨 , 费伦茨·A·巴萨 , 曾英福 , 詹妮弗·戴维 , 高拉夫·贡扬 :
翻转第一门关于网络物理系统的课程:一份经验报告。 WESE公司 2016 : 8:1-8:8 2015 【c5】 亚当·杜拉茨 , 亨利克·埃里克森 , 费伦茨·A·巴萨 , 费旭 , 曾英福 , 瓦利德·塔哈 :
使用严格的模拟支持ISO 26262危害分析和风险评估。 HPCC/CSS/ICESS公司 2015 : 1093-1096 【c4】 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚森 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2014 【c3】 瓦利德·塔哈 , 罗伯特·卡特赖特 , 罗兰·菲利普森 , 曾英福 :
开发网络物理系统第一课程。 WESE公司 2014 : 6:1-6:8 [c2] 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 玛西娅·基尔琴曼·奥马利 , 罗伯特·卡特赖特 :
网络物理系统建模基本方面,第二部分(扩展摘要)。 HPCC/CSS/ICESS公司 2014 : 550-557 [i1] 曾英福 , 乍得·G·罗斯 , 保罗·布劳纳 , 瓦利德·塔哈 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 马西娅·奥马利 , 罗伯特·卡特赖特 :
网络物理系统的建模基本方面,第二部分。 CoRR公司 abs/1408.1110 ( 2014 ) 2012 【c1】 瓦利德·塔哈 , 保罗·布劳纳 , 曾英福 , 罗伯特·卡特赖特 , 维罗尼卡·加斯佩斯 , 亚伦·D·艾姆斯 , 亚历山大·查普特 :
网络物理系统可执行模型的核心语言(初步报告)。 ICDCS研讨会 2012 : 303-308