久津贤治
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元56年] 久津贤治 , Hiromasa Inoki公司 :
交通流模拟中面向上下文的编程:推进智能移动系统开发。 ICSCA公司 2024 : 333-338 2023 [j6] 久津贤治 :
《嵌入式系统工程》特刊编辑致辞。 J.信息处理。 31 : 66 ( 2023 ) 2022 [j5] 久津贤治 :
《嵌入式系统工程》专刊编辑致辞。 J.信息流程。 30 : 140 ( 2022 ) 【j4】 久津贤治 :
《嵌入式系统工程》特刊编辑致辞。 J.信息处理。 30 : 645 ( 2022 ) [公元55年] Masamichi Kakeshita公司 , 久津贤治 , Michiura靖国 , 凯塔·萨基米 , 松本敏弘 :
基于功能共振分析方法的模型的MATLAB/Simulink模型转换方法。 MODELSWARD公司 2022 : 234-241 2021 [公元54年] 山本智子 , Ikuta Tanigawa先生 , 久津贤治 , 佐藤美子 , 大川武史 , 小村信彦 , 渡边淳美 :
基于面向上下文编程的层建模及其代码生成。 MODELSWARD公司 2021 : 330-336 2020 [公元53年] 刘子汉 , Ikuta Tanigawa先生 , 渡边淳美 , 久津贤治 :
PLAM:面向上下文编程中基于多线程的抢占式层激活体系结构。 COP@ECOOP公司 2020 : 4:1-4:8 [第52条] 文涛汤 , 郝峰 , 久津贤治 , 福田 晃 :
一种通过DSM语言和Lustre验证物联网应用程序安全性的方法。 ICISS公司 2020 : 166-170 [第51条] 中关村(Tsuneo Nakanishi) , 荒川育田 , 安藤高弘 , 石田茂 , 久津健二 , Tsunenori矿 , 福田 晃 :
智能移动的跨组织软件架构。 ICSIE公司 2020 : 41-46
2010 – 2019
2019 [公元50年] 努伦·阿贝丁 , 久津贤治 , 阿希尔·艾哈迈德 :
发展中国家女性城市企业负担得起的共享乘车服务:孟加拉国达卡的案例研究。 HCI(37) 2019 : 283-289 [公元49年] 去平川 , 池田大辅 , 久津贤治 , 福田 晃 :
使用Kataribe云开发食品文化数据库系统以支持开放科学。 IIAI-AAI公司 2019 : 391-394 [公元48年] 大川武史 , Ikuta Tanigawa先生 , 佐藤美子 , 久津贤治 , 小村信彦 , 渡边淳美 :
基于面向上下文编程的FPGA动态重构原型。 MCSoC公司 2019 : 116-122 [公元47年] 田中富美 , 久津健二 , 福田 晃 :
DFEAM:面向动态特征的能量感知自适应建模。 MODELSWARD公司 2019 : 290-297 [公元46年] 久津贤治 :
软件产品线工程日语自然语言需求文档的特征提取。 QRS伴侣 2019 : 322-329 2018 [公元45年] 安藤高弘 , 王波(Bo Wang) , 久津贤治 , 孔伟强 , 福田 晃 , 三浦康孝 , 凯塔·萨基米 , 松本敏弘 :
面向CAST行为模型的验证模型转换方法。 DSA(数字减影) 2018 : 142-147 [公元44年] 渡边淳美 , 佐藤美子 , 三泽正文 , Makoto Imamura村 , 细井信太郎 , 小村信彦 , 中村弘之 , 久津贤治 :
嵌入式系统开发教育机器人比赛。 ICSCA公司 2018 : 259-263 [公元43年] 渡边淳美 , 佐藤美子 , 三泽正文 , Makoto Imamura村 , 细井信太郎 , 小村信彦 , 中村弘之 , 久津贤治 :
通过机器人竞赛对嵌入式软件开发教育进行多学科技能评估。 ICSE(配套卷) 2018 : 151-152 [公元42年] 福田 晃 , 中关村(Tsuneo Nakanishi) , 久津健二 , Kunihiko Kaneko先生 , Shigeaki Tagashira公司 , Tsunenori矿 , 荒川育田 , 石田茂 , 安藤高弘 , Ashihara水一 , 乌拉Masakatsu , 中村义美 , 中村宗一郎 , 孔伟强 , 李国强 :
迈向可持续的智能移动信息基础设施平台——现状。 IIAI-AAI公司 2018 : 81-85 [公元41年] 安藤高弘 , 藤井隆夫 , 久津贤治 , Tsunenori矿 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
基于Agent的统一仿真环境概述及应用实例。 IIAI-AAI公司 2018 : 92-97 [公元40年] Hiromasa Inoki公司 , 久津贤治 , 安藤高弘 , 福田 晃 , 中西宗新 :
智能移动应用程序开发的不确定性处理方法过程。 IIAI-AAI公司 2018 : 98-103 [公元39年] Tsunenori矿 , 西罗·米塞 , 中村弘之 , 平崎拓哉 , Shiori Koga公司 , 安藤高弘 , 久津贤治 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
ItoCamLife:一个考虑用户环境的信息共享和推荐平台,以促进智能移动。 IIAI-AAI公司 2018 : 109-114 [公元38年] 中关村(Tsuneo Nakanishi) , 久津贤治 , 安藤高弘 , Tsunenori矿 , 福田 晃 :
智能移动市场的软件工程实践。 IIAI-AAI公司 2018 : 115-120 [公元37年] 中关村(Tsuneo Nakanishi) , 久津贤治 , 福田 晃 :
教授软件产品线作为工程师的范例:日本高级工程师教育项目和研讨会的经验报告。 SPLC(2) 2018 : 46-47 [c36] 久津贤治 , 细井信太郎 , 渡边淳美 , 三泽正文 , 小村信彦 , Makoto Motoki公司 :
使用机器人挑战的跨学科和大学PBL课程。 TALE公司 2018 : 308-315 [公元35年] 渡边淳美 , 佐藤美子 , 三泽正文 , Makoto Imamura村 , 细井信太郎 , 小村信彦 , 中村弘之 , 久津贤治 :
基于机器人竞赛的物联网系统开发教育多学科能力评估图。 TALE公司 2018 : 995-1000 2017 [公元34年] 巴索·哈比比 , 中关村(Tsuneo Nakanishi) , 久津贤治 , Hiroki Furusho公司 , 福田 晃 :
使用故障注入进行编程任务生成。 ICL(2) 2017 : 559-566 2016 [j3] 孔伟强 , 侯刚(Gang Hou) , 胡向培 , 安藤高弘 , 久津贤治 , 福田 晃 :
Garakabu2:ZIPC中HSTM设计的基于SMT的有界模型检查器。 J.信息安全。 申请。 31 : 61-74 ( 2016 ) [c33] 渡边淳美 , Ikuta Tanigawa先生 , Midori Sugaya公司 , 小村信彦 , 久津贤治 :
面向面向上下文的嵌入式系统开发方法的层结构图和层交互图。 调制(伴奏) 2016 : 125-130 [公元32年] 久津贤治 , 石田茂 , 松田光弘 , 三原由纪弘 , Naoshi Uchihira先生 :
我们如何从实际案例中获得“经验教训”? WESE公司 2016 : 5:1-5:6 [公元31年] 久津贤治 , 中西宗新 , 石桥Shota Ishibashi , 去平川 , Tsunenori矿 , 安藤高弘 , Hiroki Furusho公司 , 福田 晃 :
智能移动平台的操作阶段指标。 ICA公司 2016 : 150-153 [公元30年] 孔伟强 , 侯刚(Gang Hou) , 胡向培 , 有本安仁 , 渡边正彦 , 安藤隆弘 , 久津贤治 , 福田 晃 :
ZipPath:ZIPC中HSTM设计的简单但有用的路径查找器。 ICA公司 2016 : 154-157 [公元29年] 福田 晃 , 久津贤治 , 石田茂 , Tsunenori矿 , 中西宗新 , Hiroki Furusho公司 , Shigeaki Tagashira公司 , 荒川育田 , Kunihiko Kaneko先生 , 孔伟强 :
迈向智能移动的可持续信息基础设施平台——项目概述。 IIAI-AAI公司 2016 : 211-214 [公元28年] 石桥Shota Ishibashi , 久津贤治 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
在面向生命周期的体系结构中建立需求、设计和操作信息之间的可追溯性。 IIAI-AAI公司 2016 : 234-239 [公元27年] 中关村(Tsuneo Nakanishi) , Hiroki Furusho公司 , 久津贤治 , 福田 晃 :
DevOps的动态SPL和具有不确定性管理的衍生产品开发。 IIAI-AAI公司 2016 : 244-249 [公元26年] 神山武士 , 久津贤治 , 稻村浩史 , 特佩·科尼西 , 肯·奥塔 , 福田 晃 :
基于实际使用调查的智能手机使用分析。 移动CASE 2016 : 108-116 2015 [注2] 孔伟强 , 刘乐源 , 安藤高弘 , Hirokazu Yatsu先生 , 久津贤治 , 福田 晃 :
利用无状态显式状态探索促进多核有界模型检查。 计算。 J。 58 ( 11 ) : 2824-2840 ( 2015 ) [公元25年] Ikuta Tanigawa先生 , 小村信彦 , Midori Sugaya公司 , 渡边淳美 , 久津贤治 :
基于面向上下文编程的c#框架ContextCS的结构。 调制(伴奏) 2015 : 21-22 [公元24年] 渡边淳美 , Midori Sugaya公司 , 谷川一田 , 小村信彦 , 久津贤治 :
面向上下文编程在机器人开发中的应用研究。 COP@ECOOP公司 2015 : 4:1-4:6 【c23】 渡边淳美 , Ikuta Tanigawa先生 , Midori Sugaya公司 , 小村信彦 , 久津贤治 :
硕士研究生教育机器人软件的开发。 WESE公司 2015 : 11:1-11:4 [公元22年] 去平川 , 佐藤戈西 , 久津贤治 , 吉隆柴田 :
旅游推荐系统数据采集系统。 NBiS公司 2015 : 521-525 2014 [j1] 安藤高弘 , Hirokazu Yatsu先生 , 孔伟强 , 久津贤治 , 福田 晃 :
将SysML状态机图的规则转换为CSP#以进行形式化模型检查。 国际网络信息系统杂志。 10 ( 2 ) : 151-169 ( 2014 ) 【c21】 哈兹里亚尼 , 中关村(Tsuneo Nakanishi) , 久津贤治 , 福田 晃 :
基于电影的上下文软件语言学习:概念和系统。 T4E型 2014 : 164-167 2013 [公元20年] 孔伟强 , 刘乐源 , 安藤高弘 , Hirokazu Yatsu先生 , 久津健二 , 福田 晃 :
通过无状态显式状态探索利用基于SMT的有界模型检查。 亚太经合组织(1) 2013 : 355-362 [第19条] 安藤高弘 , Hirokazu Yatsu先生 , 孔伟强 , 久津贤治 , 福田 晃 :
CSP#对SysML状态机图的形式化和模型检查。 ICCSA(3) 2013 : 114-127 [第18条] 黄昌云 , 山下和弘 , 龟井静香 , 久津贤治 , Naoyasu Ubayashi先生 :
挖掘软件库的领域分析:面向基于特征的DSL构建。 请@ICSE 2013 : 41-44 [第17条] Yatsu广和 , 安藤高弘 , 孔伟强 , 久津贤治 , 福田 晃 , 青木东崎 , Kokichi Futatsugi公司 :
汽车操作系统标准的形式化描述。 ICST研讨会 2013 : 13-14 [第16条] 秋山精工 , 久津贤治 , Syuhei你好 , 福田 晃 :
使用模型驱动的开发工具进行面向对象建模教育。 MoDELS EduSymp公司 2013 [第15条] Shuhei你好 , 久津贤治 , 福田 晃 , 中关村(Tsuneo Nakanishi) :
clooca:基于Web的领域特定建模工具。 MoDELS(演示/海报/学生研究) 2013 : 31-35 2012 [第14条] 秋山精工 , 申久保基 , 久津贤治 , 武藤高雄 , Teruaki Kitasuka公司 :
使用模型驱动开发为新手开发模型教育程序。 WESE公司 2012 : 4 [第13条] 长野丽娜 , 中村世纪 , 龟井静香 , 布拉姆·亚当斯 , 久津贤治 , Naoyasu Ubayashi先生 , 福田 晃 :
使用GPGPU扩展挖掘软件存储库。 ICSE公司 2012 : 1435-1436 [第12条] 中村世纪 , 长野丽娜 , 久津健二 , 龟井静香 , Naoyasu Ubayashi先生 , 福田 晃 :
QORAL:用于挖掘软件存储库的外部特定于域的语言。 IWESP公司 2012 : 23-29 [第11条] Hiroki Furusho公司 , 久津健二 , 神山武士 , 稻村浩史 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
海报:一个用于现实世界中使用的android应用程序的能量分析器。 MobiSys公司 2012 : 517-518 2011 [第10条] 孔伟强 , 诺里尤基·卡塔希拉 , 渡边正彦 , 片山哲郎 , 久津贤治 , 福田 晃 :
利用基于SMT的有界模型检查对层次状态转移矩阵中的软件设计进行形式化验证。 亚太经合组织 2011 : 81-88 【c9】 大冢骏 , 川端康一 , 岩崎隆志 , Makoto Uchiba公司 , 中西宗新 , 久津贤治 :
小型廉价核心资产建设,用于高收益产品线开发:开发通信系统固件产品线。 SPLC研讨会 2011 : 20 2010 【c8】 Yusuke Hattori公司 , 去平川 , 水池阿什哈拉 , 中关村(Tsuneo Nakanishi) , 久津贤治 , 福田 晃 :
基于RAS表示的产品线的可追溯性链接。 软件工程研究与实践 2010 : 105-110 【c7】 岩崎隆 , Makoto Uchiba公司 , 大冢骏 , Koji Hachiya公司 , 中关村(Tsuneo Nakanishi) , 久津贤治 , 福田 晃 :
全面引入产品线工程的经验报告。 SPLC研讨会 2010 : 255-258
2000 – 2009
2005 【c6】 Teruaki Kitasuka公司 , 久津贤治 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
无线局域网终端之间使用RSSI的定位技术。 产品分成合同 2005 : 47-53 【c5】 Teruaki Kitasuka公司 , 久津贤治 , 中关村(Tsuneo Nakanishi) , 福田 晃 :
WiPS:IEEE 802.11设备的位置和运动传感技术。 文博会(2) 2005 : 346-349 2004 【c4】 科亚·伊曼尼什 , 久津贤治 , 中关村(Tsuneo Nakanishi) , Teruaki Kitasuka公司 , 福田 晃 :
Ad-hoc网络中上下文软件消息交换系统的设计。 PDPTA公司 2004 : 1142-1146 2003 【c3】 科亚·伊曼尼什 , 久津贤治 , 中关村(Tsuneo Nakanishi) , Teruaki Kitasuka公司 , 福田 晃 :
上下文软件电子邮件传递系统的设计。 PDPTA公司 2003 : 744-750 【c2】 久津贤治 , 中关村(Tsuneo Nakanishi) , Teruaki Kitasuka公司 , 福田 晃 :
上下文中间件映射过程和用户上下文子空间。 PDPTA公司 2003 : 1591-1597 2002 【c1】 久津健二 , 中关村(Tsuneo Nakanishi) , Teruaki Kitasuka公司 , 福田 晃 :
嵌入式系统中基于Lambda多内核的操作系统的设计和实现。 ACM SIGOPS欧洲研讨会 2002 : 178-181
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)