山本三郎
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2020 [j6] 西里尔·阿瑟 , Kazuaki Banzai先生 , 昆廷·格罗斯 , 纪尧姆·罗塞特 , 麻磊 , 北村隆 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
Apache ZooKeeper的基于模型的测试:基本API用法和观察程序。 柔和。 测试。 验证可靠性。 30 ( 7-8 ) ( 2020 )
2010 – 2019
2017 [j5] 亚历山大·科汉 , 山本三郎 , 西里尔·瓦伦丁·阿瑟 :
使用工具Kayur从Web资源自动构建数据集。 国际期刊网。 计算。 7 ( 2 ) : 271-294 ( 2017 ) [公元24年] 山本三郎 , Shogo Sekine公司 , 松本清一 :
petri网上Karp-Miller树构造的形式化。 清洁石油产品 2017 : 66-78 【c23】 西里尔·阿瑟 , 昆廷·格罗斯 , 纪尧姆·罗塞特 , Kazuaki Banzai公司 , 麻磊 , 北村隆 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
Apache ZooKeeper的基于模型的API测试。 ICST公司 2017 : 288-298 2016 【j4】 亚历山大·科汉 , 山本三郎 , 西里尔·阿瑟 , 山形义由纪夫 , 麻磊 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) :
Android设备上的Java Pathfinder。 ACM SIGSOFT软件。 工程注释 41 ( 6 ) : 1-5 ( 2016 ) [公元22年] 亚历山大·科汉 , 山本三郎 , 西里尔·阿瑟 :
使用工具Kayur从Web资源自动构建数据集。 坎达尔 2016 : 98-104 【c21】 Ken’ichi Kuga公司 , Manabu Hagiwara公司 , 山本三郎 :
Bing收缩方法在几何拓扑中的形式化。 CICM公司 2016 : 18-27 [公元20年] 山形义由纪夫 , 西里尔·阿瑟 , Masami Hagiya先生 , 井上俊美 , 麻磊 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
并发系统的运行时监控。 RV汽车 2016 : 386-403 2015 [j3] 西里尔·阿瑟 , 铃木邦彦 , Masami Hagiya先生 , Watcharin Leungwatanakit缬草素 , 理查德·波特 , 埃里克·柏拉图 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
使用检查点和虚拟化进行故障注入。 国际期刊网。 计算。 5 ( 2 ) : 347-372 ( 2015 ) [注2] 纳齐姆·塞比赫 , Masami Hagiya先生 , 弗兰兹·魏特尔 , 山本三郎 , 西里尔·阿瑟 , 田本义一(Yoshinori Tanabe) :
基于UDP的分布式应用程序的软件模型检查。 国际期刊网。 计算。 5 ( 2 ) : 373-402 ( 2015 ) [第19条] 麻磊 , 西里尔·阿瑟 , Cheng Zhang(张成) , 佐藤裕久 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
GRT参加2015年SBST工具大赛。 SBST@ICSE公司 2015 : 48-51 [第18条] 弗朗茨·维特尔 , 纳齐姆·塞比赫 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山形义由纪夫 , 山本三郎 :
UDP传输结果的重要性。 设置 2015 : 120-134 2014 [j1] Watcharin Leungwattanakit先生 , 西里尔·阿瑟 , Masami Hagiya先生 , 田部义信 , 山本三郎 , 高桥幸一 :
分布式系统的模块化软件模型检查。 IEEE传输。 软件工程。 40 ( 5 ) : 483-501 ( 2014 ) [第17条] 纳齐姆·塞比赫 , 弗兰兹·魏特尔 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
基于UDP的分布式应用程序的软件模型检查。 坎达尔 2014 : 96-105 [c16] 西里尔·阿瑟 , Masami Hagiya先生 , Watcharin Leungwattanakit先生 , 埃里克·柏拉图 , 理查德·波特 , 铃木邦彦 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
使用检查点和虚拟化进行故障注入。 坎达尔 2014 : 144-150 2013 [c15] 西里尔·瓦伦丁·阿尔托 , 阿明·比尔 , Masami Hagiya先生 , 埃里克·柏拉图 , 玛蒂娜·塞德尔 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
Modbat:事件驱动系统的基于模型的API测试仪。 海法核查会议 2013 : 112-128 [第14条] 西里尔·阿瑟 , Masami Hagiya先生 , 理查德·波特 , 田本义一(Yoshinori Tanabe) , 弗兰兹·魏特尔 , 山本三郎 :
具有基于选择器的非阻塞通信的分布式系统的软件模型检查。 酶 2013 : 169-179 2011 [第13条] Watcharin Leungwattanakit先生 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本光纯 :
通过结合缓存和进程检查点对分布式系统进行模型检查。 酶 2011 : 103-112 2010 [第12条] 西里尔·阿瑟 , Masami Hagiya先生 , Watcharin Leungwatanakit缬草素 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
并发算法的模型检查:从Java到C。 DIPES/BICC公司 2010 : 90-101
2000 – 2009
2009 [第11条] Watcharin Leungwattanakit先生 , 西里尔·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
使用模型检查器扩展验证网络程序。 ICSE伴侣 2009 : 409-410 [第10条] 西里尔·阿瑟 , Watcharin Leungwattanakit先生 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本光纯 :
基于缓存的网络应用程序模型检查:从线性到分支时间。 酶 2009 : 447-458 【c9】 Watcharin Leungwattanakit先生 , 西里尔·瓦伦丁·阿瑟 , Masami Hagiya先生 , 田本义一(Yoshinori Tanabe) , 山本三郎 :
将虚拟化技术引入多进程模型检查。 NASA形式方法 2009 : 106-110 2005 【c8】 田本义一(Yoshinori Tanabe) , 高桥幸一 , 山本三郎 , 铃泽明彦 , Masami Hagiya先生 :
无交变双向模态微积分的决策程序。 TABLEAUX公司 2005 : 277-291 【c7】 山本三郎 , 田部义信 , 高桥幸一 , Masami Hagiya先生 :
用时序逻辑抽象图形变换系统及其验证。 VSTTE公司 2005 : 518-527 2004 【c6】 Masami Hagiya先生 , 高桥幸一 , 山本三郎 , 佐藤高弘 :
基于时序逻辑抽象的同步和异步元胞自动机分析。 FLOPS(浮动) 2004 : 7-21 2003 【c5】 佐藤(Osamu Sato) , 理查德·波特 , 山本三郎 , Masami Hagiya先生 :
UML剪贴簿与快照编程环境的实现。 国际空间站 2003 : 281-295 2002 【c4】 山本三郎 , 让-马里·科廷 , Masami Hagiya先生 :
定时多集重写安全性的判定。 FTRTFT公司 2002 : 165-184 2001 【c3】 山本三郎 , Masami Hagiya先生 :
抽象A*算法及其在线性定价时间自动机中的应用。 阿普拉斯 2001 : 193-205
1990 – 1999
1998 【c2】 山本三郎 , 高桥幸一 , Masami Hagiya先生 , Shin-ya Nishizaki公司 , 田井忠雄 :
图搜索算法的形式化及其应用。 TPHOL公司 1998 : 479-496 1995 【c1】 山本三郎 , Shin-ya Nishizaki公司 , Masami Hagiya先生 , 户田洋三 :
平面图的形式化。 TPHOL公司 1995 : 369-384
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)