HONIDEN Shinichi 本位田真一

… Alternative Names

本位田真一ホンイデンシンイチ

Less

Researcher Number	70332153
Other IDs
External Links
Affiliation (Current)	2025: 国立情報学研究所, 大学共同利用機関等の部局等, 教授
Affiliation (based on the past Project Information) *help	2017 – 2022: 早稲田大学, 理工学術院, 教授(任期付) 2016 – 2018: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 2012 – 2017: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2006 – 2010: Information Systems Architectures Research Division, Professor, アーキテクチャ科学研究系, 教授 2003 – 2005: National Institute of Informatics, Intelligent Systems Research Division, Professor, 知能システム研究系, 教授 2003: 国立情報学研究所, 知能システム研究所, 教授 2001: 国立情報学研究所, 知能システム研究系, 教授
Review Section/Research Field	Principal Investigator Software / Software / Science and Engineering Except Principal Investigator Software / Software / Basic Section 60050:Software-related / Social systems engineering/Safety system / 情報システム学(含情報図書館学) / Intelligent informatics
Keywords	Principal Investigator ソフトウェア工学 / 自己適応ソフトウェア / 環境モデル学習 / 自己適応システム / ミドルウェア / エージェント / 協調プランニング / 離散制御器合成 / Graceful Degradation / 実行時モデル … More / 制御器合成 / 実行時モデリング / policy / ubiquitous computing / software service / software development / agent / グリッド / ポリシ / サービス / グリット / ポリシー / ユビキタス環境 / ソフトウェアサービス / ソフトウェア開発 / ソフトウェア検証 / ソフトウェア設計 / ソフトウェア分析 / ソフトウェア進化 / 空間制御ソフトウェア / ソフトウェア開発プロセス / モデル検査 / ソフトウェアアーキテクチャ / ゴール指向要求分析 / 無線センサーネットワーク / ペトリネット / 義務論理 / 競合解消 / 情報システム / 進化型アーキテクチャ / セキュリティポリシ / 開発方法論 … More Except Principal Investigator Cyber-Physical Systems / ソフトウエア開発効率化・安定化 / エージェント / WWW / ソフトウェア開発効率化・安定化 / 情報システム / Graceful Degradation / 環境モデル学習 / Graceful degradation / 実行時モデル / モデル学習 / 離散制御器合成 / Models@run.time / 自己適応システム / 段階的詳細化 / システムモデリング / 形式手法 / 運行支援 / Earned Value Management / プロジェクトマネジメント / EVM / 電気自動車 / 監視 / ドメイン分析 / 適応・進化 / Internet of Things / サイバーフィジカルシステム / 障害原因分析 / 不確かさ / ゴールモデル / Web Services / Information Systems / Coloured Petri Net / Deontic Logic / Process Algebra / Software Agent / evolutional architecture / Security Policy / XML / 企業情報システム / プロセス論理 / ペリネット / ワークフロー / 検証 / 競合解消 / 交渉 / ネットワーク管理ポリシ / Webサービス / カラーペトリネット / 義務論理 / プロセス代数 / 進化型アーキテクチャ / セキュリティポリシ / community / agent / ontology / internet / knowledge symbiotisis / コミュニティ / オントロジー / インターネット / 知識共生 / センサデータ / センサーネットワーク / 自己修復 / アスペクトエージェント / 関係エージェント / 構造エージェント / ミドルウェア / ユビキタス・アプリケーション / ユビキタス・ネットワーク / オープン性 / ネットワーク / センサー / ソフトウェア検証 / ソフトウェア学 / 計算機システム Less

Models@run.time Framework for Graceful Degradation
- Principal Investigator
  
  TEI Kenji
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Waseda University
Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
- Principal Investigator
  
  Ishikawa Fuyuki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Multi-view Models@run.time FrameworkPrincipal Investigator
- Principal Investigator
  
  Honiden Shinichi
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Waseda University
Models@run.time for software tolerant to unforseen changes in the environmentPrincipal Investigator
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Reachability Analysis for Electric Cars: Project Management Inspired Approach
- Principal Investigator
  
  Suenaga Shunichiro
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Social systems engineering/Safety system
- Research Institution
  National Institute of Informatics
Detection of Unexpected by Runtime Goal Model Tracking
- Principal Investigator
  
  Ishikawa Fuyuki
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Self-healing sensor data for wireless sensor networks
- Principal Investigator
  
  Tei Kenji
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical SystemsPrincipal Investigator
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Research on Multi-Agent Middleware Supporting Ubiquitous Application Development
- Principal Investigator
  
  OHSUGA Akihiko
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
A middleware for open wireless sensor networksPrincipal Investigator
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Research on Design Verification Process Using Model Checking
- Principal Investigator
  
  TAHARA Yasuyuki
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
  National Institute of Informatics
Software Development Methodologies and a Supportive Environment for Grid-based ServicesPrincipal Investigator
- Principal Investigator
  
  HONIDEN Shinichi
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
仕様/環境の変化に対応するソフトウェアのためのエージェント指向開発方法論の構築Principal Investigator
- Principal Investigator
  
  本位田真一
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  National Institute of Informatics
Research for Developing Knowledge Symbiosis Models for Network Distributed Knowledge SystemsPrincipal Investigator
- Principal Investigator
  
  MURATA Tsuyoshi, 本位田真一
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Realization of Security Polices based on Enterprise Organizational Structur by using Evolutional Agent Architecture
- Principal Investigator
  
  IIJIMA Tadashi
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報システム学(含情報図書館学)
- Research Institution
  Keio University

[Book] Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends(XAC Project: Towards a Middleware for Open Wireless Sensor Networks, chapter in book)2010
- Author(s)
  Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
- Data Source
  KAKENHI-PROJECT-19200003
[Book] SPINによる設計モデル検証2008
- Author(s)
  吉岡信和、青木利晃、田原康之(著)、萩谷昌己(監修)、本位田真一(シリーズ監修)
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-19500035
[Book] ソフトウェア科学基礎2008
- Author(s)
  磯部祥尚、粂野文洋、櫻庭健年、田口研治、田原康之(著)、田中譲(監修)、本位田真一(シリーズ監修)
- Publisher
  近代科学社
- Data Source
  KAKENHI-PROJECT-19500035
[Journal Article] Error-oriented Mutant Reduction and Mutant Weighting for Reliable Mutation Testing2020
- Author(s)
  徳本晋、本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 61 Issue: 4 Pages: 945-956
- DOI
  10.20729/00204245
- NAID
  170000181837
- Year and Date
  2020-04-15
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00732
[Journal Article] Reducing Analysis Space for Identifying Guaranteeable Safety Properties by Abstracting Violation States2020
- Author(s)
  相澤和也、鄭顕志、本位田真一
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J103-D Issue: 4 Pages: 238-246
- DOI
  10.14923/transinfj.2019PDP0018
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2020-04-01
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[Journal Article] A Game Analysis Algorithm for Identifying Safety Properties Guaranteeable While Satisfying a Liveness Property2020
- Author(s)
  相澤和也、鄭顕志、本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 61 Issue: 4 Pages: 853-862
- DOI
  10.20729/00204236
- NAID
  170000181828
- Year and Date
  2020-04-15
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[Journal Article] 自己適応システムのための環境モデル実行時更新手法2019
- Author(s)
  田邉萌香, 鄭顕志, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60(10) Pages: 1617-1630
- NAID
  170000180524
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03225
[Journal Article] Change Impact Analysis for Refinement-Based Formal Specification2019
- Author(s)
  SARUWATARI Shinnosuke、ISHIKAWA Fuyuki、KOBAYASHI Tsutomu、HONIDEN Shinichi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E102.D Issue: 8 Pages: 1462-1477
- DOI
  10.1587/transinf.2018FOP0006
- NAID
  130007686433
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2019-08-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03229
[Journal Article] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019
- Author(s)
  相澤和也, 鄭顕志, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60(4) Pages: 1025-1039
- NAID
  170000150279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03225
[Journal Article] 自己適応システムのための環境モデル実行時更新手法2019
- Author(s)
  田邉萌香, 鄭顕志, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60 (10) Pages: 1617-1630
- NAID
  170000180524
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00732
[Journal Article] Change Impact Analysis for Refinement-based Formal Specification2019
- Author(s)
  Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: To Appear
- NAID
  130007686433
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01727
[Journal Article] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019
- Author(s)
  相澤和也, 鄭顕志, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60 (4) Pages: 1025-1039
- NAID
  170000150279
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00732
[Journal Article] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019
- Author(s)
  Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  Formal Aspects of Compupting
  
  Volume: Preprint Issue: 3 Pages: 287-320
- DOI
  10.1007/s00165-019-00478-z
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01727, KAKENHI-PROJECT-17H07323, KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-18H03229
[Journal Article] Dynamic Update of Discrete Event Controllers2018
- Author(s)
  L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
- Journal Title
  
  IEEE Transactions on Software Engineering (TSE)
  
  Volume: - Issue: 11 Pages: 1220-1240
- DOI
  10.1109/tse.2018.2876843
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-18H03340, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
[Journal Article] Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks2015
- Author(s)
  Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
- Journal Title
  
  IEEE Transactions on Systems, Man, and Cybernetics: Systems
  
  Volume: 45 (4) Issue: 4 Pages: 675-687
- DOI
  10.1109/tsmc.2014.2360506
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003, KAKENHI-PROJECT-25280026, KAKENHI-PROJECT-26330098
[Journal Article] SanGA: A Self-adaptive Network-aware Approach to Service Composition2014
- Author(s)
  Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  IEEE Transactions on Services Computing
  
  Volume: 7 (3) Issue: 3 Pages: 452-464
- DOI
  10.1109/tsc.2013.2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出2014
- Author(s)
  姜帆, 田辺良則, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J97-D(3) Pages: 625-634
- NAID
  110009804350
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2014
- Author(s)
  清水遼, 鄭顕志, 深澤良彰, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J97-D(3) Pages: 473-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] インタラクションに着目したステートマシン抽出による Rich Internet Applications の欠陥発見の支援2013
- Author(s)
  前澤悠太，鷲崎弘宜，本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.54(No.2) Pages: 820-834
- NAID
  110009537080
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] SanGA: A Self-adaptive Network-aware Approach to Service Composition2013
- Author(s)
  Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
- Journal Title
  
  IEEE Transactions on Services Computing
  
  Volume: to appear
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] 参照整合性の検証のためのUML Activity解析方法2013
- Author(s)
  井上拓，本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.54(No.2) Pages: 774-786
- NAID
  110009537076
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] 照合操作の識別のためのOCL記述の解析方法2013
- Author(s)
  井上拓，本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.54(No.3) Pages: 1165-1184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] Faults in Sensory Readings: Classification and Model Learning2013
- Author(s)
  Valentina Baljak, Tei Kenji, Shinichi Honiden
- Journal Title
  
  Sensors & Transducers Journal
  
  Volume: 18 Pages: 177-187
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法2012
- Author(s)
  中川博之，大須賀昭彦，本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53(No.10) Pages: 2328-2344
- NAID
  110009464383
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study2012
- Author(s)
  Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
- Journal Title
  
  Procedia Computer Science
  
  Volume: 10 Pages: 30-37
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24240003
[Journal Article] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011
- Author(s)
  石川冬樹, 山本佳代子, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.52, No.3 Pages: 220-232
- NAID
  110007891072
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011
- Author(s)
  石川冬樹, 山本佳代子, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.52, No.3
  
  Pages: 220-232
- NAID
  110007891072
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 経路情報を用いた複数タスクへのセンサ割当2011
- Author(s)
  鳥海晋, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.52, No.3 Pages: 1091-1101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 経路情報を用いた複数タスクへのセンサ割当2011
- Author(s)
  鳥海晋, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.52, No.3
  
  Pages: 1091-1101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] ビヘイビア記述に基づく自己適応システム実装フレームワークの提案2011
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  人工知能学会論文誌 Vol.26, No.1
  
  Pages: 1-12
- NAID
  130000455349
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] ビヘイビア記述に基づく自己適応システム実装フレームワークの提案2011
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  人工知能学会論文誌
  
  Volume: Vol.26, No.1 Pages: 1-12
- NAID
  130000455349
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Suppressing Redundancy in Wireless Sensor Network Traffic2010
- Author(s)
  Rey Abe, Shinichi Honiden
- Journal Title
  
  In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010
- Author(s)
  K.i Tei, H. Nakazato, Y.Fukazawa, S.Honiden
- Journal Title
  
  Proc. of WEA-CPS'10 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 組み合わせQoSを考慮した自動サービス合成に関する研究2010
- Author(s)
  渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
- Journal Title
  
  ウィンターワークショップ・イン・倉敷2010論文集 2010
  
  Pages: 71-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Cooperative Behaviors Description for Self-* Systems Implementation2010
- Author(s)
  Nakagawa H., Ohsuga,A., Honiden S.
- Journal Title
  
  Proc. of PAAMS 10 Vol.2010
  
  Pages: 69-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 書換え論理に基づくアスペクト指向ソフトウェアの形式モデル2010
- Author(s)
  田原康之, 大須賀昭彦, 本位田真一
- Journal Title
  
  ウィンターワークショップ・イン・倉敷2010論文集 2010
  
  Pages: 127-128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Cooperative Behaviors Description for Self Systems Implementation2010
- Author(s)
  Nakagawa, H., Ohsuga, A., Honiden, S.
- Journal Title
  
  Proc.of the 8th International Conference on Practical Applications of Agents and Multi-Agent Systems(PRAMS 10)
  
  Volume: 2010 Pages: 69-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy2010
- Author(s)
  A.Klein, F.Ishikawa, S.Honiden
- Journal Title
  
  Proc. of ICSOC 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Service-oriented middleware for dynamic management of heterogeneous sensing devices2010
- Author(s)
  L.Gurgen, J.Nystrom-Persson, A.Cherbal, C.Labbe, C.Roncancio, S.Honiden
- Journal Title
  
  Proc. of ICPS 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Adaptive Geographic Routing in Wireless Sensor Networks2010
- Author(s)
  Rey Abe, Shinichi Honiden
- Journal Title
  
  In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems(MSWiM 2010)
  
  Volume: 2010 Pages: 9-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Adaptive Geographic Routing in Wireless Sensor Networks2010
- Author(s)
  R.Abe, S.Honiden
- Journal Title
  
  Proc. of MSWiM 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Planning with Utilities and State Trajectory Constraints for Self-Healingin Automotive System2010
- Author(s)
  Benjamin H-opper, Jan Meyer, Matthias Tichy, Shinichi Honiden
- Journal Title
  
  In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Service-oriented middleware for dynamic management of heterogeneous sensing devices2010
- Author(s)
  Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden
- Journal Title
  
  In proceedings of the 7th ACM International Conference on Pervasive Services(ICPS 2010)
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Service Composition with Pareto-Optimality of Mme-Dependent QoS Attributes2010
- Author(s)
  Benjamin H-opper, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  In proceedings of the 8th International Conferenceon Service-Oriented Computing(ICSOC 2010)
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Planning with Utilities and State Trajectory Constraints for Self-Healing in Automotive System2010
- Author(s)
  B.Klopper, J.Meyer, M.Tichy, S.Honiden
- Journal Title
  
  Proc. of SASO 2010 Vol. 2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] プロセス間競合を考慮した自己適応システムの形式仕様構築2010
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.51, No.9 Pages: 1751-1764
- NAID
  110007970777
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds2010
- Author(s)
  V.Baljak, S.Honiden
- Journal Title
  
  Proc. of SENSORCOMM 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Suppressing Redundancy in Wireless Sensor Network Traffic2010
- Author(s)
  R.Abe, S.Honiden
- Journal Title
  
  Proc. of DCOSS 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] サービス設計における付随機能の考慮によるQoSの向上2010
- Author(s)
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- Journal Title
  
  ウィンターワークショップ・イン・倉敷2010論文集 2010
  
  Pages: 67-68
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy2010
- Author(s)
  Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  In proceedings of the 8th International Conferenceon Service-Oriented Computing(ICSOC 2010)
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes2010
- Author(s)
  B.Klopper, F.Ishikawa, S.Honiden
- Journal Title
  
  Proc. of ICSOC 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 同種サービスの複数利用を考慮した効率的なサービス候補の構築2010
- Author(s)
  平塚信明, 石川冬樹, 本位田真一
- Journal Title
  
  合同エージェントワークショップ&シンポジウム2010(JAWS-2010)論文集
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ2010
- Author(s)
  片渕聡, 鄭顕志, 高橋竜一, 石川冬樹, 深澤良彰, 本位田真一
- Journal Title
  
  ウィンターワークショップ・イン・倉敷2010論文集 2010
  
  Pages: 75-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds2010
- Author(s)
  Valentina Baljak, Shinichi Honiden
- Journal Title
  
  In proceedings of the Fourth International Conference on Sensor Technologies and Applications(SENSORCOMM 2010)
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Business Semantics Centric Reliability Testing for Web Services in BPEL2010
- Author(s)
  Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
- Journal Title
  
  In proceeding of the 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing(WS-CS-Testing 2010)
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010
- Author(s)
  Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
- Journal Title
  
  In Proceedings of the First International Workshopon Energy Aware Design and Analysis of Cyber Physical Systems(WEA-CPS'10), in conjunction with CPSWEEK in Stockholm, Sweden.
  
  Volume: 2010
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Thinking autonomic for sensing devices2010
- Author(s)
  harrock, R., Cherbal, A., Gurgen, L., Honiden S.
- Journal Title
  
  Proc. of ICAS'10 Vol.2010
  
  Pages: 20-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Thinking autonomic for sensing devices2010
- Author(s)
  Sharrock, R., Cherbal, A., Gurgen, L., Honiden, S.
- Journal Title
  
  Proc.Sixth International Conference on Autonomic and Autonomous Systems(ICAS'10) 2010
  
  Pages: 20-23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Business Semantics Centric Reliability Testing for Web Services in BPEL2010
- Author(s)
  Y.Wang, F.Ishikawa, S.Honiden
- Journal Title
  
  In Proc. of WS-CS-Testing 2010 Vol.2010(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] プロセス間競合を考慮した自己適応システムの形式仕様構築2010
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.51, No.9
  
  Pages: 1751-1764
- NAID
  110007970777
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 無線センサネットワークにおける複数プログラムの動的配備2009
- Author(s)
  末永俊一郎, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.50,No.1
  
  Pages: 14-30
- NAID
  110007970301
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] Specifying and Checking Refinement Relationships in VDM++2009
- Author(s)
  Kawamata, Y., Sommer, C., Ishikawa, F., Honiden, S.
- Journal Title
  
  Proc.7th IEEE International Conference on Software Engineering and Formal Methods(SEFM2009) 2009
  
  Pages: 220-227
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Distributed Arrays : A P2P Data Structure for Efficient Logical Arrays2009
- Author(s)
  Fukuchi, D., Sommer, C., Sei,Y., Honiden S.
- Journal Title
  
  Proc. of IEEE INFOCOM 2009 Vol.2009
  
  Pages: 1458-1466
- NAID
  110007970367
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009
- Author(s)
  Ishikawa, F., Suleiman, B., Yamamoto, K., Honiden, S.
- Journal Title
  
  Proc.ACM International Conference on Pervasive Services(ICPS2009) 2009
  
  Pages: 133-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Specifying and Checking Refinement Relationships in VDM++2009
- Author(s)
  Kawamata, Y., Sommer, C., Ishikawa F., Honiden S.
- Journal Title
  
  Proc. of SEFM2009 Vol.2009
  
  Pages: 220-227
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 Vol.J92-B
  
  Pages: 678-688
- NAID
  110007379700
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Distributed Arrays : A P2P Data Structure for Efficient Logical Arrays2009
- Author(s)
  Fukuchi, D., Sommer, C., Sei, Y., Honiden, S.
- Journal Title
  
  Proc.28th Conference on Computer Communications 2009
  
  Pages: 1458-1466
- NAID
  110007970367
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2009
- Author(s)
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- Journal Title
  
  電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」 J92-D
  
  Pages: 1827-1839
- NAID
  110007467224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2009
- Author(s)
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- Journal Title
  
  電子情報通信学会論文誌 Vol.J92-D
  
  Pages: 1827-1839
- NAID
  110007467224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Plug & Manage Heterogeneous Sensing Devices2009
- Author(s)
  Gurgen, L., Nystrom-Persson, J., Cherbal, A., Labbe, C., Roncancio, C., Honiden S.
- Journal Title
  
  Proc. of DMSN'09 Vol.2009
  
  Pages: 3-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Group Migration by Mobile Agents in Wireless Sensor Networks2009
- Author(s)
  Suenaga, S., Yoshioka, N., Honiden S.
- Journal Title
  
  The Computer Journal, Oxford University Press Vol.2009(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Plug&Manage Heterogeneous Sensing Devices2009
- Author(s)
  Gurgen, L., Nystrom-Persson, J., Cherbal, A., Labbe, C., Roncancio, C., Honiden, S.
- Journal Title
  
  Proc.6th International Workshop on Data Management for Sensor Networks(DMSN'09) 2009
  
  Pages: 3-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009
- Author(s)
  Ishikawa F., Suleiman, B., Yamamoto, K., Honiden S.
- Journal Title
  
  Proc. of ICPS2009 Vol.2009
  
  Pages: 133-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長2009
- Author(s)
  鳥海晋, 清雄一, 末永俊一郎, 鄭顕志, 本位田真一
- Journal Title
  
  マルチメディア,分散,協調とモバイルシンポジウム(DICOMO2009)論文集 2009
  
  Pages: 1587-1591
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] ゴール指向要求分析を用いたself-adaptiveシステムの構築2009
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.50
  
  Pages: 2500-2513
- NAID
  110007970531
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」 J92-B
  
  Pages: 678-688
- NAID
  110007379700
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 無線センサーネットワークにおける不正メッセージ作成元ノードの検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.50,No.2
  
  Pages: 787-797
- NAID
  110007970372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] ゴール指向要求分析を用いたself-adaptiveシステムの構築2009
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Journal Title
  
  情報処理学会論文誌 50
  
  Pages: 2500-2513
- NAID
  110007970531
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援2009
- Author(s)
  山本佳代子, 石川冬樹, 本位田真一
- Journal Title
  
  第8回合同エージェントワークショップ&シンポジウム2009(JAWS2009)論文集 2009
  
  Pages: 620-626
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Group Migration by Mobile Agents in Wireless Sensor Networks2009
- Author(s)
  Suenaga, S., Yoshioka, N., Honiden, S.
- Journal Title
  
  The Computer Journal, Oxford University Press 2009(オンライン)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」 J92-B
  
  Pages: 689-699
- NAID
  110007379701
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 Vol.92-B,No.4
  
  Pages: 689-699
- NAID
  110007379701
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 Vol.J92-B
  
  Pages: 689-699
- NAID
  110007379701
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 Vol.92-B,No.4
  
  Pages: 678-688
- NAID
  110007379700
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2008
- Author(s)
  鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  日本ソフトウェア科学会 Vol. 25, No. 4
  
  Pages: 121-132
- NAID
  130004892114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] 分散配列 : 効率的な論理配列を実現するP2Pデータ構造2008
- Author(s)
  福地大輔, Christian Sommer, 清雄一, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol. 50, No. 2
  
  Pages: 721-736
- NAID
  110007970367
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2008
- Author(s)
  鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  コンピュータソフトウェア Vol.25, No.4
  
  Pages: 121-132
- NAID
  130004892114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 無線センサネットワークにおける複数プログラムの動的配備2008
- Author(s)
  末永俊一郎, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol. 50, No. 1
  
  Pages: 14-30
- NAID
  110007970301
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008
- Author(s)
  石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  日本ソフトウェア科学会 Vol. 25, No. 4
  
  Pages: 133-144
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008
- Author(s)
  石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  コンピュータソフトウェア Vol.25, No.4
  
  Pages: 133-144
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] Constructing Self-adaptive Systems Using a KAOS Model2008
- Author(s)
  Nakagawa H., Ohsuga,A., Honiden S.
- Journal Title
  
  Proc. of SASOW 08 Vol.2008
  
  Pages: 132-137
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 効率の良いネットワーク内処理のためのノード選択指標の提案2008
- Author(s)
  鄭顕志, 深澤良彰, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.49,No.6
  
  Pages: 1872-1884
- NAID
  40019582573
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] 無線センサーネットワークにおけるFalse Eventの検知2008
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.49,No.2
  
  Pages: 628-638
- NAID
  110006613058
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] モデル変換に基づく要求記述を利用した形式仕様記述の構築2008
- Author(s)
  中川博之, 田口研治, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.49, No.7
  
  Pages: 2304-2318
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008
- Author(s)
  鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  コンピュータソフトウェア Vol.25, No.4
  
  Pages: 11-19
- NAID
  110006990882
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20300008
[Journal Article] 無線センサーネットワークにおける不正メッセージ作成元ノードの検知2008
- Author(s)
  清雄一, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol. 50, No. 2
  
  Pages: 787-797
- NAID
  110007970372
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008
- Author(s)
  鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  日本ソフトウェア科学会 Vol. 25, No. 4
  
  Pages: 11-19
- NAID
  110006990882
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19200003
[Journal Article] Adoption of Process-based Service Composition to Pervasive Computing2007
- Author(s)
  Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  IPSJ Vol.48, No.42
  
  Pages: 1785-1798
- NAID
  110006251451
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] プロセス記述によるサービス合成のパーベイシブコンピューティングヘの適用2007
- Author(s)
  石川冬樹, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 48・4
  
  Pages: 1785-1798
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Event Calculusに基づく合意を用いたモバイルエージェントの協調2007
- Author(s)
  石川冬樹, 吉岡信和, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 J90-D-I・9(未定)
- NAID
  110007380865
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用2007
- Author(s)
  石川冬樹, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 48・4
  
  Pages: 1785-1798
- NAID
  110006251451
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Cooperative Migration of Mobile Agents using Agreements based on Event Calculus2007
- Author(s)
  Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Shinichi HONIDEN
- Journal Title
  
  IEICE Vol.J90-D, No.9
- NAID
  110007380865
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Location Scope:ロケーションアウェアソフトウェア開発支援手法の提案2005
- Author(s)
  松崎和賢, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 46・12
  
  Pages: 2925-2939
- NAID
  110002973589
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案2005
- Author(s)
  松崎和賢, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 46・12
  
  Pages: 2925-2939
- NAID
  110002973589
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Location Scope : Development Support for Location-Awareness Software2005
- Author(s)
  Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  IPSJ Vol.46, No.12
  
  Pages: 2925-2939
- NAID
  110002973589
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Framework for Synthesis of Web services and Mobile Agents2005
- Author(s)
  Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  International Journal of Pervasive Computing and Communications (JPCC) 1・3
  
  Pages: 227-245
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] インタラクション記述言語IOM/T2005
- Author(s)
  土肥拓生, 吉岡信和, 田原康之, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 J88-D1・No.9
  
  Pages: 1299-1311
- NAID
  110003225319
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] A Formal Model of Mobile BPEL4WS Process2005
- Author(s)
  Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  International Journal of Business Process Integration and Management (IJBPIM)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Mobile Agent Based Evacuation System when the Battery Runs Out : EASTER2005
- Author(s)
  Fumihiro Kumeno, Heisuke Kaneko, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
- Journal Title
  
  IEICE Vol.J88-D1, No.9
  
  Pages: 1388-1401
- NAID
  120000790193
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] IOM/T : An Interaction Description Language2005
- Author(s)
  Takuo DOI, Nobukazu YOSHIOKA, Yasuyuki TAHARA, Shinichi HONIDEN
- Journal Title
  
  IEICE Vol.J88-D1, No.9
  
  Pages: 1299-1311
- NAID
  110003225319
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Hierarchy Enhanced Mobile Agent Framework and Its Multimedia Application2005
- Author(s)
  Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Yasuyuki TAHARA, Shinichi HONIDEN
- Journal Title
  
  IEICE Vol.J88-D1, No.9
  
  Pages: 1402-1417
- NAID
  110003225328
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用2005
- Author(s)
  石川冬樹, 吉岡信和, 田原康之, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 J88-D1・No.9
  
  Pages: 1402-1417
- NAID
  110003225328
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Formal Model of Mobile BPEL4WS Process2005
- Author(s)
  Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  International Journal of Business Process Integration and Management (IJBPIM) 1・3
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] モバイルエージェントによるバッテリ切れ避難システム : EASTER2005
- Author(s)
  粂野文洋, 金子平祐, 吉岡信和, 深潭良彰, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 J88-D1・No.9
  
  Pages: 1388-1401
- NAID
  110003225327
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] モバイルエージェントによるバッテリ切れ避難システム:EASTER2005
- Author(s)
  粂野文洋, 金子平祐, 吉岡信和, 深澤良彰, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 J88-D1・No.9
  
  Pages: 1388-1401
- NAID
  110003225327
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Framework for Synthesis of Web services and Mobile Agents2005
- Author(s)
  Fuyuki ISHIKAWA, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  International Journal of Pervasive Computing and Communications (JPCC) Vol.1, No.3
  
  Pages: 227-245
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] A Design Method for Secure Mobile Agent System Using Patterns2004
- Author(s)
  Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko OHSUGA, Shinichi Honiden
- Journal Title
  
  IPSJ Vol.45, No.3
  
  Pages: 842-857
- NAID
  110002712136
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] モバイルエージェントによる動的環境下のサービス利用の効率的実現手法2004
- Author(s)
  松崎和賢, 吉岡信和, 本位田真一
- Journal Title
  
  人工知能学会誌 Vol.19 No.4
  
  Pages: 311-321
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Design and Application of Agent Oriented Software for Ubiquitous Environment2004
- Author(s)
  Nobukazu Yoshioka, Akihiko OHSUGA, Shinichi Honiden
- Journal Title
  
  ISCIE Vol.48, No.11
  
  Pages: 22-27
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] モバイルエージェントによる動的環境下のサービス利用の効率的実現手法2004
- Author(s)
  松崎和賢, 吉岡信和, 本位田真一
- Journal Title
  
  人工知能学会誌 Vol. 19 No. 4
  
  Pages: 311-321
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用2004
- Author(s)
  吉岡信和, 大須賀昭彦, 本位田真一
- Journal Title
  
  システム/制御/情報 Vol. 48 No. 11
  
  Pages: 22-27
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム2004
- Author(s)
  石川冬樹, 吉岡信和, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 VOL.J87-D-I No.7
  
  Pages: 782-795
- NAID
  110003171354
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] A Mobile Agent System Framework Based on Dynamic Pattern Application for Ubiquitous Network2004
- Author(s)
  Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  IPSJ Vol.45, No.1
  
  Pages: 12-23
- NAID
  110002712029
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] パターンを用いたセキュアなモバイルエージェントシステム設計法2004
- Author(s)
  吉岡信和, 田原康之, 大須賀昭彦, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.45, No.3
  
  Pages: 842-857
- NAID
  110002712136
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] The Methodology for Developing Mobile Agent Application for Ubiquitous Environment2004
- Author(s)
  Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
- Journal Title
  
  JSAI Vol.19, No.4
  
  Pages: 311-321
- NAID
  10014164568
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Webサービス連携のためのモバイルエージェント動作記述2004
- Author(s)
  石川冬樹, 田原康之, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol.45 No.6
  
  Pages: 1614-1629
- NAID
  110002712210
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム2004
- Author(s)
  石川冬樹, 吉岡信和, 本位田真一
- Journal Title
  
  電子情報通信学会論文誌 VOL.J87-D-I NO. 7
  
  Pages: 782-795
- NAID
  110003171354
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用2004
- Author(s)
  吉岡信和, 大須賀昭彦, 本位田真一
- Journal Title
  
  システム/制御/情報 Vol.48 No.11
  
  Pages: 22-27
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Mobile Agent System for Web Services Integration in Pervasive Network2004
- Author(s)
  Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Shinichi HONIDEN
- Journal Title
  
  IEICE VOL.J87-D-I, NO.7
  
  Pages: 782-795
- NAID
  110003171354
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] ユビキタスネットワークに対応した動的パターン適用に基づくモバイルエージェントシステム構築法2004
- Author(s)
  吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌 Vol.45, No.1
  
  Pages: 12-23
- NAID
  110002712029
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Behavior Descriptions of Mobile Agents for Web Services Integration2004
- Author(s)
  Fuyuki ISHIKAWA, Yasuyuki Tahara, Nobukazu YOSHIOKA, Shinichi HONIDEN
- Journal Title
  
  IPSJ Vol.45, No.6
  
  Pages: 1614-1629
- NAID
  110002712210
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Webサービス連携のためのモバイルエージェント動作記述2004
- Author(s)
  石川冬樹, 田原康之, 吉岡信和, 本位田真一
- Journal Title
  
  情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol. 45 No. 6
  
  Pages: 1614-1629
- NAID
  110002712210
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ2003
- Author(s)
  吉岡信和, 田原康之, 本位田真一
- Journal Title
  
  情報処理学会論文誌 : データベース Vol.44, No.18(TOD 20)
  
  Pages: 45-57
- NAID
  110002712015
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] パーベイシブ・コンピューティングのためのマルチエージェントフレームワーク : Mobeet2003
- Author(s)
  吉岡信和, 大須賀昭彦, 本位田真一
- Journal Title
  
  電気学会論文誌C Vol.123, No.8
  
  Pages: 1473-1485
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] Active Contents : Flexible Contents Distribution by Mobile Agents2003
- Author(s)
  Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
- Journal Title
  
  IPSJ, DataBase(TOD) Vol.44, No.18
  
  Pages: 45-57
- NAID
  110002712015
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Journal Article] A Multi Agents Framework for Pervasive Computing : Mobeet Framework2003
- Author(s)
  Nobukazu Yoshioka, Akihiko OHSUGA, Shinichi Honiden
- Journal Title
  
  IEEJ-C Vol.123, No.8
  
  Pages: 1473-1485
- NAID
  10011450350
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15200003
[Presentation] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022
- Author(s)
  Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden and Kenji Tei
- Organizer
  29th Asia-Pacific Software Engineering Conference (APSEC 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Identifying achievable goals for adaptive replanning against runtime environment change2020
- Author(s)
  Jialong Li, Kenji Tei and Shinichi Honiden
- Organizer
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020
- Author(s)
  Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- Organizer
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] 離散制御器合成における設計誤りを特定するための反例出力手法2020
- Author(s)
  李家隆, 相澤和也, 鄭顕志, 本位田真一
- Organizer
  IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- Author(s)
  Takuto Yamauchi, Kenji Tei and Shinichi Honiden
- Organizer
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- Author(s)
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020
- Author(s)
  Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
- Organizer
  2021 IEEE 3rd Global Conference on Life Sciences and Technologies
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020
- Author(s)
  Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
- Organizer
  2021 IEEE 3rd Global Conference on Life Sciences and Technologies
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Event-Bによるリファインメントのパターン最適化2020
- Author(s)
  荒井滉平，本位田真一，鄭顕志
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] A Robust and Flexible Operating System Compatibility Architecture2020
- Author(s)
  Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
- Organizer
  The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020
- Author(s)
  Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020
- Author(s)
  Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- Organizer
  The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Identifying achievable goals for adaptive replanning against runtime environment change2020
- Author(s)
  Jialong Li, Kenji Tei and Shinichi Honiden
- Organizer
  The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020
- Author(s)
  Takuto Yamauchi, Kenji Tei and Shinichi Honiden
- Organizer
  IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019
- Author(s)
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- Organizer
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019
- Author(s)
  Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- Organizer
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)2019
- Author(s)
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- Organizer
  Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Analysis of changed game space for ensuring safety properties at runtime2019
- Author(s)
  Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- Organizer
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Analysis Space Reduction Method with Decomposing Control Problem2019
- Author(s)
  Takuto Yamauchi, Kenji Tei, Shinichi Honiden
- Organizer
  The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019
- Author(s)
  Kazuya Aizawa, Kenji Tei, Shinichi Honiden
- Organizer
  The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018
- Author(s)
  Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
- Organizer
  the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] Identifying safety properties guaranteed in changed environment at runtime2018
- Author(s)
  Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- Organizer
  the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03225
[Presentation] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018
- Author(s)
  Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
- Organizer
  the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Identifying safety properties guaranteed in changed environment at runtime2018
- Author(s)
  Kazuya Aizawa, Kenji Tei and Shinichi Honiden
- Organizer
  the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017
- Author(s)
  Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
- Organizer
  Symposium on Dependable Software Engineering (SETTA 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01727
[Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017
- Author(s)
  Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
- Organizer
  3rd Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins 2017 (SETTA 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Learning Environment Model at Runtime for Self-Adaptive Systems2017
- Author(s)
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, and Shinichi Honiden
- Organizer
  the 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)
- Place of Presentation
  Marrakesh, Morocco
- Year and Date
  2017-04-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017
- Author(s)
  Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
- Organizer
  Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Extracting Traceability between Predicates in Event-B Refinement2017
- Author(s)
  Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
- Organizer
  The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Learning environment model at runtime for self-adaptive systems2017
- Author(s)
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  The 32nd ACM Symposium on Applied Computing (SAC2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00732
[Presentation] Applicability of Earned Value Management for Deadline Energy Constrained Applications2017
- Author(s)
  Shunichiro Suenaga, Kenji Tei and Shinichi Honiden
- Organizer
  2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM2017)
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Extracting Traceability between Predicates in Event-B Refinement2017
- Author(s)
  Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
- Organizer
  The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Learning environment model at runtime for self-adaptive systems2017
- Author(s)
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  The 32nd ACM Symposium on Applied Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Extracting Traceability between Predicates in Event-B Refinement2017
- Author(s)
  Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
- Organizer
  The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H01727
[Presentation] Refactoring Refinement Structures of Event-B Machines2016
- Author(s)
  Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
- Organizer
  The 21st International Symposium on Formal Methods (FM 2016)
- Place of Presentation
  Limassol, Cyprus
- Year and Date
  2016-11-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] 階層離散制御器合成によるマルチロボットシステムの仕様生成手法2016
- Author(s)
  Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- Place of Presentation
  岐阜，日本
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] 自己適応システムのための実行時環境モデル学習手法2016
- Author(s)
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- Place of Presentation
  岐阜，日本
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] 自己適応システムのための実行時環境モデル学習手法2016
- Author(s)
  Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- Place of Presentation
  岐阜
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Stepwise Refinement of Software Development Problem Analysis2016
- Author(s)
  Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
- Organizer
  The 35th International Conference on Conceptual Modeling (ER 2016)
- Place of Presentation
  岐阜，日本
- Year and Date
  2016-11-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Assured and Correct Dynamic Update of Controllers2016
- Author(s)
  Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, and Sebastian Uchitel
- Organizer
  Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
- Place of Presentation
  東京
- Invited
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Assured and Correct Dynamic Update of Controllers2016
- Author(s)
  Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
- Organizer
  11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)
- Place of Presentation
  Austin, USA
- Year and Date
  2016-05-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] 合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)2016
- Author(s)
  Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
- Organizer
  合同エージェントワークショップ＆シンポジウム2016 (JAWS2016)
- Place of Presentation
  羽島，岐阜
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Automatic Generation of Potentially Pathological Instances for Validating Alloy Models2016
- Author(s)
  Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
- Organizer
  International Conference on Formal Engineering Methods (ICFEM 2016)
- Place of Presentation
  東京，日本
- Year and Date
  2016-11-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12414
[Presentation] Assured and Correct Dynamic Update of Controllers2016
- Author(s)
  Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
- Organizer
  11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)
- Place of Presentation
  Austin, USA
- Year and Date
  2016-05-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] A Goal Model Elaboration for Localizing Changes in Software Evolution2013
- Author(s)
  Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
- Organizer
  21st IEEE International Requirements Engineering Conference (RE'13)
- Place of Presentation
  Rio de Janeiro, Brasil
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks2013
- Author(s)
  Valentina Baljak, Tei Kenji and Shinichi Honiden
- Organizer
  IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP'13)
- Place of Presentation
  Melnourne, Australia
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches2012
- Author(s)
  Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
- Organizer
  The 6th International Workshop on Juris-informatics (JURISIN 2012)
- Place of Presentation
  Miyazaki, Japan
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Efficient Neuroevolution for a Quadruped Robot2012
- Author(s)
  Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
- Organizer
  The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012)
- Place of Presentation
  Ha Noi, Vietnam
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops2012
- Author(s)
  Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
- Organizer
  The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)
- Place of Presentation
  Lyon France
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study2012
- Author(s)
  Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
- Organizer
  The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
- Place of Presentation
  Ontario, Canada
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels2012
- Author(s)
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA '12) in conjunction with ICSE
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution2012
- Author(s)
  Hirotaka Moriguchi and Shinichi Honiden
- Organizer
  Genetic and Evolutionary Computation Conference (GECCO2012)
- Place of Presentation
  Philadelphia, USA
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Classification of Faults in Sensor Readings with Statistical Pattern Recognition2012
- Author(s)
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- Organizer
  The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)
- Place of Presentation
  Rome, Italy
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] A Probabilistic Approach for Long-Term B2B Service Compositions2012
- Author(s)
  Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
- Organizer
  The 10th International Conference on Web Services (ICWS 2012)
- Place of Presentation
  Honolulu, USA
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Multi-objective Service Composition with Time- and Input-Dependent QoS2012
- Author(s)
  Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
- Organizer
  The 10th International Conference on Web Services (ICWS 2012)
- Place of Presentation
  Honolulu, USA
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] 無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案2010
- Author(s)
  清水遼, 鄭顕志, 深澤良彰, 本位田真一
- Organizer
  マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
- Place of Presentation
  下呂温泉(岐阜県)
- Year and Date
  2010-07-07
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] イベント駆動型Webサービス検索のためのイベントマッチング2010
- Author(s)
  片渕聡, 鄭顕志, 高橋竜一, 深澤良彰, 石川冬樹, 本位田真一
- Organizer
  人工知能学会全国大会(第24回)(JSAI2010)
- Place of Presentation
  長崎ブリックホール(長崎県)
- Year and Date
  2010-06-09
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010
- Author(s)
  Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS' 10), in conjunction with CPSWEEK in Stockholm
- Place of Presentation
  Sweden
- Year and Date
  2010-04-12
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software2010
- Author(s)
  Tahara, Y., Ohsuga, A., Honiden S.
- Organizer
  FOAL 2010
- Place of Presentation
  Rennes, France
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] 組合せによる条件付き品質を考慮したWebサービス選択の高速化手法2010
- Author(s)
  渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
- Organizer
  マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
- Place of Presentation
  下呂温泉(岐阜県)
- Year and Date
  2010-07-07
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] 資源制約下における複数タスクへのセンサ割当問題2010
- Author(s)
  鳥海晋, 本位田真一
- Organizer
  マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
- Place of Presentation
  下呂温泉(岐阜県)
- Year and Date
  2010-07-07
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software2010
- Author(s)
  Tahara, Y., Ohsuga, A., Honiden S.
- Organizer
  Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL 2010)
- Place of Presentation
  Rennes, France
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering2009
- Author(s)
  Ishikawa, F., Inoue, R., Honiden, S.
- Organizer
  2nd International Workshop on Requirements Engineering and Law(RELAW 2009)
- Place of Presentation
  Sydney, Australia
- Year and Date
  2009-09-28
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] Generative Dynamic Deployment of Multiple Components in wireless Sensor Networks2009
- Author(s)
  Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
- Organizer
  Poster at the The Sixth International Conference on Wireless On-demand Network Systems and Services (WONS 2009)
- Place of Presentation
  Snowbird, Utah, USA
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Balancing Graph Voronoi Diagrams2009
- Author(s)
  Shinichi Honiden
- Organizer
  Sixth annual International Symposium on Voronoi Diagrams in science and engineering(ISVD 2009)
- Place of Presentation
  Technical University of Denmark(Copenhagen)
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Approximate Shortest Path Queries in Graphs Using Voronoi Duals2009
- Author(s)
  Shinichi Honiden
- Organizer
  Sixth annual International Symposium on Voronoi Diagrams in science and engineering(ISVD 2009)
- Place of Presentation
  Technical University of Denmark(Copenhagen)
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Webサービス検索のための操作カテゴリ分類手法の提案2009
- Author(s)
  片渕聡, 鄭顕志, 高橋竜一, 石川冬樹, 深澤良彰, 本位田真
- Organizer
  電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会
- Place of Presentation
  東京都千代田区
- Year and Date
  2009-07-02
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] Reporter node determination of replicated node detection in wireless sensor networks2009
- Author(s)
  Yuichi Sei, Shinichi Honiden
- Organizer
  Third International Conference on Ubiquitous Information Management and Communication (ICUIMC-09)
- Place of Presentation
  Suwon, Korea
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Folksonomyからの潜在的知識抽出2009
- Author(s)
  馬場雪乃, 石川冬樹, 本位田真一
- Organizer
  第10回AI若手の集い(MYCOM2009)
- Place of Presentation
  静岡県熱海市
- Year and Date
  2009-06-04
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] サービス合成におけるメタデータを用いた協調プロトコル合成手法2009
- Author(s)
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- Organizer
  電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会
- Place of Presentation
  東京都千代田区
- Year and Date
  2009-07-02
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] 三次元環境での無線センサネットワークにおける省電力性を考慮したイベント検出2009
- Author(s)
  鳥海晋, 清雄一, 本位田真一
- Organizer
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Efficient & Flexible Rout ing in Wireless Sensor Networks with Self Organizing Transaction Cluster Heads2009
- Author(s)
  Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden
- Organizer
  Self-Organization in Pervasive Distributed Systems (SOPDS 2009)
- Place of Presentation
  Honolulu, Hawaii, USA
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Education Course of Practical Model Checking2008
- Author(s)
  Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
- Organizer
  First International Workshop on Formal Methods Education and Training
- Place of Presentation
  北九州市(日本)
- Year and Date
  2008-10-28
- Data Source
  KAKENHI-PROJECT-19500035
[Presentation] 通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案2008
- Author(s)
  中里彦俊, 中村善行, 鄭顕志, 深潭良彰, 本位田真一
- Organizer
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] センサーネットワークにおける耐故障性を考慮したデータ集約2008
- Author(s)
  金木陽一, 清雄一, 本位田真一
- Organizer
  合同エージェントワークショップ&シンポジウム(JAwS2008)
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Energy-Efficient Event Detection in 3D Wireless Sensor Networks2008
- Author(s)
  Susumu Toriumi, Yuichi Sei, Shinichi Honiden
- Organizer
  1st. IFIP Wireless Days Conference 2008
- Place of Presentation
  United Arab Emirates
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2008
- Author(s)
  高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2008)
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Transparent Application Lifetime Management in Wireless Sensor Networks2008
- Author(s)
  Eric Platon, Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
- Organizer
  Demo Track of the 10th International Conference on Ubiquitous Computing (Ubi Comp 2008)
- Place of Presentation
  Seoul, South Korea
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Education Course of Practical Model Checking2008
- Author(s)
  Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
- Organizer
  First International Workshop on Formal Methods Education and Training (FMET) 2008
- Place of Presentation
  Kitakyushu-City, Japan, (福岡)
- Year and Date
  2008-10-28
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築2008
- Author(s)
  鄭顕志, 深深良彰, 本位田真一
- Organizer
  第15回ソフトウェア工学の基礎ワークショップ予稿集(FOSE2008)
- Place of Presentation
  神奈川県足柄下郡
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] コンポーネントモデルを用いたJADE実装手法の提案2008
- Author(s)
  中川博之, 大須賀昭彦, 本位田真一
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2008)
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks2008
- Author(s)
  Shunichiro Suenaga, Shinichi Honiden
- Organizer
  Second International Workshop on Agent Technology for Sensor Networks (ATSN-08)
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-13
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks2008
- Author(s)
  Yuichi Sei, Shinichi Honiden
- Organizer
  The Fourth International Wireless Internet Conference (WICON 2008)
- Place of Presentation
  Maui, Hawaii, USA
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems2008
- Author(s)
  Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  The 12th IEEE International EDOC Conference (EDOC 2008)
- Place of Presentation
  Munchen, Germany
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Model Checking Process with Goal Oriented Requirements analysis2008
- Author(s)
  Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
- Organizer
  15th Asia-Pacific Software Engineering Conference (APSEC 2008)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 無線センサネットワークによるイベント領域予測のためのイベント境界の変化量抽出2008
- Author(s)
  鳥海晋, 本位田真一
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2008)
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] On agent-friendly aggregation in networks2008
- Author(s)
  Christian Sommer, S.Honiden
- Organizer
  ATSN-08
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-13
- Data Source
  KAKENHI-PROJECT-20300008
[Presentation] On agent-friendly aggregation in networks2008
- Author(s)
  Christian Sommer, Shinichi Honiden
- Organizer
  Second International Workshop on Agent Technology for Sensor Networks (ATSN-08)
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-13
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 開発プロセスにおけるセキュリティ関心事の分離に向けて2008
- Author(s)
  田原康之、吉岡信和、田口研治、本位田真一
- Organizer
  ウインターワークショップ2008・イン・道後
- Place of Presentation
  愛媛大学
- Year and Date
  2008-01-24
- Data Source
  KAKENHI-PROJECT-19500035
[Presentation] Name-based Location Service for Mobile Agents in Wireless Sensor Networks2008
- Author(s)
  Shunichiro Suenaga, Shinichi Honiden
- Organizer
  First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2008)
- Place of Presentation
  Innsbruck, Austria
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 無線センサーネットワークの複製ノート検知における報告ノード決定手法の提案2008
- Author(s)
  清雄一, 本位田真一
- Organizer
  合同エージェントワークショップ&シンポジウム(JAWS2008)
- Place of Presentation
  東京都文京区
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 分散配列 : 連番アイテムに適したP2P分散データ構造2008
- Author(s)
  福地大輔, 清雄一, 本位田真一
- Organizer
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Region-based Sensor Selection for Wireless Sensor Networks2008
- Author(s)
  Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  The IEEE International Workshop on Ad Hoc and Ubiquitous Computing (AHUC 2008)
- Place of Presentation
  Taichung, Taiwan
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Energy-Efficient Event Detection in 3D Wireless Sensor Networks2008
- Author(s)
  Susumu Toriumi, Yuichi Sei, Shinichi Honiden
- Organizer
  the 1st. IFIP Wireless Days Conference 2008
- Place of Presentation
  United Arab Emirates
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御2008
- Author(s)
  石川冬樹, 清雄一, 吉岡信和, 本位田真一
- Organizer
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 開発プロセスにおけるセキュリティ関心事の分離に向けて2008
- Author(s)
  田原康之, 吉岡信和, 田口研治, 海谷治彦, 本位田真一
- Organizer
  ウインターワークショップ2008・イン・道後
- Place of Presentation
  松山市(日本)
- Year and Date
  2008-01-24
- Data Source
  KAKENHI-PROJECT-19500035
[Presentation] An Efficient Node Selection Metric for In-network Process Deployment2008
- Author(s)
  Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  The Fourth International Wireless Internet Conference (WICON 2008)
- Place of Presentation
  Maui, Hawaii, USA
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Transparent Application Lifetime Management in Wireless Sensor Networks2008
- Author(s)
  Eric Platon Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
- Organizer
  Demo Track of the 10th International Conference on Ubiquitous Computing (UbiComp 2008)
- Place of Presentation
  Seoul, South Korea
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Region-based Sensor Selection for Wireless Sensor Networks2008
- Author(s)
  Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] 無線センサネットワークにおける省資源性を考慮したセンサセレクション手法2008
- Author(s)
  中村善行, 鄭顕志, 深澤良彰, 本位田真一
- Organizer
  マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
- Place of Presentation
  北海道札幌市
- Data Source
  KAKENHI-PROJECT-19200003
[Presentation] Fast Wide Area Live Migration with a Low Overhead through Page Cache Teleportation
- Author(s)
  Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
- Organizer
  The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'13)
- Place of Presentation
  Delft, Netherlands
- Year and Date
  2013-05-13 – 2013-05-16
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case
- Author(s)
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  the 11th International Conference Applied Computing 2014 (AC 2014)
- Place of Presentation
  Porto, Portugal
- Year and Date
  2014-10-25 – 2014-10-27
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
- Author(s)
  Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
- Organizer
  The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)
- Place of Presentation
  Paris, France
- Year and Date
  2014-05-05 – 2014-05-09
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Evaluating Impact of Live Migration on Data Center Energy Saving
- Author(s)
  Soramichi Akiyama, Takahiro Hirofuchi and Shinichi Honiden
- Organizer
  6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014)
- Place of Presentation
  Singapore, Singapore
- Year and Date
  2014-12-15 – 2014-12-18
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy
- Author(s)
  Shengbo Xu, Yuki Inoue, Tetsunari Inamura, Hirotaka Moriguchi, Shinichi Honiden
- Organizer
  The 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2014)
- Place of Presentation
  Paris, France
- Year and Date
  2014-05-05 – 2014-05-09
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] Mutation Analysis for JavaScript Web Applications Testing
- Author(s)
  Kazuki Nishiura, Yuta Maezawa, Hironori Washizaki and Shinichi Honiden
- Organizer
  The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13)
- Place of Presentation
  Boston, USA
- Year and Date
  2013-06-27 – 2013-06-29
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
- Author(s)
  Soramichi Akiyama, Takahiro Hirofuchi, Ryousei Takano and Shinichi Honiden
- Organizer
  The 2014 IEEE 7th International Conference on Cloud Computing (IEEE CLOUD'14)
- Place of Presentation
  Alaska, USA
- Year and Date
  2014-06-27 – 2014-07-02
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Understanding and Planning Event-B Refinement through Primitive Rationales
- Author(s)
  Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
- Organizer
  The 4th International ABZ 2014 Conference
- Place of Presentation
  Toulouse, France
- Year and Date
  2014-06-02 – 2014-06-06
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Automated Verification of Pattern-based Interaction Invariants in Ajax Applications
- Author(s)
  Yuta Maezawa, Hironori Washizaki, Yoshinori Tanabe and Shinichi Honiden
- Organizer
  The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13)
- Place of Presentation
  Silicone Valley, USA
- Year and Date
  2013-11-11 – 2013-11-15
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks
- Author(s)
  Valentina Baljak, Kenji Tei, and Shinichi Honiden
- Organizer
  IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013)
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2013-04-02 – 2013-04-05
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Validating Ajax Applications Using a Delay-Based Mutation Technique
- Author(s)
  Yuta Maezawa, Kazuki Nishiura, Hironori Washizaki, Shinichi Honiden
- Organizer
  The 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
- Place of Presentation
  Vasteras, Sweden
- Year and Date
  2014-09-15 – 2014-09-19
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
- Author(s)
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  The 2014 International Conference on Smart Computing (SMARTCOMP 2014)
- Place of Presentation
  Hong Kong, China
- Year and Date
  2014-11-03 – 2014-11-05
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case
- Author(s)
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  the 11th International Conference Applied Computing 2014 (AC 2014)
- Place of Presentation
  Porto, Portugal
- Year and Date
  2014-10-25 – 2014-10-27
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Toward A Portability Framework with Multi-Level Models for Wireless Sensor Network Software
- Author(s)
  Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
- Organizer
  The 2014 International Conference on Smart Computing (SMARTCOMP 2014)
- Place of Presentation
  Hong Kong, China
- Year and Date
  2014-11-03 – 2014-11-05
- Data Source
  KAKENHI-PROJECT-26330098
[Presentation] ArbitCheck: a highly automated property-based testing tool for Java
- Author(s)
  Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
- Organizer
  IEEE International Conference on Software Testing, Verification and Validation
- Place of Presentation
  Cleveland, USA
- Year and Date
  2014-03-31 – 2014-04-04
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
- Author(s)
  Shengbo Xu, Hirotaka Moriguchi and Shinichi Honiden
- Organizer
  2013 IEEE Congress on Evolutionary Computation (CEC' 13)
- Place of Presentation
  Cancun, Mexico
- Year and Date
  2013-06-20 – 2013-06-23
- Data Source
  KAKENHI-PROJECT-24240003
[Presentation] Towards Refinement Strategy Planning for Event-B
- Author(s)
  Tsutomu Kobayashi and Shinichi Honiden
- Organizer
  Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B'12) in conjunction with ICFEM
- Place of Presentation
  Kyoto, Japan
- Data Source
  KAKENHI-PROJECT-24240003

1. TEI Kenji (40434295)

# of Collaborated Projects: 6 results

# of Collaborated Products: 63 results
2. ISHIKAWA Fuyuki (50455193)

# of Collaborated Projects: 5 results

# of Collaborated Products: 18 results
3. IIJIMA Tadashi (20245608)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. YOSHIOKA Nobukazu (20390601)

# of Collaborated Projects: 3 results

# of Collaborated Products: 16 results
5. MURATA Tsuyoshi (90242289)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. FUKAZAWA Yoshiaki (20165252)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TAHARA Yasuyuki (30390602)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
8. OHSUGA Akihiko (90393842)

# of Collaborated Projects: 1 results

# of Collaborated Products: 12 results
9. MATSUMOTO Kazunori (40350673)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. KAWAMURA Takahiro (10426653)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. ICHISE Ryutarou (00332156)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. TAKEDA Hideaki (80252831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. HOSOBE Hiroshi (60321577)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. Suenaga Shunichiro (20530976)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 胡振江 (50292769)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. OHMAKI Kazuhito

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. ISOBE Yoshinao

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 深沢良彰

# of Collaborated Projects: 0 results

# of Collaborated Products: 12 results

HONIDEN Shinichi 本位田 真一

本位田 真一 ホンイデン シンイチ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Multi-view Models@run.time FrameworkPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Models@run.time for software tolerant to unforseen changes in the environmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A middleware for open wireless sensor networksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Development Methodologies and a Supportive Environment for Grid-based ServicesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

仕様/環境の変化に対応するソフトウェアのためのエージェント指向開発方法論の構築Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research for Developing Knowledge Symbiosis Models for Network Distributed Knowledge SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

HONIDEN Shinichi 本位田真一

本位田真一ホンイデンシンイチ