本位田真一

J-GLOBALへ         更新日: 17/04/21 11:45
 
アバター
研究者氏名
本位田真一
eメール
honidennii.ac.jp
所属
国立情報学研究所
職名
副所長
その他の所属
東京大学早稲田大学英国UCL(University College London)客員教授

プロフィール

1978年早稲田大学大学院理工学研究科修士課程修了
(株)東芝を経て2000年より国立情報学研究所教授
2001年より東京大学大学院情報理工学系研究科教授を兼任,現在に至る
2004年-2012年同研究所アーキテクチャ科学研究系研究主幹を併任
2008年より国立情報学研究所先端ソフトウェア工学・国際研究センター長兼任,現在に至る
2012年より国立情報学研究所副所長兼任,現在に至る

2005年度パリ第6大学招聘教授
2015年度リヨン第1大学招聘教授
早稲田大学客員教授ならびに英国UCL(University College London)客員教授,現在に至る

工学博士(早稲田大学)
1986年度情報処理学会論文賞受賞
DICOMO2007最優秀論文賞
情報処理学会フェロー
平成24年度文部科学大臣表彰(科学技術賞)受賞
日本ソフトウェア科学会理事,情報処理学会理事(教育担当),IEEE Computer Society Japan Chapter Chair,ACM日本支部会計幹事を歴任
日本学術会議連携会員

研究分野

 
 

経歴

 
2012年
 - 
現在
国立情報学研究所 副所長
 
2005年
 - 
現在
英国UCL(University College London) 客員教授
 
2005年
 - 
現在
早稲田大学 客員教授
 
2001年
 - 
現在
東京大学大学院情報理工学系研究科 教授
 
2004年
 - 
2013年
国立情報学研究所アーキテクチャ科学研究系 研究主幹
 

受賞

 
2016年6月
SEAMS' 2016 Best Paper Award
受賞者: L. Nahabedian, V. Braberman, N. D'Ippolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel,
 
2012年12月
進化計算学会 2012年度進化計算研究会 最優秀発表賞(論文賞)
受賞者: 森口博貴,本位田真一
 
2012年8月
International Academy, Research, and Industry Association Best Paper Award, SENSORCOMM 2012
受賞者: Valentina Baljak, Kenji Tei, Shinichi Honiden
 
2012年8月
情報処理学会 コンピュータサイエンス領域委員会 コンピュータサイエンス領域奨励賞
受賞者: 穐山空道, 広渕崇宏, 高野了成, 本位田真一
 
2012年4月
文部科学省 平成24年度文部科学大臣表彰(科学技術賞) 先端ソフトウェア技術の普及啓発
 

論文

 
Learning environment model at runtime for self-adaptive systems
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
The 32nd ACM Symposium on Applied Computing      2017年4月   [査読有り]
Refactoring Refinement Structures of Event-B Machines
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 21st International Symposium on Formal Methods (FM 2016)      2016年11月   [査読有り]
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
International Conference on Formal Engineering Methods (ICFEM 2016)      2016年11月   [査読有り]
Stepwise Refinement of Software Development Problem Analysis
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
The 35th International Conference on Conceptual Modeling (ER 2016)      2016年11月   [査読有り]
Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano, Shinichi Honiden
IEICE Transactions on Information and Systems, Vol.Vol. E99-D      2016年6月   [査読有り]
Assured and Correct Dynamic Update of Controllers
Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)      2016年5月   [査読有り]
MuVM: Higher Order Mutation Analysis Virtual Machine for C
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
IEEE International Conference on Software Testing, Verification and Validation (ICST 2016)      2016年4月   [査読有り]
Feedback-controlled Random Test Generation
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
International Symposium on Software Testing and Analysis (ISTTA 2015)   316-326   2015年7月   [査読有り]
An Application Conflict Detection and Resolution System for Smart Homes
Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)   33-39   2015年5月   [査読有り]
Mobile Augmented Reality Gaming for Daily Activity Learning and Satisfaction
Natsumi Asahara, Keita Higuchi, Soramichi Akiyama, Shinichi Honiden
ACM CHI 2015 Symposium on Emerging Japanese HCI Research Collection      2015年4月   [査読有り]
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering,
Soo Ling Lim, Peter Bentley, Natalie Kanakam, Fuyuki Ishikawa, Shinichi Honiden
IEEE Transactions on Software Engineering, Vol.41 No.1   40-64   2015年1月   [査読有り]
Evaluating Impact of Live Migration on Data Center Energy Saving
Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014)   759-762   2015年12月   [査読有り]
Abstract rewriting Approach to solve Datalog programs
本位田真一Fernando Tarin Morales, Fuyuki Ishikawa, Shinichi Honiden
DBPL 2015   29-36   2015年   [査読有り]
Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
The 2014 International Conference on Smart Computing (SMARTCOMP 2014)   3-5   2014年11月   [査読有り]
Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sesnor Network Case
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
The 11th International Conference Applied Computing 2014 (AC 2014)   25-27   2014年10月   [査読有り]
Validating Ajax Applications Using a Delay-Based Mutation Technique
Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)   491-502   2014年9月   [査読有り]
Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD'14)   40-47   2014年6月   [査読有り]
An Approach for Evaluating and Suggesting Method Names using N-gram Models
Takayuki Suzuki, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden
22nd International Conference on Program Comprehension (ICPC 2014)   271-274   2014年6月   [査読有り]
Understanding and Planning Event-B Refinement through Primitive Rationales
Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
4th International ABZ Conference (ABZ 2014)   277-283   2014年6月   [査読有り]
Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)   1537-1538   2014年5月   [査読有り]
ArbitCheck: a highly automated property-based testing tool for Java
Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
IEEE International Conference on Software Testing, Verification and Validation   405-412   2014年3月   [査読有り]
Robust Service Compositions with Functional and Location Diversity
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
IEEE Transactions on Services Computing   9(2) 277-290   2016年   [査読有り]
Automated Verification of Pattern-based Interaction Invariants in Ajax Applications
Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden
The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13)   158-168   2013年11月   [査読有り]
Automatic Image Description by Using Word-level Features
Shingo Horiuchi, Hirotaka Moriguchi, Shengbo Xu, Shinichi Honiden
The 4th International Conference on Internet Multimedia Computing and Service (ICIMCS'12)   309-314   2013年8月   [査読有り]
Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
Shengbo Xu, Hirotaka Moriguchi and Shinichi Honiden
2013 IEEE Congress on Evolutionary Computation (CEC' 13)   2170-2177   2013年6月   [査読有り]
Mutation Analysis for JavaScript Web Applications Testing
Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13)   159-165   2013年6月   [査読有り]
Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'13), Doctral Symposium   78-85   2013年5月   [査読有り]
Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks
Valentina Baljak, Tei Kenji and Shinichi Honiden
IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP'13)   408-413   2013年4月   [査読有り]
照合操作の識別のためのOCL記述の解析方法
井上 拓,本位田 真一
情報処理学会論文誌   54(3)    2013年3月   [査読有り]
参照整合性の検証のためのUML Activity解析方法
井上 拓,本位田 真一
情報処理学会論文誌 特集「ソフトウェア工学」   54(2)    2013年2月   [査読有り]
インタラクションに着目したステートマシン抽出による Rich Internet Applications の欠陥発見の支援
前澤 悠太,鷲崎 弘宜,本位田 真一
情報処理学会論文誌 特集「ソフトウェア工学」   54(2) 820-834   2013年2月   [査読有り]
Faults in Sensory Readings: Classification and Model Learning
Valentina Baljak, Tei Kenji, Shinichi Honiden
Sensors & Transducers   18 177-187   2013年1月   [査読有り]
無線センサネットワークにおけるデータ品質改善の為の開発プロセス
本位田真一
電子情報通信学会論文誌 学生論文特集 D      2013年   [査読有り]
Coq を使用したMapReduce アプリケーションの検証とScala コード
本位田真一
電子情報通信学会論文誌 D      2013年   [査読有り]
SanGA: A Self-adaptive Network-aware Approach to Service Composition
Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
IEEE Transactions on Services Computing      2013年   [査読有り]
Efficient Neuroevolution for a Quadruped Robot
Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012)   361-370   2012年12月   [査読有り]
Towards Refinement Strategy Planning for Event-B
Tsutomu Kobayashi and Shinichi Honiden
   2012年11月   [査読有り]
Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches
Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
143-156   2012年11月   [査読有り]
ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法
中川 博之,大須賀 昭彦,本位田 真一
情報処理学会論文誌   53(10)    2012年10月   [査読有り]
Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)      2012年9月   [査読有り]
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
Procedia Computer Science   10 30-37   2012年8月   [査読有り]
Classification of Faults in Sensor Readings with Statistical Pattern Recognition
Valentina Baljak, Kenji Tei, and Shinichi Honiden
The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)      2012年8月   [査読有り]
Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa and Shinichi Honiden
12th International Conference on Web Engineering (ICWE'12)   7387 323-331   2012年7月   [査読有り]
CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
Hirotaka Moriguchi and Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO2012)      2012年7月   [査読有り]
MiyakoDori: A Memory Reusing Mechanism for Dynamic VM Consolidation
Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
The 5th International Conference on Cloud Computing (IEEE CLOUD 2012) (Application & Experience Track)   606-613   2012年6月   [査読有り]
Multi-objective Service Composition with Time- and Input-Dependent QoS
Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   234-241   2012年6月   [査読有り]
A Probabilistic Approach for Long-Term B2B Service Compositions
Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   259-266   2012年6月   [査読有り]
Web Service Selection Algorithm using Vickrey Auction
Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track)   336-342   2012年6月   [査読有り]
Trust Computation in Web Service Compositions Using Bayesian Networks
Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
The 10th International Conference on Web Services (ICWS 2012) (Work-in-Progress Track)   623-625   2012年6月   [査読有り]
Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA '12)   22-28   2012年6月   [査読有り]
Towards Robust Service Compositions in the Context of Functionally Diverse Services
Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   969-978   2012年4月   [査読有り]
Towards Network-aware Service Composition in the Cloud
Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
21st International World Wide Web Conference (WWW '12)   959-968   2012年4月   [査読有り]
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications
Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
The 16th European Conference on Software Maintenance and Reengineering (CSMR'12) (Early Research Achievements Track)   423-428   2012年3月   [査読有り]
Trust in Web Service Compositions Using Bayesian Networks
Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden
AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing      2012年3月   [査読有り]
S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cédric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
Procedia Computer Science   10 30-37   2012年   [査読有り]
Applying QoS-aware Service Selection on Functionally Diverse Services
本位田真一
The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC '11)      2011年12月   [査読有り]
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems
Benjamin Klöpper, Jan Patrick Pater, Shinichi Honiden and Wilhelm Dangelmaier
Evolving System   3(1) 31-44   2011年11月   [査読有り]
都鳥: メモリ再利用による連続するライブマイグレーションの最適化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
情報処理学会論文誌:コンピューティングシステム   5(2) 74-85   2012年3月   [査読有り]
メタデータ制約を用いた協調プロトコルの自動合成手法
高橋 竜一,石川 冬樹,本位田 真一,深澤 良彰
情報処理学会論文誌 特集「分散処理とネットワークサービス」   53(2) 683-697   2012年2月   [査読有り]
馬場 雪乃, 石川 冬樹, 本位田 真一
人工知能学会論文誌   27(1) 1-9   2012年1月   [査読有り]
Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks
Themistoklis Bourdenas, Kenji Tei, Shinichi Honiden and Morris Sloman
Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'11)   61-70   2011年10月   [査読有り]
Assignment of Sensors for Multiple Tasks Using Path Information
Susumu Toriumi, Shinichi Honiden
Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on   120-127   2011年10月   [査読有り]
無線センサネットワークにおける対象追跡の分解能を調整可能なセンサモデル
鄭 顕志,中里 彦俊,深澤 良彰,本位田 真一
電子情報通信学会論文誌   J94-B(10) 1351-1362   2011年10月   [査読有り]
同種サービスの併用を考慮した効率的なサービス選択
平塚 信明,石川 冬樹,本位田 真一
情報処理学会論文誌   52(10) 2920-2933   2011年10月   [査読有り]
Utility‐based Self‐Adaption with Environment Specific Quality Models
Camilo Fitzgerald, Benjamin Klöpper, Shinichi Honiden
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems   107-118   2011年9月   [査読有り]
Chordネットワークに配置された配列に対する並列範囲アクセス
福地 大輔,本位田 真一
情報処理学会論文誌   52(8) 2441-2454   2011年8月   [査読有り]
Service Selection with Combinational Use of Functionally-Equivalent Services
Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   97-104   2011年7月   [査読有り]
QoS-aware Automatic Service Composition by Applying Functional Clustering
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011)   89-96   2011年7月   [査読有り]
Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
The 9th International Conference on Web Services (ICWS 2011) (Application and Experience Track)   436-443   2011年7月   [査読有り]
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures
Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden
The 8th International Conference on Services Computing (SCC 2011)   152-159   2011年7月   [査読有り]
A Method for Data-flow Analysis of Business Components
Taku Inoue, Shinichi Honiden
The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011)   51-60   2011年6月   [査読有り]
Model Driven Development for Rapid Prototyping and Optimization of Wireless Sensor Network Applications
Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
2nd International Workshop on Software Engineering for Sensor Network Applications (SESENA ’11)   31-36   2011年5月   [査読有り]
edubase Cloud: An Open Source Cloud Platform for Cloud Engineers
Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
International Workshop on Software Engineering for Cloud Computing (ICSE SECLOUD 2011)   73-73   2011年5月   [査読有り]
gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
The 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)   40-49   2011年5月   [査読有り]
Decision Making in Adaptive Manufacturing Systems: Multi-Objective Scheduling and User Interface
Benjamin Klöpper, Shinichi Honiden, Jan Patrick Pater, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   123-130   2011年4月   [査読有り]
Decision Divide & Conquer in Planning for Self-Optimizing Mechatronic Systems - A First Application Example
Benjamin Klöpper, Shinichi Honiden, Wilhelm Dangelmaier
2011 IEEE Symposium Series on Computational Intelligence (SSCI 2011)   108-115   2011年4月   [査読有り]
経路情報を用いた複数タスクへのセンサ割当
鳥海 晋, 本位田 真一
情報処理学会論文誌 特集「マルチメディア、分散、協調とモバイルシステム」   Vol.52(No.3) 1091-1101   2011年3月   [査読有り]
ソフトウェアの問題記述のための実行可能な形式化自然語の提案
日野 克重, 本位田 真一
情報処理学会論文誌   Vol.52(No.3) 1365-1394   2011年3月   [査読有り]
IMPULSE: a Design Framework for Multi-Agent Systems Based on Model Transformation
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the 26th Symposium On Applied Computing (SAC2011   1411-1418   2011年3月   [査読有り]
中川 博之,大須賀 昭彦,本位田 真一
人工知能学会論文誌 特集「エージェント」   26(1) 1-12   2011年1月   [査読有り]
物理的相互作用に着目した,スマート空間の形式仕様記述と検証
石川 冬樹,山本 佳代子,本位田 真一
情報処理学会論文誌   Vol.52(No.1) 220-232   2011年1月   [査読有り]
Effcient, Failure-Resilient Semantic Web Service Planning
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010, PhD symposium / poster track)   688-689   2010年12月   [査読有り]
Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)   182-196   2010年12月   [査読有り]
"Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)   635-640   2010年12月   [査読有り]
Efficient, Failure-Resilient Semantic Web Service Planning
Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
In proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC 2010)      2010年12月   [査読有り]
A Framework for Validating Task Assignment in Multi-agent Systems using Requirements Importance
Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the 13th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2010)   443-458   2010年11月   [査読有り]
Approximate Shortest Path Queries in Graphs Using Voronoi Duals
Shinichi Honiden, Michael E. Houle, Christian Sommer, Martin Wolff
Transactions on Computational Science, Volume IX, Special Issue on Voronoi Diagrams in Science and Engineering, LNCS 6290   (9) 28-53   2010年9月   [査読有り]
Adaptive Geographic Routing in Wireless Sensor Networks
Rey Abe, Shinichi Honiden
In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2010)   91-100   2010年10月   [査読有り]
プロセス間競合を考慮した自己適応システムの形式仕様構築
中川 博之,大須賀 昭彦,本位田 真一
情報処理学会論文誌   Vol.51(No.9) 1751-1764   2010年9月   [査読有り]
Planning with Utilities and State Trajectory Constraints for Self-Healing in Automotive System
Benjamin Klöpper, Jan Meyer, Matthias Tichy, Shinichi Honiden
In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems   74-83   2010年9月   [査読有り]
Towards Effective Use of Requirements Description in Self-adaptive System Development
Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
In Proceedings of the International Workshop on Modern Science and Technology 2010 (IWMST2010)      2010年9月   [査読有り]
Extraction of Places Related to Flickr Tags
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
In proceeding of the 19th European Conference on Artificial Intelligence (ECAI 2010)   523-528   2010年8月   [査読有り]
Agile Software Development Process: A Case Of Collaborative Cognition In Flux
Nik Nailah Binti Abdullah, Shinichi Honiden, Robert GM Hausmann, Helen Sharp
In proceeding of the annual meeting of the Cognitive Science Society (CogSci 2010)      2010年8月   [査読有り]
Sustaining Behavioral Diversity in NEAT
Hirotaka Moriguchi and Shinichi Honiden
Genetic and Evolutionary Computation Conference (GECCO 2010), Portland, OR,      2010年7月
Service-oriented middleware for dynamic management of heterogeneous sensing devices
Levent Gürgen, Johan Nyström-Persson, Amin Cherbal, Cyril Labbé, Claudia Roncancio, Shinichi Honiden
In proceedings of the 7th ACM International Conference on Pervasive Services (ICPS 2010)      2010年7月   [査読有り]
Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds
Valentina Baljak, Shinichi Honiden
In proceedings of the Fourth International Conference on Sensor Technologies and Applications (SENSORCOMM 2010)      2010年7月   [査読有り]
Business Semantics Centric Reliability Testing for Web Services in BPEL
Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
In proceeding of the 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010)   237-244   2010年7月   [査読有り]
Suppressing Redundancy in Wireless Sensor Network Traffic
Rey Abe, Shinichi Honiden
In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems   187-200   2010年6月
Communication in context: a stimulus-response account of Agile team interactions
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of XP 2010, 11th International Conference on Agile Software Development.   166-171   2010年6月
A Method of Analysis to Uncover Physical Artefact-Communication Relationship
Nik Nailah Binti Abdullah, Helen Sharp, Shinichi Honiden
In Proceedings of the 23rd FLAIRS conference. Special track: Cognition and AI: Capturing Cognitive Plausibility and Informing Psychological Processes.      2010年5月

書籍等出版物

 
Data management solutions in sensing systems
Levent G?rgen, Claudia Roncancio, Cyril Labb?, Shinichi Honiden
In the book volume "Wireless Sensor Network Technologies for Information Explosion Era" in Springer book series "Studies in Computational Intelligence".   2010年   
XAC Project: Towards a Middleware for Open Wireless Sensor Networks", chapter in book "Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends
Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden,
Edited by Francisco Milton Mendes Neto and Pedro Fernandes Ribeiro Neto. published by Information Science Publishi   2010年   
Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
Paul Guyot, Alexis Drogoul, 本位田真一
in Deguchi, H. (Ed) Agent-Based Approaches in Economic and Social Complex Systems, Springer Series on Agent Based Social Systems   2007年1月   
考えるコンテンツ 「スマーティブ」
本位田真一,吉岡信和,由利伸子
丸善   2006年3月   ISBN:4-621-05374-4
UMLによるビジネスモデリング
鞍田友美、本位田真一
ソフトバンク   2002年5月   

講演・口頭発表等

 
モバイルAR環境による日常技能練習のゲーミフィケーション
朝原 奈津未, 樋口 啓太, 穐山 空道, 本位田 真一
22nd Workshop on Interactive Systems and Software (WISS 2014)   2014年11月   
フィードバック指向ランダムテストを用いたQuickCheckの改良
矢藤 康祐, 坂本 一憲, 石川 冬樹, 本位田 真一
第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) ポスターセッション   2014年3月   
ページキャッシュの復元による遠隔地ライブマイグレーション高速化システムの実演
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第24回コンピュータシステム・シンポジウム(ComSys 2012) ポスターセッション   2012年12月   
ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
第123回システムソフトウェアとオペレーティング・システム研究会   2012年12月   
閾値ベースの確率的オンラインセンサ・タスク割当て手法
鳥海 晋,本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム   2012年7月   
主双対法を用いたオンラインセンサ・タスク割当て
鳥海 晋,本位田 真一
マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム   2012年7月   
Cooperative Synapse Neuroevolutionにおける大域最適解への収束と進化速度の向上
徐 聖博, 森口 博貴,本位田 真一
第五回進化計算シンポジウム   2011年12月   
進化計算を用いたロボットの順動力学モデル学習と行動計画・制御への応用
森口 博貴,本位田 真一
第五回進化計算シンポジウム   2011年12月   
メモリ再利用によりライブマイグレーションを高速化するシステム「都鳥」の実演
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
コンピュータシステム・シンポジウム (ComSys 2011) デモセッション   2011年11月   
都鳥: メモリ再利用による連続するライブマイグレーションの最適化
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
コンピュータシステム・シンポジウム (ComSys 2011)   2011年11月   
Achieving Constraint Compliance in QoS-aware Service Planning
Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden
Second International Joint Agent Workshop & Symposium (iJAWS2011)   2011年10月   
ヴィックレイオークションを利用したWebサービス選択アルゴリズム
渡辺 敦, 石川 冬樹, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2011)   2011年10月   
電力資源制約下におけるセンサ・タスク割当て
鳥海 晋, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2011)シンポジウム   2011年7月   
メモリの再利用により移動後の性能低下を抑えたライブマイグレーション
穐山 空道, 広渕 崇宏, 高野 了成, 本位田 真一
先進的計算基盤システムシンポジウム(SACSIS2011) ポスター発表セッション   2011年5月   
同種サービスの複数利用を考慮した効率的なサービス候補の構築
平塚 信明, 石川 冬樹, 本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2010)   2010年10月   
進化的計算におけるグラフ構造と最適化性能の関係性
須山 敦志,本位田 真一
合同エージェントワークショップ&シンポジウム(JAWS2010)   2010年10月   
Chordネットワークにおけるシーケンシャルアクセスに最適な配列の配置
福地 大輔, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム   2010年7月   
資源制約下における複数タスクへのセンサ割当問題
. 鳥海 晋, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム   2010年7月   
無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案
清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム   2010年7月   
組合せによる条件付き品質を考慮したWebサービス選択の高速化手法
渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム   2010年7月   
Flickr上の画像のWordNetへの自動マッピング
馬場 雪乃, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)   2010年6月   
NEATにおける振る舞い多様性維持
森口 博貴, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)   2010年6月   
イベント駆動型Webサービス検索のためのイベントマッチング" 人工知能学会全国大会(第24回)(JSAI2010)
片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一
人工知能学会全国大会(第24回)(JSAI2010)   2010年6月   
無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築
鄭 顕志,深澤 良彰,本位田 真一
ソフトウェア工学の基礎〈15〉日本ソフトウェア科学会FOSE 2008   2008年11月30日   日本ソフトウェア科学会
Ruby処理系へのスナップショットGCの実装
相川 光, 笹田 耕一, 本位田 真一
第71回情報処理学会プログラミング研究発表会   2008年10月28日   情報処理学会・プログラミング研究会
コンポーネントモデルを用いたJADE実装手法の提案
中川 博之,大須賀 昭彦,本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集   2008年10月   日本ソフトウェア科学会
マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法
高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集   2008年10月   日本ソフトウェア科学会
センサーネットワークにおける耐故障性を考慮したデータ集約
金木 陽一, 清 雄一, 本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集   2008年10月   日本ソフトウェア科学会
無線センサネットワークによるイベント領域予測のためのイベント境界の変化量抽出
鳥海 晋,本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集   2008年10月   日本ソフトウェア科学会
無線センサーネットワークの複製ノード検知における報告ノード決定手法の提案
清 雄一,本位田 真一
合同エージェントワークショップ&シンポジウム2008(JAWS-2008)   2008年10月   日本ソフトウェア科学会
タグに関連づけられた時間・場所の概念抽出
電子情報通信学会技術研究報告. AI, 人工知能と知識処理   2008年9月16日   人工知能と知識処理研究会
三次元環境での無線センサネットワークにおける省電力性を考慮したイベント検出
鳥海 晋, 清 雄一, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム   2008年7月2日   情報処理学会
無線センサネットワークにおける省資源性を考慮したセンサセレクション手法
中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム   2008年7月2日   情報処理学会
ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御
石川 冬樹 , 清 雄一, 吉岡 信和, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム   2008年7月2日   情報処理学会
分散配列: 連番アイテムに適したP2P分散データ構造
福地 大輔, 清 雄一, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム   2008年7月2日   情報処理学会
通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案
中里 彦俊, 中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム   2008年7月2日   情報処理学会
モデル変換に基づく要求記述を利用した形式仕様記述の構築
中川博之, 吉岡信和, 本位田真一
ソフトウェア工学の基礎ワークショップ (FOSE2007)   2007年11月8日   日本ソフトウェア科学会
保守性に着目したリファクタリング方針の評価メトリクス
川俣洋次郎, 中川博之, 本位田真一
ソフトウェア工学の基礎ワークショップ (FOSE2007)   2007年11月8日   日本ソフトウェア科学会
ロボットを統一的に協調動作させるためのフレームワークの設計と実装
片岡慧,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Novel Applications in Ubiquitous Computing
Christian Sommer, Shunichiro Suenaga, 吉岡信和, 本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
Peer-to-Peer環境での補助ネットワークを用いた差分ベースオブジェクトの共有
福地大輔,清雄一,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
ユビキタスコンピューティングにおけるコンテンツの形成・流通・利用・管理に関する研究動向
馬場雪乃,福地大輔,清雄一,吉岡信和,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
ユビキタスコンピューティングにおけるコンテキストのモデル化,管理に関する研究動向
中村善行,清家良太,鄭顕志,吉岡信和,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向
鄭顕志,中川博之,川俣洋次郎,吉岡信和,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
ユビキタスコンピューティングにおける分散協調・連携技術の研究動向
石川冬樹,阿部玲,高橋竜一,吉岡信和,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
サービス合成における契約ポリシーの決定・検証問題の形式化とその支援
石川冬樹,吉岡信和,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
マルチエージェントシステムにおける柔軟なプロトコル合成言語
高橋竜一,鄭顕志,石川冬樹,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
無線センサネットワークにおけるデータ発見効率を考慮した分散ストレージバランシングの提案
清家良太,清雄一,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
無線センサーネットワークにおける不正イベント発生ノードの検知
清雄一,本位田真一
合同エージェントワークショップ&シンポジウム2007(JAWS2007)   2007年10月29日   合同エージェントワークショップ&シンポジウム2007(JAWS2007)
非常に不安定なネットワークにおける送信方式の違いによる通信安定性の検証
片岡慧,山上智久,本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
無線センサネットワークにおけるモバイルエージェントの直接通信
末永俊一郎,本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
経済市場モデルに基づいた無線センサーネットワークにおけるマルチアプリケーション間での資源共有
清家良太,清雄一, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
無線センサーネットワークにおけるFalse Eventの検知
清雄一, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用
河村美嗣, 鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用
鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
KAOSによる無線センサーネットワークのための計測処理中間モデルの導出
鄭顕志, 深澤良彰, 本位田真一
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)   2007年7月4日   マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007)
variable-size DBF による分散ハッシュテーブルのトラフィック量削減
清雄一,松崎和賢,本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
モバイルエージェントの合意に基づいた協調とサービス管理
石川 冬樹,吉岡 信和,本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築
長健太、大須賀昭彦、本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
ユビキタスコンピューティングとエージェント:自発性と合意
石川冬樹,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
無線センサネットワークにおけるプログラミングモデル - マクロプログラミングとトラディショナルアプローチ
松崎和賢,末永 俊一郎,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
無線センサネットワークにおけるプログラミングモデル - プログラミングサポートとプログラミングアブストラクション
末永俊一郎,松崎 和賢,本位田 真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性
鄭顕志,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Folksonomyの3部グラフ構造を利用したタグクラスタリング
丹羽智史,土肥拓生,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
PID制御法を用いたロボットの行動決定のための交渉フィルター
片岡慧,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
シナリオに基づくインタラクションの開発
土肥拓生,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
エージェント間協調のためのプロトコルを利用したポリシー表現とその監視法の提案
吉岡信和,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
要求の重要度を用いたロール・組織構造の同定
中川博之,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
碁盤分析のためのニューラルエージェントによる自動調整MASム
Eric Tschetter,Eric Platon,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
コンテンツ流通エージェントのための強化学習メカニズム
片岡慧, 吉岡信和, 石川冬樹, 鄭顕志, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Context-awareなコンテンツ流通のためのセキュリティアーキテクチャ
清雄一,粂野文洋,吉岡信和,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Recommender Systemの予測精度を上げる:ユーザ類似度の安定によるアイテムクラスターリング手法
チュオンカンクアン, 石川冬樹, 本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案
石黒真,鄭顕志,深澤良彰,本位田真一
合同エージェントワークショップ&シンポジウム2006 (JAWS2006)   2006年10月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
効率的なPeer-to-Peer 全文検索
清雄一,松崎和賢,本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
位置に束縛されたモバイルエージェントによる位置依存情報の収集
鄭 顕志,深澤 良彰,本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
Folksonomyマイニングに基づくWebページ推薦システム (「マルチエージェントの理論と応用」特集号)
丹羽智史,土肥拓生,本位田真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
自己制御型コンテンツのポリシーに基づく開発支援手法の提案
松崎 和賢,吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
サービス指向に基づいたマルチメディアコンテンツの自律的な流通と提供
石川 冬樹,吉岡 信和,本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
KAOSを用いたマルチエージェントシステムの分析支援
中川 博之,苅部 卓哉,本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
契約による設計を用いたインタラクションの実装
土肥 拓生,吉岡 信和,田原 康之,本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
アドホックネットワークのルーティングへの市場原理の適用
武藤 宏美,鄭 顕志,深澤 良彰,本位田 真一
合同エージェントワークショップ&シンポジウム2005 (JAWS2005)   2005年11月   合同エージェントワークショップ&シンポジウム2006 (JAWS2006)
ロジック書き換えパターンの検証方法の提案
吉岡 信和,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発
苅部 卓哉,吉岡 信和,田原 康之,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析
土肥 拓生,吉岡 信和,田原 康之,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
階層型モバイルエージェントの自律的な合成のための記述とその基板に関する検討
石川 冬樹,田原 康之,吉岡 信和,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築
鄭 顕志,吉岡 信和,深澤 良彰,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計
松崎 和賢,吉岡 信和,本位田 真一
第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004)   2004年11月11日   FOSE2004
位置情報を利用するエージェントのロケーション指向設計
松崎 和賢, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
マルチエージェントシステムのインタラクション主導要求分析
土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
フェロモンモデル:交通渋滞予測への適用
安藤靖志, 増谷修, 岩崎弘利, 本位田真一, 深澤義彰
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
P2P グリッドにおけるサービスの効率的障害退避
鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
階層型モバイルエージェントの合成における合意記述
石川 冬樹,田原 康之, 吉岡 信和, 本位田 真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
ホットスポットにおけるリソースレンタルシステムの提案と評価
武藤宏美, 田原康之, 深澤良彰, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
アクティブコンテンツ:コンテンツ流通のためのモバイルエージェントフレームワーク
苅部卓哉, 吉岡信和, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
コンテンツカプセル化エージェントの動作制御のためのポリシーモデル
NGUYEN Khanh Ngoc, 石川冬樹, 田原康之, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
P2Pシステムにおける自律型コンテンツの流通
清雄一, 松崎和賢, 本位田真一
合同エージェントワークショップ&シンポジウム2004 (JAWS2004)   2004年10月27日   合同エージェントワークショップ&シンポジウム2004 (JAWS2004)
エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離
松崎 和賢,吉岡 信和,本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03)   2003年11月   FOSE'03
Webサービス連携のためのモバイルエージェント動作記述
石川 冬樹,田原 康之,吉岡 信和,本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03)   2003年11月   FOSE'03
UMLを用いたセキュアなアプリケーション開発のための支援手法
苅部 卓哉,吉岡 信和,本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03)   2003年11月   FOSE'03
エージェント間プロトコル記述言語FOPLの提案
土肥 拓生,吉岡 信和、本位田 真一
第10回ソフトウェア工学の基礎ワークショップ(FOSE'03)   2003年11月   FOSE'03

Works

 
知的ネットワークエージェントPlangent
コンピュータソフト   現在
http://www2.toshiba.co.jp/plangent/||http://www2.toshiba.co.jp/plangent/
マルチエージェントフレームワークBee-gent
コンピュータソフト   現在
http://www2.toshiba.co.jp/beegent/||http://www2.toshiba.co.jp/beegent/
パーソナル検索エージェントMobeet
コンピュータソフト   現在
http://mobeet.ex.nii.ac.jp/||http://mobeet.ex.nii.ac.jp/
携帯向けスクリプト言語システムFlipcast
コンピュータソフト   現在
http://flipcast.ex.nii.ac.jp/||http://flipcast.ex.nii.ac.jp/
エージェント指向言語Flage
コンピュータソフト   現在
http://www.ipa.go.jp/NEWSOFT/public/Flage/||http://www.ipa.go.jp/NEWSOFT/public/Flage/