吉野Isobe
人员信息
优化列表
2020年–今天
2022 [c15] 汀惠欧阳 , 吉野Isobe , 萨伊马苏丹 , 吉木昭(Yoshiki Seo) , Yutaka Oiwa公司 :
具有数据不确定性分析的自动驾驶质量保证。 国际JCNN 2022 : 1-7 2021 [j7] 吉野Isobe , 宫本信彦 , 安藤诺丽姬 , Yutaka Oiwa公司 :
并发FSM的形式化建模与验证:基于事件的协作运输机器人案例研究。 IEICE传输。 信息系统。 104天 ( 10 ) : 1515-1532 ( 2021 ) [第14条] 汀惠欧阳 , 吉野Isobe , 文森特·桑斯·马尔科 , Jun Ogata公司 , 吉木昭(Yoshiki Seo) , Yutaka Oiwa公司 :
考虑拐角情况的AI鲁棒性分析。 AI测试 2021 : 29-36 [第13条] 汀惠欧阳 , 文森特·桑斯·马尔科 , 吉野Isobe , 麻生英机 , Yutaka Oiwa公司 , 吉木昭(Yoshiki Seo) :
拐角案例数据描述和检测。 等待@ICSE 2021 : 19-26 [i1] 汀惠欧阳 , 维森特·圣马可 , 吉野Isobe , 麻生英机 , Yutaka Oiwa公司 , 吉木昭(Yoshiki Seo) :
角落案例数据描述和检测。 CoRR公司 abs/2101.02494 ( 2021 )
2010 – 2019
2019 [j6] 吉野Isobe , Hisabumi Hatsugai先生 , 田中明 , Yutaka Oiwa公司 , 塔卡诺里·安贝 , 冈田昭昭 , 北村佐托鲁 , 大和福田 , Takashi Kunifuji先生 :
SMT-Solver从介观铁路模型中自动生成列车时刻表。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 102年 ( 2 ) : 325-335 ( 2019 ) 2016 [第12条] 吉井俊弘(Toshihiro Yoshizumi) , 高崎后藤 , 吉野Isobe , Kazuhito Ohmaki先生 , 森秀树 , 藤田贤成 :
考虑能量效率和时间效率的并行算法。 ICIT公司 2016 : 1723-1727 2014 [j5] 吉野Isobe :
前言。 IEICE传输。 信息系统。 97天 ( 5 ) : 1139 ( 2014 ) 【j4】 奥古斯托·桑帕约 , 西德尼·C·诺盖拉 , 亚历山大·莫塔 , 吉野Isobe :
输入输出一致性的可靠和机械化成分验证。 柔和。 测试。 验证可靠性。 24 ( 4 ) : 289-319 ( 2014 ) 2013 [j3] 日本友弘 , 吉野Isobe , 铃木正人 :
使用过程代数CSP改进和验证序列图。 IEICE传输。 芬丹。 电子。 Commun公司。 计算。 科学。 96安 ( 2 ) : 495-504 ( 2013 ) 2012 [注2] 长谷川由纪夫 , 吉野Isobe , Kazuhito Ohmaki先生 , 森秀树 , 藤田贤成 , ShionoYasunori Shiono :
基于CSP架构的并发排序算法的实现与验证。 J.信息处理。 20 ( 三 ) : 559-569 ( 2012 ) [第11条] 吉野Isobe , 法伦·莫勒 , 黄义恩(Hoang Nga Nguyen) , 马库斯·罗根巴赫 :
铁路安全和线路容量——定时CSP方法。 国际单项体育联合会 2012 : 54-68 2011 [第10条] 吉野Isobe :
CONPASU工具:基于符号计算的并发进程分析支持工具。 注册会计师 2011 : 341-362
2000 – 2009
2008 【c9】 利亚姆·奥莱利 , 马库斯·罗根巴赫 , Isobe优直 :
CSP-CASL-Prover:用于过程和数据优化的通用工具。 AVoCS公司 2008 : 69-84 【c8】 D.礼物塞缪尔 , 马库斯·罗根巴赫 , 吉野Isobe :
CSP-Prover中的稳定恢复模型。 AVoCS公司 2008 : 119-134 2007 【c7】 吉野Isobe , 马库斯·罗根巴赫 :
CSP的证明原则-CSP验证在实践中。 最不发达国家投资公司 2007 : 425-442 2006 【c6】 吉野Isobe , 马库斯·罗根巴赫 :
CSP稳定故障模型的完全公理语义。 CONCUR公司 2006 : 158-172 2005 【c5】 吉野Isobe , 马库斯·罗根巴赫 :
CSP精化的一般定理证明器。 TACAS公司 2005 : 108-123 2000 【c4】 吉野Isobe , Kazuhito Ohmaki先生 :
分布式系统综合的过程逻辑。 亚太经合组织 2000 : 62-69
1990 – 1999
1998 【c3】 吉野Isobe , 佐藤裕隆 , Kazuhito Ohmaki先生 :
LOTOS中带有析取算子的偶然性。 亚洲的 1998 : 263-281 1996 【c2】 Isobe优直 , 佐藤裕隆 , Kazuhito Ohmaki先生 :
具有分级空间动作的过程代数近似分析。 AMAST公司 1996 : 336-350 1995 [j1] 吉野Isobe , 小岛一郎 , Kazuhito Ohmaki先生 :
用过程代数分析数据库生成规则。 IEICE传输。 信息系统。 78天 ( 8 ) : 992-1002 ( 1995 ) 【c1】 吉野Isobe , 佐藤裕隆 , 大马基和仁 :
可数广播系统的微积分。 AMAST公司 1995 : 489-503