Kohei Suenaga公司
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元9年] 川本优助 , 佐藤忠雄 , Kohei Suenaga公司 :
可靠且相对完整的信念——统计假设测试程序的霍尔逻辑。 Artif公司。 智力。 326 : 104045 ( 2024 ) [j8] 哈朔一郎 , Oyabu一郎 , 克洛维斯·埃伯哈特 , Kohei Suenaga公司 , 肯塔·乔 , Shin-ya胜本 :
用于概率程序有效推理的控制数据分离和逻辑条件传播。 J.日志。 代数方法程序。 136 : 100922 ( 2024 ) [i27] Masaki Waga公司 , 松冈浩太郎 , Takashi Suwa先生 , 松本直树 , Ryotaro Banno公司 , 宋卞 , Kohei Suenaga公司 :
基于全同态加密的离散时间STL的不经意监控。 CoRR公司 腹肌/2405.16767 ( 2024 ) [i26] 川本优助 , 肯塔罗·小林 , Kohei Suenaga公司 :
StatWhy:统计假设测试程序的正式验证工具。 CoRR公司 abs/2405.17492 ( 2024 ) 2023 [j7] Junya Shijubo先生 , Masaki Waga公司 , Kohei Suenaga公司 :
通过主动MDP学习进行概率黑盒检查。 ACM事务处理。 嵌入。 计算。 系统。 22 ( 5秒 ) : 148:1-148:26 ( 2023 ) [j6] 哈朔一郎 , 克洛维斯·埃伯哈特 , 詹姆斯·海登 , 杰雷米·杜布特 , 罗斯·波勒 , 小林尊 , Sasinee Pruekprasert公司 , 张晓毅 , 埃里克·安德烈·帕拉斯 , 山田秋久 , Kohei Suenaga公司 , 石川福玉 , Kenji Kamijo先生 , Yoshiyuki Shinya公司 , 塔卡玛萨·苏埃托米 :
通过程序逻辑实现复杂场景的目标感知RSS。 IEEE传输。 智力。 车辆。 8 ( 4 ) : 3040-3072 ( 2023 ) [c32] 阿米特·古龙 , Masaki Waga公司 , Kohei Suenaga公司 :
从输入输出时序数据学习非线性混合自动机。 ATVA(1) 2023 : 33-52 [公元31年] 川本裕介 , 佐藤忠雄 , Kohei Suenaga公司 :
通过模态逻辑形式化统计因果关系。 杰莉亚 2023 : 681-696 [i25] 阿米特·古龙 , Masaki Waga公司 , Kohei Suenaga公司 :
从输入输出时间序列数据中学习非线性混合自动机。 CoRR公司 abs/2301.03915 ( 2023 ) 【i24】 Junya Shijubo先生 , Masaki Waga公司 , Kohei Suenaga公司 :
通过主动MDP学习进行概率黑盒检查。 CoRR公司 abs/2308.07930 ( 2023 ) [第23条] 宋卞 , 赵子安 , 周章 , 冉茂 , Kohei Suenaga公司 , 伊尔金 , 关振宇 , 刘建伟 :
HEIR:全同态计算跨模式编译的统一表示。 IACR加密。 电子打印架构。 2023 : 1445 ( 2023 ) 2022 [j5] Yuki Nishida公司 , 斋藤弘 , 冉晨 , 阿基拉·卡瓦塔 , Jun Furuse先生 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
亥姆霍兹:基于精炼类型的Tezos智能合约验证程序。 新一代。 计算。 40 ( 2 ) : 507-540 ( 2022 ) [公元30年] 松下菊池 , 内田光太郎 , Masaki Waga公司 , Kohei Suenaga公司 :
BOREx:基于贝叶斯优化的图像和视频分类模型显著性图的细化。 接种疫苗(7) 2022 : 274-290 [公元29年] Mayuko Kori公司 , Natsuki Urabe公司 , Shin-ya胜本 , Kohei Suenaga公司 , 哈朔一郎 :
属性导向可达性分析的格理论本质。 CAV(1) 2022 : 235-256 [公元28年] Ryotaro Banno公司 , 松冈浩太郎 , 松本直树 , 宋卞 , Masaki Waga公司 , Kohei Suenaga公司 :
通过完全同态加密实现安全LTL规范的不经意在线监测。 CAV(1) 2022 : 447-468 [i22] Mayuko Kori公司 , Natsuki Urabe公司 , Shin-ya胜本 , Kohei Suenaga公司 , 哈朔一郎 :
属性导向可达性分析的格理论本质。 CoRR公司 腹肌/2203.14261 ( 2022 ) [i21] Ryotaro Banno公司 , 松冈浩太郎 , 松本直树 , 宋卞 , Masaki Waga公司 , Kohei Suenaga公司 :
通过完全同态加密实现安全LTL规范的不经意在线监测。 CoRR公司 abs/2206.03582 ( 2022 ) [i20] 哈朔一郎 , 克洛维斯·埃伯哈特 , 詹姆斯·海登 , 杰雷米·杜布特 , 罗斯·波勒 , 小林尊 , 萨西内·普鲁克普拉塞特 , 张晓毅 , 埃里克·安德烈·帕拉斯 , 山田秋久 , Kohei Suenaga公司 , 石川福玉 , Kenji Kamijo先生 , Yoshiyuki Shinya公司 , 塔卡玛萨·苏埃托米 :
通过程序逻辑实现复杂场景的目标感知RSS。 CoRR公司 abs/2207.02387 ( 2022 ) [i19] 川本优助 , 佐藤忠雄 , Kohei Suenaga公司 :
统计假设测试程序的合理且相对完整的信念Hoare逻辑。 CoRR公司 abs/2208.07074 ( 2022 ) [i18] 川本优助 , 佐藤忠雄 , Kohei Suenaga公司 :
通过模态逻辑形式化统计因果关系。 CoRR公司 腹肌/2210.16751 ( 2022 ) [i17] 松下菊池 , Kotaro Uchida公司 , Masaki Waga公司 , Kohei Suenaga公司 :
BOREx:基于贝叶斯优化的图像和视频分类模型显著性图的细化。 CoRR公司 abs/2210.17130 ( 2022 ) 2021 [公元27年] 川本优助 , 佐藤忠雄 , Kohei Suenaga公司 :
使用程序逻辑将假设测试中的统计信念形式化。 韩国 2021 : 411-421 [公元26年] Junya Shijubo先生 , Masaki Waga公司 , Kohei Suenaga公司 :
通过增强规范的模型检查实现高效的黑盒检查。 右心室 2021 : 100-120 [公元25年] Yuki Nishida公司 , 斋藤弘 , 冉晨 , 阿基拉·卡瓦塔 , Jun愤怒 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
亥姆霍兹:基于精炼类型的Tezos智能合约验证程序。 TACAS(2) 2021 : 262-280 [i16] 哈朔一郎 , Oyabu一郎 , 克洛维斯·埃伯哈特 , Kohei Suenaga公司 , 肯塔·乔 , Shin-ya胜本 :
概率程序有效推理的控制数据分离和逻辑条件传播。 CoRR公司 abs/2101.01502 ( 2021 ) 【i15】 索塔·佐藤 , 板野龙太郎 , Jun Furuse先生 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
使用F。 CoRR公司 abs/2106.04826 ( 2021 ) [第14条] 津田武史 , Hiroshi Unno先生 , 芋头Sekiyama , Kohei Suenaga公司 :
通过强化学习增强循环不变量综合。 CoRR公司 abs/2107.09766 ( 2021 ) [i13] Yuki Nishida公司 , 斋藤弘 , 冉晨 , 阿基拉·卡瓦塔 , Jun Furuse先生 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
HELMHOLTZ:一个基于精化类型的Tezos智能合约验证程序。 CoRR公司 abs/2108.12971 ( 2021 ) [i12] Junya Shijubo先生 , Masaki Waga公司 , Kohei Suenaga公司 :
通过增强规范的模型检查实现高效的黑盒检查。 CoRR公司 abs/2109.04656 ( 2021 ) 2020 [公元24年] Yuki Hatakeyama先生 , Hiroki Sakuma公司 , 小西吉诺里 , Kohei Suenaga公司 :
可视化黑盒图像分类模型的彩色显著性。 ACCV(3) 2020 : 189-205 【c23】 约翰·托曼 , 任思奇 , Kohei Suenaga公司 , Atsushi Igarashi先生 , 小林直树 :
ConSORT:强制程序的上下文和流敏感所有权细化类型。 员工持股计划 2020 : 684-714 [公元22年] 鲁卡·福纳基 , Yusuke Nagata公司 , Kohei Suenaga公司 , 森喜昭 :
确认权利和义务的合同语料库。 LREC公司 2020 : 2045-2053 【c21】 Kohei Suenaga公司 , 石泽拓哉 :
混合系统的广义属性定向可达性。 VMCAI公司 2020 : 293-313 [i11] 约翰·托曼 , 任思奇 , Kohei Suenaga公司 , Atsushi Igarashi先生 , 小林直树 :
ConSORT:紧急程序的上下文和流敏感所有权细化类型。 CoRR公司 abs/2002.07770 ( 2020 ) [i10] Yuki Hatakeyama先生 , Hiroki Sakuma公司 , Konishi吉诺 , Kohei Suenaga公司 :
可视化黑盒图像分类模型的彩色显著性。 CoRR公司 abs/2010.02468 ( 2020 )
2010 – 2019
2019 [第九章] Kohei Suenaga公司 , 石泽拓哉 :
混合系统的广义属性定向可达性。 CoRR公司 abs/1910.03784 ( 2019 ) 2018 【j4】 小岛贤介 , Minoru Kinoshita公司 , Kohei Suenaga公司 :
基于模板的高效非线性不变综合的广义齐次多项式。 西奥。 计算。 科学。 747 : 33-47 ( 2018 ) [公元20年] 芋头Sekiyama , Kohei Suenaga公司 :
基于深度神经网络的最小命题逻辑的自动证明综合。 阿普拉斯 2018 : 309-328 [第19条] Masaki Waga公司 , 哈朔一郎 , Kohei Suenaga公司 :
MONAA:一种基于自动机加速的定时模式匹配工具。 MT@CPSWeek 2018 : 14-15 [第18条] 阿基福米·伊曼西 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
用于程序验证的循环融合的猜测与假设方法。 政治公众人物 2018 : 2-14 [i8] 芋头Sekiyama , Kohei Suenaga公司 :
基于深度神经网络的命题逻辑自动证明综合。 CoRR公司 abs/1805.11799 ( 2018 ) [i7] Masaki Waga公司 , 哈朔一郎 , Kohei Suenaga公司 :
MONAA:一个基于自动加速的时间模式匹配工具。 CoRR公司 abs/1810.09351 ( 2018 ) 2017 [第17条] 塔卡马萨·奥库多诺 , Yuki Nishida公司 , 小岛贤介 , Kohei Suenaga公司 , 基多健戈 , 哈朔一郎 :
用于程序验证的更清晰和更简单的非线性插值。 阿普拉斯 2017 : 491-513 [第16条] 中村博文 , 小岛贤介 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
一种非标准函数式编程语言。 阿普拉斯 2017 : 514-533 [第15条] Masaki Waga公司 , 哈朔一郎 , Kohei Suenaga公司 :
基于自动跳过的高效在线定时模式匹配。 格式 2017 : 224-243 [i6] 芋头Sekiyama , 阿基福米·伊曼西 , Kohei Suenaga公司 :
直觉命题逻辑的神经机器翻译指导下的证明合成。 CoRR公司 abs/1706.06462 ( 2017 ) [i5] Masaki Waga公司 , 哈朔一郎 , Kohei Suenaga公司 :
基于自动跳过的高效在线定时模式匹配。 CoRR公司 abs/1706.09174 ( 2017 ) [i4] 塔卡马萨·奥库多诺 , Yuki Nishida公司 , 小岛贤介 , Kohei Suenaga公司 , 基多健戈 , 哈朔一郎 :
用于程序验证的更清晰和更简单的非线性插值。 CoRR公司 abs/1709.00314 ( 2017 ) 2016 [第14条] 小岛贤介 , Minoru Kinoshita公司 , Kohei Suenaga公司 :
基于模板的高效非线性不变量综合的广义齐次多项式。 萨斯 2016 : 278-299 [i3] 小岛贤介 , 木下敏鲁 , Kohei Suenaga公司 :
基于模板的高效非线性不变量综合的广义齐次多项式。 CoRR公司 abs/1604.07201 ( 2016 ) 2015 [i2] 石井大辅 , Kohei Suenaga公司 , 瓦利德·塔哈 :
经验证的数字符合CPS设计的可达性分析(NII Shonan会议2015-14)。 NII Shonan会议。 代表。 2015 ( 2015 ) 2014 [c13] Tatsuya Sonobe公司 , Kohei Suenaga公司 , Atsushi Igarashi先生 :
基于使用所有权的程序转换的自动内存管理。 阿普拉斯 2014 : 58-77 [第12条] 赤崎拓美 , 哈朔一郎 , Kohei Suenaga公司 :
基于程序逻辑的采样数据系统的输入合成。 有 2014 : 22-39 2013 [第11条] Kohei Suenaga公司 , Hiroyoshi Sekine先生 , 哈朔一郎 :
超流处理系统:连续时间信号的非标准建模。 POPL公司 2013 : 417-430 2012 [第10条] 哈朔一郎 , Kohei Suenaga公司 :
混合系统非标准静态分析练习。 CAV汽车 2012 : 462-478 【c9】 Kohei Suenaga公司 , 福田良田 , Atsushi Igarashi先生 :
共享内存并发的基于类型的安全资源释放。 OOPSLA公司 2012 : 1-20 2011 [j3] 佐藤良介 , Kohei Suenaga公司 , 小林直树 :
树结构数据流处理的有序类型。 J.信息处理。 19 : 74-87 ( 2011 ) 【c8】 Kohei Suenaga公司 , 哈朔一郎 :
用无穷小函数编程:混合系统建模的While-Language。 伊拉克石油公司(2) 2011 : 392-403
2000 – 2009
2009 【c7】 Kohei Suenaga公司 , 小林直树 :
安全内存释放的分数所有权。 阿普拉斯 2009 : 128-143 2008 [注2] Koichi Kodama公司 , Kohei Suenaga公司 , 小林直树 :
基于有序线性类型将树处理程序转换为流处理程序。 J.功能。 程序。 18 ( 三 ) : 333-371 ( 2008 ) 【c6】 Kohei Suenaga公司 :
非结构化锁基元和可变引用的基于类型的死锁自由验证。 阿普拉斯 2008 : 155-170 2007 【c5】 Kohei Suenaga公司 , 小林直树 :
具有中断的并行微积分死锁的基于类型的分析。 员工持股计划 2007 : 490-504 2006 [j1] 小林直树 , Kohei Suenaga公司 , 卢西安·维奇克 :
p-微积分的资源使用分析。 日志。 方法计算。 科学。 2 ( 三 ) ( 2006 ) 【c4】 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
的资源使用分析 圆周率 -微积分。 VMCAI公司 2006 : 298-312 [i1] 小林直树 , Kohei Suenaga公司 , 卢西安·维希克 :
Pi-Calculus的资源使用分析。 CoRR公司 abs/cs/0608035 ( 2006 ) 2005 【c3】 Kohei Suenaga公司 , 小林直树 , Akinori Yonezawa公司 :
通过自动插入缓冲基元来扩展基于类型的流处理程序生成方法。 洛普斯特 2005 : 98-114 2004 【c2】 Koichi Kodama公司 , Kohei Suenaga公司 , 小林直树 :
基于有序线性类型将树处理程序转换为流处理程序。 阿普拉斯 2004 : 41-56 2003 【c1】 Kohei Suenaga公司 , Yutaka Oiwa公司 , 须井英次郎 , Akinori Yonezawa公司 :
故障安全C的接口定义语言。 国际空间站 2003 : 192-208
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)