井上俊美 0001
人员信息
附属: 日本大阪池田国家先进工业科学技术研究所 unicode名称: 井上純
其他同名人员
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [第13条] 井上俊美 , 西原秀美 , 森喜朗 :
稀疏同步故障安全处理器的定量分析。 QRS(QRS) 2022 : 1057-1068 2021 [第12条] 吉登·恩斯特 , 保罗·阿卡尼 , 伊斯梅尔·本纳尼 , 阿尼鲁德·钱德拉特雷 , 亚历山大·唐泽 , 乔治·费内科斯 , 戈兰·弗雷斯 , Khouloud Gaaloul公司 , 井上俊美 , 坦马·坎代特 , 洛根·马塞森 , 克劳迪奥·蒙吉 , 朱利亚·佩德里利 , 马克·普泽特 , Masaki Waga公司 , 沙基巴·雅古比 , 山形义由纪夫 , 张振亚 :
ARCH-COMP 2021类别报告:伪造并验证结果。 ADHS建筑 2021 : 133-152
2010 – 2019
2018 [第11条] 井上俊美 , 金城富美 , Mitsuharu Morisawa先生 , 森喜朗 :
检测仿人机器人中的错误。 QRS(QRS) 2018 : 163-170 2017 [第10条] 井上俊美 , 山形义由纪夫 , 陈宇奇(Yuqi Chen) , 克里斯托弗·波斯基特 , 孙军(Jun Sun) :
基于无监督机器学习的水处理系统异常检测。 ICDM研讨会 2017 : 1058-1065 【c9】 井上俊美 , 山形义由纪夫 :
流程监控器的操作语义。 RV汽车 2017 : 403-409 [i3] 井上俊美 , 山形义由纪夫 :
流程监控器的操作语义。 CoRR公司 腹肌/1705.05137 ( 2017 ) [i2] 井上俊美 , 山形义由纪夫 , 陈玉琪 , 克里斯托弗·波斯基特 , 孙军(Jun Sun) :
基于无监督机器学习的水处理系统异常检测。 CoRR公司 abs/1709.05342 ( 2017 ) 2016 [j1] 井上俊美 , 瓦利德·塔哈 :
关于多阶段程序的推理。 J.功能。 程序。 26 : 第22页 ( 2016 ) 【c8】 井上俊美 , 奥列格·基塞利约夫 , 谷山由纪夫 :
分期付款:前景和挑战。 政治公众人物 2016 : 103-108 【c7】 山形义由纪夫 , 西里尔·阿瑟 , 夏谷正美 , 井上俊美 , 雷马 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
并发系统的运行时监控。 RV汽车 2016 : 386-403 【c6】 蒂莫西·布鲁克 , 井上俊美 , 马克·普泽特 :
日晷/ML:将OCaml连接到日晷数值解算器。 ML/OCAML公司 2016 : 101-130 2015 【c5】 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2013 [i1] 利雅得-巴格达迪 , 阿尔伯特·柯恩 , 谢尔盖·盖尔顿 , Sven Verdoolaege公司 , 井上俊美 , 托比亚斯·格罗瑟 , 乔治亚·库韦利 , 阿列克谢·克劳维斯 , 安东·洛克莫托夫 , 塞德里克·努格特伦 , 弗雷泽-沃特斯 , 阿拉斯泰尔·唐纳森 :
PENCIL:面向DSL的平台—中性计算中间语言。 CoRR公司 abs/1302.5586 ( 2013 ) 2012 【c4】 井上俊美 , 瓦利德·塔哈 :
关于多阶段程序的推理。 员工持股计划 2012 : 357-376 2010 【c3】 安吉拉·朱云(Angela Yun Zhu) , 埃德温·韦斯特布鲁克 , 井上俊美 , 亚历山大·查普特 , 谢里夫·萨拉马 , 玛丽莎·琳娜·佩拉尔塔 , 特拉维斯·马丁 , 瓦利德·塔哈 , 玛西娅·K·奥马利 , 罗伯特·卡特赖特 , 亚伦·D·艾姆斯 , 拉克蒂姆·巴塔查里亚 :
数学方程是机械系统的可执行模型。 ICCPS公司 2010 : 1-11 【c2】 埃德温·韦斯特布鲁克 , 马蒂亚斯·里肯 , 井上俊美 , 姚一龙 , 塔梅尔·阿卜杜拉提夫 , 瓦利德·塔哈 :
薄荷:使用弱可分性的Java多级编程。 PLDI公司 2010 : 400-411
2000 – 2009
2009 【c1】 安吉拉·朱云(Angela Yun Zhu) , 井上俊美 , 玛丽莎·林妮娅·佩拉尔塔 , 瓦利德·塔哈 , 马西娅·奥马利 , 戴恩·鲍威尔 :
从高级描述实现触觉反馈环境。 ICESS公司 2009 : 482-489
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)