• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

本位田 真一  HONIDEN Shinichi

ORCIDORCID連携する *注記
研究者番号 70332153
その他のID
外部サイト
所属 (現在) 2025年度: 国立情報学研究所, 大学共同利用機関等の部局等, 教授
所属 (過去の研究課題情報に基づく) *注記 2017年度 – 2022年度: 早稲田大学, 理工学術院, 教授(任期付)
2016年度 – 2018年度: 国立情報学研究所, 大学共同利用機関等の部局等, 教授
2012年度 – 2017年度: 国立情報学研究所, アーキテクチャ科学研究系, 教授
2006年度 – 2010年度: 国立情報学研究所, アーキテクチャ科学研究系, 教授
2003年度 – 2005年度: 国立情報学研究所, 知能システム研究系, 教授
2003年度: 国立情報学研究所, 知能システム研究所, 教授
2001年度: 国立情報学研究所, 知能システム研究系, 教授
審査区分/研究分野
研究代表者
ソフトウエア / ソフトウェア / 理工系
研究代表者以外
ソフトウェア / ソフトウエア / 小区分60050:ソフトウェア関連 / 社会システム工学・安全システム / 情報システム学(含情報図書館学) / 知能情報学
キーワード
研究代表者
ソフトウェア工学 / 自己適応ソフトウェア / 環境モデル学習 / 自己適応システム / ミドルウェア / エージェント / 協調プランニング / 離散制御器合成 / Graceful Degradation / 実行時モデル … もっと見る / 制御器合成 / 実行時モデリング / policy / ubiquitous computing / software service / software development / agent / グリッド / ポリシ / サービス / グリット / ポリシー / ユビキタス環境 / ソフトウェアサービス / ソフトウェア開発 / ソフトウェア検証 / ソフトウェア設計 / ソフトウェア分析 / ソフトウェア進化 / 空間制御ソフトウェア / ソフトウェア開発プロセス / モデル検査 / ソフトウェアアーキテクチャ / ゴール指向要求分析 / 無線センサーネットワーク / ペトリネット / 義務論理 / 競合解消 / 情報システム / 進化型アーキテクチャ / セキュリティポリシ / 開発方法論 … もっと見る
研究代表者以外
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 / コミュニティ / オントロジー / インターネット / 知識共生 / センサデータ / センサーネットワーク / 自己修復 / アスペクトエージェント / 関係エージェント / 構造エージェント / ミドルウェア / ユビキタス・アプリケーション / ユビキタス・ネットワーク / オープン性 / ネットワーク / センサー / ソフトウェア検証 / ソフトウェア学 / 計算機システム 隠す
  • 研究課題

    (15件)
  • 研究成果

    (253件)
  • 共同研究者

    (18人)
  •  想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク

    • 研究代表者
      鄭 顕志
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      早稲田大学
  •  保証付き多段階システムモデルの柔軟・継続的な洗練・進化

    • 研究代表者
      石川 冬樹
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立情報学研究所
  •  しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2017 – 2021
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウェア
    • 研究機関
      早稲田大学
  •  想定に漏れた環境変化に耐えるソフトウェアを実現する実行時モデル更新技術研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2016 – 2017
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウェア
    • 研究機関
      国立情報学研究所
  •  プロジェクトマネジメントの手法を用いた電気自動車のドライバの運行支援

    • 研究代表者
      末永 俊一郎
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      社会システム工学・安全システム
    • 研究機関
      国立情報学研究所
  •  実行時ゴールモデル追跡による想定外の検出

    • 研究代表者
      石川 冬樹
    • 研究期間 (年度)
      2015 – 2016
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      ソフトウェア
    • 研究機関
      国立情報学研究所
  •  センサネットワークにおけるセンサデータの自己修復に関する研究

    • 研究代表者
      鄭 顕志
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      国立情報学研究所
  •  想定外に備えた空間制御ソフトウェアの分析・設計・検証手法研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立情報学研究所
  •  ユビキタス・アプリケーション開発を支援するマルチエージェントミドルウェアの研究

    • 研究代表者
      大須賀 昭彦
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      電気通信大学
  •  オープン無線センサーネットワークのためのミドルウェアに関する研究研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立情報学研究所
  •  モデル検査による設計モデル検証プロセスの研究

    • 研究代表者
      田原 康之
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      電気通信大学
      国立情報学研究所
  •  不特定多数の計算機を利用したサービス提供のためのソフトウェア開発方法論と支援環境研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2003 – 2006
    • 研究種目
      基盤研究(A)
    • 研究分野
      ソフトウエア
    • 研究機関
      国立情報学研究所
  •  仕様/環境の変化に対応するソフトウェアのためのエージェント指向開発方法論の構築研究代表者

    • 研究代表者
      本位田 真一
    • 研究期間 (年度)
      2001
    • 研究種目
      特定領域研究(C)
    • 審査区分
      理工系
    • 研究機関
      国立情報学研究所
  •  ネットワーク分散知識システムのための知識共生モデルの構築に関する研究研究代表者

    • 研究代表者
      村田 剛志, 本位田 真一
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  進化型エージェントアーキテクチャによる組織構造に基づいたセキュリティの実現

    • 研究代表者
      飯島 正
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報システム学(含情報図書館学)
    • 研究機関
      慶應義塾大学

すべて 2022 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 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

    • 著者名/発表者名
      Kenji Tei, Shunichiro Suenaga, Yoshiyuki Nakamura, Yuichi Sei, Hikotoshi Nakazato, Yoichi Kaneki, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
    • データソース
      KAKENHI-PROJECT-19200003
  • [図書] SPINによる設計モデル検証2008

    • 著者名/発表者名
      吉岡信和、青木利晃、田原康之(著)、萩谷昌己(監修)、本位田真一(シリーズ監修)
    • 出版者
      近代科学社
    • データソース
      KAKENHI-PROJECT-19500035
  • [図書] ソフトウェア科学基礎2008

    • 著者名/発表者名
      磯部祥尚、粂野文洋、櫻庭健年、田口研治、田原康之(著)、田中譲(監修)、本位田真一(シリーズ監修)
    • 出版者
      近代科学社
    • データソース
      KAKENHI-PROJECT-19500035
  • [雑誌論文] 高信頼なミューテーションテストのためのエラー指向のミュータント削減手法とミュータント重み付け2020

    • 著者名/発表者名
      徳本 晋、本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 61 号: 4 ページ: 945-956

    • DOI

      10.20729/00204245

    • NAID

      170000181837

    • 年月日
      2020-04-15
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00732
  • [雑誌論文] 違反状態抽象化による保証可能な安全性特定のための分析空間削減2020

    • 著者名/発表者名
      相澤 和也、鄭 顕志、本位田 真一
    • 雑誌名

      電子情報通信学会論文誌D 情報・システム

      巻: J103-D 号: 4 ページ: 238-246

    • DOI

      10.14923/transinfj.2019PDP0018

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2020-04-01
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
  • [雑誌論文] 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム2020

    • 著者名/発表者名
      相澤 和也、鄭 顕志、本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 61 号: 4 ページ: 853-862

    • DOI

      10.20729/00204236

    • NAID

      170000181828

    • 年月日
      2020-04-15
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
  • [雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019

    • 著者名/発表者名
      田邉 萌香, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60(10) ページ: 1617-1630

    • NAID

      170000180524

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03225
  • [雑誌論文] Change Impact Analysis for Refinement-Based Formal Specification2019

    • 著者名/発表者名
      SARUWATARI Shinnosuke、ISHIKAWA Fuyuki、KOBAYASHI Tsutomu、HONIDEN Shinichi
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E102.D 号: 8 ページ: 1462-1477

    • DOI

      10.1587/transinf.2018FOP0006

    • NAID

      130007686433

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2019-08-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03229
  • [雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019

    • 著者名/発表者名
      相澤 和也, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60(4) ページ: 1025-1039

    • NAID

      170000150279

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18H03225
  • [雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019

    • 著者名/発表者名
      田邉 萌香, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60 (10) ページ: 1617-1630

    • NAID

      170000180524

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00732
  • [雑誌論文] Change Impact Analysis for Refinement-based Formal Specification2019

    • 著者名/発表者名
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: To Appear

    • NAID

      130007686433

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01727
  • [雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019

    • 著者名/発表者名
      相澤 和也, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60 (4) ページ: 1025-1039

    • NAID

      170000150279

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H00732
  • [雑誌論文] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      Formal Aspects of Compupting

      巻: Preprint 号: 3 ページ: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01727, KAKENHI-PROJECT-17H07323, KAKENHI-PROJECT-17H00732, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-18H03229
  • [雑誌論文] Dynamic Update of Discrete Event Controllers2018

    • 著者名/発表者名
      L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
    • 雑誌名

      IEEE Transactions on Software Engineering (TSE)

      巻: - 号: 11 ページ: 1220-1240

    • DOI

      10.1109/tse.2018.2876843

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03229, KAKENHI-PROJECT-18H03340, KAKENHI-PROJECT-18H03225, KAKENHI-PROJECT-17H00732
  • [雑誌論文] Model-Driven-Development-based Stepwise Software Development Process for Wireless Sensor Networks2015

    • 著者名/発表者名
      Kenji Tei, Ryo Shimizu, Yoshiaki Fukazawa, Shinichi Honiden
    • 雑誌名

      IEEE Transactions on Systems, Man, and Cybernetics: Systems

      巻: 45 (4) 号: 4 ページ: 675-687

    • DOI

      10.1109/tsmc.2014.2360506

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003, KAKENHI-PROJECT-25280026, KAKENHI-PROJECT-26330098
  • [雑誌論文] SanGA: A Self-adaptive Network-aware Approach to Service Composition2014

    • 著者名/発表者名
      Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      IEEE Transactions on Services Computing

      巻: 7 (3) 号: 3 ページ: 452-464

    • DOI

      10.1109/tsc.2013.2

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出2014

    • 著者名/発表者名
      姜 帆, 田辺 良則, 本位田 真一
    • 雑誌名

      電子情報通信学会論文誌

      巻: J97-D(3) ページ: 625-634

    • NAID

      110009804350

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] 無線センサネットワークにおけるデータ品質改善の為の開発プロセス2014

    • 著者名/発表者名
      清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
    • 雑誌名

      電子情報通信学会論文誌

      巻: J97-D(3) ページ: 473-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] インタラクションに着目したステートマシン抽出による Rich Internet Applications の欠陥発見の支援2013

    • 著者名/発表者名
      前澤 悠太,鷲崎 弘宜,本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.54(No.2) ページ: 820-834

    • NAID

      110009537080

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] SanGA: A Self-adaptive Network-aware Approach to Service Composition2013

    • 著者名/発表者名
      Adrian Klein, Fuyuki Ishikawa and Shinichi Honiden
    • 雑誌名

      IEEE Transactions on Services Computing

      巻: to appear

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] 参照整合性の検証のためのUML Activity解析方法2013

    • 著者名/発表者名
      井上 拓,本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.54(No.2) ページ: 774-786

    • NAID

      110009537076

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] 照合操作の識別のためのOCL記述の解析方法2013

    • 著者名/発表者名
      井上 拓,本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.54(No.3) ページ: 1165-1184

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] Faults in Sensory Readings: Classification and Model Learning2013

    • 著者名/発表者名
      Valentina Baljak, Tei Kenji, Shinichi Honiden
    • 雑誌名

      Sensors & Transducers Journal

      巻: 18 ページ: 177-187

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法2012

    • 著者名/発表者名
      中川 博之,大須賀 昭彦,本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53(No.10) ページ: 2328-2344

    • NAID

      110009464383

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study2012

    • 著者名/発表者名
      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
    • 雑誌名

      Procedia Computer Science

      巻: 10 ページ: 30-37

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240003
  • [雑誌論文] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011

    • 著者名/発表者名
      石川冬樹, 山本佳代子, 本位田真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.52, No.3 ページ: 220-232

    • NAID

      110007891072

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 物理的相互作用に着目した,スマート空間の形式仕様記述と検証2011

    • 著者名/発表者名
      石川冬樹, 山本佳代子, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.52, No.3

      ページ: 220-232

    • NAID

      110007891072

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 経路情報を用いた複数タスクへのセンサ割当2011

    • 著者名/発表者名
      鳥海晋, 本位田真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.52, No.3 ページ: 1091-1101

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 経路情報を用いた複数タスクへのセンサ割当2011

    • 著者名/発表者名
      鳥海晋, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.52, No.3

      ページ: 1091-1101

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] ビヘイビア記述に基づく自己適応システム実装フレームワークの提案2011

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      人工知能学会論文誌 Vol.26, No.1

      ページ: 1-12

    • NAID

      130000455349

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] ビヘイビア記述に基づく自己適応システム実装フレームワークの提案2011

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      人工知能学会論文誌

      巻: Vol.26, No.1 ページ: 1-12

    • NAID

      130000455349

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Suppressing Redundancy in Wireless Sensor Network Traffic2010

    • 著者名/発表者名
      Rey Abe, Shinichi Honiden
    • 雑誌名

      In Proceedings of DCOSS 2010, 6th IEEE International Conference on Distributed Computing in Sensor Systems

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010

    • 著者名/発表者名
      K.i Tei, H. Nakazato, Y.Fukazawa, S.Honiden
    • 雑誌名

      Proc. of WEA-CPS'10 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 組み合わせQoSを考慮した自動サービス合成に関する研究2010

    • 著者名/発表者名
      渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
    • 雑誌名

      ウィンターワークショップ・イン・倉敷2010論文集 2010

      ページ: 71-72

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Cooperative Behaviors Description for Self-* Systems Implementation2010

    • 著者名/発表者名
      Nakagawa H., Ohsuga,A., Honiden S.
    • 雑誌名

      Proc. of PAAMS 10 Vol.2010

      ページ: 69-74

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 書換え論理に基づくアスペクト指向ソフトウェアの形式モデル2010

    • 著者名/発表者名
      田原康之, 大須賀昭彦, 本位田真一
    • 雑誌名

      ウィンターワークショップ・イン・倉敷2010論文集 2010

      ページ: 127-128

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Cooperative Behaviors Description for Self Systems Implementation2010

    • 著者名/発表者名
      Nakagawa, H., Ohsuga, A., Honiden, S.
    • 雑誌名

      Proc.of the 8th International Conference on Practical Applications of Agents and Multi-Agent Systems(PRAMS 10)

      巻: 2010 ページ: 69-74

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy2010

    • 著者名/発表者名
      A.Klein, F.Ishikawa, S.Honiden
    • 雑誌名

      Proc. of ICSOC 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Service-oriented middleware for dynamic management of heterogeneous sensing devices2010

    • 著者名/発表者名
      L.Gurgen, J.Nystrom-Persson, A.Cherbal, C.Labbe, C.Roncancio, S.Honiden
    • 雑誌名

      Proc. of ICPS 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Adaptive Geographic Routing in Wireless Sensor Networks2010

    • 著者名/発表者名
      Rey Abe, Shinichi Honiden
    • 雑誌名

      In Proceedings of the 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems(MSWiM 2010)

      巻: 2010 ページ: 9-9

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Adaptive Geographic Routing in Wireless Sensor Networks2010

    • 著者名/発表者名
      R.Abe, S.Honiden
    • 雑誌名

      Proc. of MSWiM 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Planning with Utilities and State Trajectory Constraints for Self-Healingin Automotive System2010

    • 著者名/発表者名
      Benjamin H-opper, Jan Meyer, Matthias Tichy, Shinichi Honiden
    • 雑誌名

      In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Service-oriented middleware for dynamic management of heterogeneous sensing devices2010

    • 著者名/発表者名
      Levent Gurgen, Johan Nystrom-Persson, Amin Cherbal, Cyril Labbe, Claudia Roncancio, Shinichi Honiden
    • 雑誌名

      In proceedings of the 7th ACM International Conference on Pervasive Services(ICPS 2010)

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Service Composition with Pareto-Optimality of Mme-Dependent QoS Attributes2010

    • 著者名/発表者名
      Benjamin H-opper, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      In proceedings of the 8th International Conferenceon Service-Oriented Computing(ICSOC 2010)

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Planning with Utilities and State Trajectory Constraints for Self-Healing in Automotive System2010

    • 著者名/発表者名
      B.Klopper, J.Meyer, M.Tichy, S.Honiden
    • 雑誌名

      Proc. of SASO 2010 Vol. 2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] プロセス間競合を考慮した自己適応システムの形式仕様構築2010

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.51, No.9 ページ: 1751-1764

    • NAID

      110007970777

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds2010

    • 著者名/発表者名
      V.Baljak, S.Honiden
    • 雑誌名

      Proc. of SENSORCOMM 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Suppressing Redundancy in Wireless Sensor Network Traffic2010

    • 著者名/発表者名
      R.Abe, S.Honiden
    • 雑誌名

      Proc. of DCOSS 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] サービス設計における付随機能の考慮によるQoSの向上2010

    • 著者名/発表者名
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • 雑誌名

      ウィンターワークショップ・イン・倉敷2010論文集 2010

      ページ: 67-68

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy2010

    • 著者名/発表者名
      Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      In proceedings of the 8th International Conferenceon Service-Oriented Computing(ICSOC 2010)

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes2010

    • 著者名/発表者名
      B.Klopper, F.Ishikawa, S.Honiden
    • 雑誌名

      Proc. of ICSOC 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 同種サービスの複数利用を考慮した効率的なサービス候補の構築2010

    • 著者名/発表者名
      平塚信明, 石川冬樹, 本位田真一
    • 雑誌名

      合同エージェントワークショップ&シンポジウム2010(JAWS-2010)論文集

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ2010

    • 著者名/発表者名
      片渕聡, 鄭顕志, 高橋竜一, 石川冬樹, 深澤良彰, 本位田真一
    • 雑誌名

      ウィンターワークショップ・イン・倉敷2010論文集 2010

      ページ: 75-76

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Discovery of Configurations for Indoor Wireless Sensor Networks Through Use of Simulation in Virtual Worlds2010

    • 著者名/発表者名
      Valentina Baljak, Shinichi Honiden
    • 雑誌名

      In proceedings of the Fourth International Conference on Sensor Technologies and Applications(SENSORCOMM 2010)

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Business Semantics Centric Reliability Testing for Web Services in BPEL2010

    • 著者名/発表者名
      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)

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010

    • 著者名/発表者名
      Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
    • 雑誌名

      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.

      巻: 2010

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Thinking autonomic for sensing devices2010

    • 著者名/発表者名
      harrock, R., Cherbal, A., Gurgen, L., Honiden S.
    • 雑誌名

      Proc. of ICAS'10 Vol.2010

      ページ: 20-23

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Thinking autonomic for sensing devices2010

    • 著者名/発表者名
      Sharrock, R., Cherbal, A., Gurgen, L., Honiden, S.
    • 雑誌名

      Proc.Sixth International Conference on Autonomic and Autonomous Systems(ICAS'10) 2010

      ページ: 20-23

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Business Semantics Centric Reliability Testing for Web Services in BPEL2010

    • 著者名/発表者名
      Y.Wang, F.Ishikawa, S.Honiden
    • 雑誌名

      In Proc. of WS-CS-Testing 2010 Vol.2010(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] プロセス間競合を考慮した自己適応システムの形式仕様構築2010

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.51, No.9

      ページ: 1751-1764

    • NAID

      110007970777

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 無線センサネットワークにおける複数プログラムの動的配備2009

    • 著者名/発表者名
      末永俊一郎, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.50,No.1

      ページ: 14-30

    • NAID

      110007970301

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] Specifying and Checking Refinement Relationships in VDM++2009

    • 著者名/発表者名
      Kawamata, Y., Sommer, C., Ishikawa, F., Honiden, S.
    • 雑誌名

      Proc.7th IEEE International Conference on Software Engineering and Formal Methods(SEFM2009) 2009

      ページ: 220-227

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Distributed Arrays : A P2P Data Structure for Efficient Logical Arrays2009

    • 著者名/発表者名
      Fukuchi, D., Sommer, C., Sei,Y., Honiden S.
    • 雑誌名

      Proc. of IEEE INFOCOM 2009 Vol.2009

      ページ: 1458-1466

    • NAID

      110007970367

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009

    • 著者名/発表者名
      Ishikawa, F., Suleiman, B., Yamamoto, K., Honiden, S.
    • 雑誌名

      Proc.ACM International Conference on Pervasive Services(ICPS2009) 2009

      ページ: 133-140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Specifying and Checking Refinement Relationships in VDM++2009

    • 著者名/発表者名
      Kawamata, Y., Sommer, C., Ishikawa F., Honiden S.
    • 雑誌名

      Proc. of SEFM2009 Vol.2009

      ページ: 220-227

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 Vol.J92-B

      ページ: 678-688

    • NAID

      110007379700

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Distributed Arrays : A P2P Data Structure for Efficient Logical Arrays2009

    • 著者名/発表者名
      Fukuchi, D., Sommer, C., Sei, Y., Honiden, S.
    • 雑誌名

      Proc.28th Conference on Computer Communications 2009

      ページ: 1458-1466

    • NAID

      110007970367

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2009

    • 著者名/発表者名
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • 雑誌名

      電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」 J92-D

      ページ: 1827-1839

    • NAID

      110007467224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2009

    • 著者名/発表者名
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • 雑誌名

      電子情報通信学会論文誌 Vol.J92-D

      ページ: 1827-1839

    • NAID

      110007467224

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Plug & Manage Heterogeneous Sensing Devices2009

    • 著者名/発表者名
      Gurgen, L., Nystrom-Persson, J., Cherbal, A., Labbe, C., Roncancio, C., Honiden S.
    • 雑誌名

      Proc. of DMSN'09 Vol.2009

      ページ: 3-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Group Migration by Mobile Agents in Wireless Sensor Networks2009

    • 著者名/発表者名
      Suenaga, S., Yoshioka, N., Honiden S.
    • 雑誌名

      The Computer Journal, Oxford University Press Vol.2009(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Plug&Manage Heterogeneous Sensing Devices2009

    • 著者名/発表者名
      Gurgen, L., Nystrom-Persson, J., Cherbal, A., Labbe, C., Roncancio, C., Honiden, S.
    • 雑誌名

      Proc.6th International Workshop on Data Management for Sensor Networks(DMSN'09) 2009

      ページ: 3-4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Physical Interaction in Pervasive Computing : Formal Modeling, Analysis and Verification2009

    • 著者名/発表者名
      Ishikawa F., Suleiman, B., Yamamoto, K., Honiden S.
    • 雑誌名

      Proc. of ICPS2009 Vol.2009

      ページ: 133-140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長2009

    • 著者名/発表者名
      鳥海晋, 清雄一, 末永俊一郎, 鄭顕志, 本位田真一
    • 雑誌名

      マルチメディア,分散,協調とモバイルシンポジウム(DICOMO2009)論文集 2009

      ページ: 1587-1591

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] ゴール指向要求分析を用いたself-adaptiveシステムの構築2009

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.50

      ページ: 2500-2513

    • NAID

      110007970531

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」 J92-B

      ページ: 678-688

    • NAID

      110007379700

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 無線センサーネットワークにおける不正メッセージ作成元ノードの検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.50,No.2

      ページ: 787-797

    • NAID

      110007970372

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] ゴール指向要求分析を用いたself-adaptiveシステムの構築2009

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 雑誌名

      情報処理学会論文誌 50

      ページ: 2500-2513

    • NAID

      110007970531

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援2009

    • 著者名/発表者名
      山本佳代子, 石川冬樹, 本位田真一
    • 雑誌名

      第8回 合同エージェントワークショップ&シンポジウム2009(JAWS2009)論文集 2009

      ページ: 620-626

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Group Migration by Mobile Agents in Wireless Sensor Networks2009

    • 著者名/発表者名
      Suenaga, S., Yoshioka, N., Honiden, S.
    • 雑誌名

      The Computer Journal, Oxford University Press 2009(オンライン)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌「ネットワークを支えるソフトウェア技術特集」 J92-B

      ページ: 689-699

    • NAID

      110007379701

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 Vol.92-B,No.4

      ページ: 689-699

    • NAID

      110007379701

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける複製ノードの分散検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 Vol.J92-B

      ページ: 689-699

    • NAID

      110007379701

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 多数のノード取得攻撃に対応した無線センサーネットワークにおける不正イベントの検知2009

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 Vol.92-B,No.4

      ページ: 678-688

    • NAID

      110007379700

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2008

    • 著者名/発表者名
      鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      日本ソフトウェア科学会 Vol. 25, No. 4

      ページ: 121-132

    • NAID

      130004892114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] 分散配列 : 効率的な論理配列を実現するP2Pデータ構造2008

    • 著者名/発表者名
      福地大輔, Christian Sommer, 清雄一, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol. 50, No. 2

      ページ: 721-736

    • NAID

      110007970367

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向2008

    • 著者名/発表者名
      鄭顕志, 中川博之, 川俣洋次郎, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      コンピュータソフトウェア Vol.25, No.4

      ページ: 121-132

    • NAID

      130004892114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 無線センサネットワークにおける複数プログラムの動的配備2008

    • 著者名/発表者名
      末永俊一郎, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol. 50, No. 1

      ページ: 14-30

    • NAID

      110007970301

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008

    • 著者名/発表者名
      石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      日本ソフトウェア科学会 Vol. 25, No. 4

      ページ: 133-144

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] ユビキタスコンピューティングにおける分散協調・連携技術の研究動向2008

    • 著者名/発表者名
      石川冬樹, 阿部玲, 高橋竜一, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      コンピュータソフトウェア Vol.25, No.4

      ページ: 133-144

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] Constructing Self-adaptive Systems Using a KAOS Model2008

    • 著者名/発表者名
      Nakagawa H., Ohsuga,A., Honiden S.
    • 雑誌名

      Proc. of SASOW 08 Vol.2008

      ページ: 132-137

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 効率の良いネットワーク内処理のためのノード選択指標の提案2008

    • 著者名/発表者名
      鄭顕志, 深澤良彰, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.49,No.6

      ページ: 1872-1884

    • NAID

      40019582573

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] 無線センサーネットワークにおけるFalse Eventの検知2008

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.49,No.2

      ページ: 628-638

    • NAID

      110006613058

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] モデル変換に基づく要求記述を利用した形式仕様記述の構築2008

    • 著者名/発表者名
      中川博之, 田口研治, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.49, No.7

      ページ: 2304-2318

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008

    • 著者名/発表者名
      鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      コンピュータソフトウェア Vol.25, No.4

      ページ: 11-19

    • NAID

      110006990882

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300008
  • [雑誌論文] 無線センサーネットワークにおける不正メッセージ作成元ノードの検知2008

    • 著者名/発表者名
      清雄一, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol. 50, No. 2

      ページ: 787-797

    • NAID

      110007970372

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] 適応エージェントのためのユビキタスコンピューティングミドルウェア2008

    • 著者名/発表者名
      鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      日本ソフトウェア科学会 Vol. 25, No. 4

      ページ: 11-19

    • NAID

      110006990882

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19200003
  • [雑誌論文] Adoption of Process-based Service Composition to Pervasive Computing2007

    • 著者名/発表者名
      Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      IPSJ Vol.48, No.42

      ページ: 1785-1798

    • NAID

      110006251451

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] プロセス記述によるサービス合成のパーベイシブコンピューティングヘの適用2007

    • 著者名/発表者名
      石川冬樹, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 48・4

      ページ: 1785-1798

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Event Calculusに基づく合意を用いたモバイルエージェントの協調2007

    • 著者名/発表者名
      石川冬樹, 吉岡信和, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 J90-D-I・9(未定)

    • NAID

      110007380865

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用2007

    • 著者名/発表者名
      石川冬樹, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 48・4

      ページ: 1785-1798

    • NAID

      110006251451

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Cooperative Migration of Mobile Agents using Agreements based on Event Calculus2007

    • 著者名/発表者名
      Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Shinichi HONIDEN
    • 雑誌名

      IEICE Vol.J90-D, No.9

    • NAID

      110007380865

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Location Scope:ロケーションアウェアソフトウェア開発支援手法の提案2005

    • 著者名/発表者名
      松崎和賢, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 46・12

      ページ: 2925-2939

    • NAID

      110002973589

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Location Scope : ロケーションアウェアソフトウェア開発支援手法の提案2005

    • 著者名/発表者名
      松崎和賢, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 46・12

      ページ: 2925-2939

    • NAID

      110002973589

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Location Scope : Development Support for Location-Awareness Software2005

    • 著者名/発表者名
      Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      IPSJ Vol.46, No.12

      ページ: 2925-2939

    • NAID

      110002973589

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Framework for Synthesis of Web services and Mobile Agents2005

    • 著者名/発表者名
      Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      International Journal of Pervasive Computing and Communications (JPCC) 1・3

      ページ: 227-245

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] インタラクション記述言語IOM/T2005

    • 著者名/発表者名
      土肥 拓生, 吉岡 信和, 田原 康之, 本位田 真一
    • 雑誌名

      電子情報通信学会論文誌 J88-D1・No.9

      ページ: 1299-1311

    • NAID

      110003225319

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] A Formal Model of Mobile BPEL4WS Process2005

    • 著者名/発表者名
      Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      International Journal of Business Process Integration and Management (IJBPIM)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Mobile Agent Based Evacuation System when the Battery Runs Out : EASTER2005

    • 著者名/発表者名
      Fumihiro Kumeno, Heisuke Kaneko, Nobukazu Yoshioka, Yoshiaki Fukazawa, Shinichi Honiden
    • 雑誌名

      IEICE Vol.J88-D1, No.9

      ページ: 1388-1401

    • NAID

      120000790193

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] IOM/T : An Interaction Description Language2005

    • 著者名/発表者名
      Takuo DOI, Nobukazu YOSHIOKA, Yasuyuki TAHARA, Shinichi HONIDEN
    • 雑誌名

      IEICE Vol.J88-D1, No.9

      ページ: 1299-1311

    • NAID

      110003225319

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Hierarchy Enhanced Mobile Agent Framework and Its Multimedia Application2005

    • 著者名/発表者名
      Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Yasuyuki TAHARA, Shinichi HONIDEN
    • 雑誌名

      IEICE Vol.J88-D1, No.9

      ページ: 1402-1417

    • NAID

      110003225328

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用2005

    • 著者名/発表者名
      石川 冬樹, 吉岡 信和, 田原 康之, 本位田 真一
    • 雑誌名

      電子情報通信学会論文誌 J88-D1・No.9

      ページ: 1402-1417

    • NAID

      110003225328

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Formal Model of Mobile BPEL4WS Process2005

    • 著者名/発表者名
      Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      International Journal of Business Process Integration and Management (IJBPIM) 1・3

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] モバイルエージェントによるバッテリ切れ避難システム : EASTER2005

    • 著者名/発表者名
      粂野文洋, 金子平祐, 吉岡信和, 深潭良彰, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 J88-D1・No.9

      ページ: 1388-1401

    • NAID

      110003225327

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] モバイルエージェントによるバッテリ切れ避難システム:EASTER2005

    • 著者名/発表者名
      粂野文洋, 金子平祐, 吉岡信和, 深澤良彰, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 J88-D1・No.9

      ページ: 1388-1401

    • NAID

      110003225327

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Framework for Synthesis of Web services and Mobile Agents2005

    • 著者名/発表者名
      Fuyuki ISHIKAWA, Yasuyuki Tahara, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      International Journal of Pervasive Computing and Communications (JPCC) Vol.1, No.3

      ページ: 227-245

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] A Design Method for Secure Mobile Agent System Using Patterns2004

    • 著者名/発表者名
      Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko OHSUGA, Shinichi Honiden
    • 雑誌名

      IPSJ Vol.45, No.3

      ページ: 842-857

    • NAID

      110002712136

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] モバイルエージェントによる動的環境下のサービス利用の効率的実現手法2004

    • 著者名/発表者名
      松崎和賢, 吉岡信和, 本位田真一
    • 雑誌名

      人工知能学会誌 Vol.19 No.4

      ページ: 311-321

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Design and Application of Agent Oriented Software for Ubiquitous Environment2004

    • 著者名/発表者名
      Nobukazu Yoshioka, Akihiko OHSUGA, Shinichi Honiden
    • 雑誌名

      ISCIE Vol.48, No.11

      ページ: 22-27

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] モバイルエージェントによる動的環境下のサービス利用の効率的実現手法2004

    • 著者名/発表者名
      松崎和賢, 吉岡信和, 本位田真一
    • 雑誌名

      人工知能学会誌 Vol. 19 No. 4

      ページ: 311-321

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用2004

    • 著者名/発表者名
      吉岡信和, 大須賀昭彦, 本位田真一
    • 雑誌名

      システム/制御/情報 Vol. 48 No. 11

      ページ: 22-27

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム2004

    • 著者名/発表者名
      石川冬樹, 吉岡信和, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 VOL.J87-D-I No.7

      ページ: 782-795

    • NAID

      110003171354

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] A Mobile Agent System Framework Based on Dynamic Pattern Application for Ubiquitous Network2004

    • 著者名/発表者名
      Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      IPSJ Vol.45, No.1

      ページ: 12-23

    • NAID

      110002712029

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] パターンを用いたセキュアなモバイルエージェントシステム設計法2004

    • 著者名/発表者名
      吉岡信和, 田原康之, 大須賀昭彦, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.45, No.3

      ページ: 842-857

    • NAID

      110002712136

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] The Methodology for Developing Mobile Agent Application for Ubiquitous Environment2004

    • 著者名/発表者名
      Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Honiden
    • 雑誌名

      JSAI Vol.19, No.4

      ページ: 311-321

    • NAID

      10014164568

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Webサービス連携のためのモバイルエージェント動作記述2004

    • 著者名/発表者名
      石川冬樹, 田原康之, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol.45 No.6

      ページ: 1614-1629

    • NAID

      110002712210

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム2004

    • 著者名/発表者名
      石川冬樹, 吉岡信和, 本位田真一
    • 雑誌名

      電子情報通信学会論文誌 VOL.J87-D-I NO. 7

      ページ: 782-795

    • NAID

      110003171354

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] ユビキタス環境のためのエージェント指向ソフトウェアの開発と応用2004

    • 著者名/発表者名
      吉岡信和, 大須賀昭彦, 本位田真一
    • 雑誌名

      システム/制御/情報 Vol.48 No.11

      ページ: 22-27

    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Mobile Agent System for Web Services Integration in Pervasive Network2004

    • 著者名/発表者名
      Fuyuki ISHIKAWA, Nobukazu YOSHIOKA, Shinichi HONIDEN
    • 雑誌名

      IEICE VOL.J87-D-I, NO.7

      ページ: 782-795

    • NAID

      110003171354

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] ユビキタスネットワークに対応した動的パターン適用に基づくモバイルエージェントシステム構築法2004

    • 著者名/発表者名
      吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌 Vol.45, No.1

      ページ: 12-23

    • NAID

      110002712029

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Behavior Descriptions of Mobile Agents for Web Services Integration2004

    • 著者名/発表者名
      Fuyuki ISHIKAWA, Yasuyuki Tahara, Nobukazu YOSHIOKA, Shinichi HONIDEN
    • 雑誌名

      IPSJ Vol.45, No.6

      ページ: 1614-1629

    • NAID

      110002712210

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Webサービス連携のためのモバイルエージェント動作記述2004

    • 著者名/発表者名
      石川冬樹, 田原康之, 吉岡信和, 本位田真一
    • 雑誌名

      情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol. 45 No. 6

      ページ: 1614-1629

    • NAID

      110002712210

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ2003

    • 著者名/発表者名
      吉岡信和, 田原康之, 本位田真一
    • 雑誌名

      情報処理学会論文誌 : データベース Vol.44, No.18(TOD 20)

      ページ: 45-57

    • NAID

      110002712015

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] パーベイシブ・コンピューティングのためのマルチエージェントフレームワーク : Mobeet2003

    • 著者名/発表者名
      吉岡信和, 大須賀昭彦, 本位田真一
    • 雑誌名

      電気学会論文誌C Vol.123, No.8

      ページ: 1473-1485

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] Active Contents : Flexible Contents Distribution by Mobile Agents2003

    • 著者名/発表者名
      Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
    • 雑誌名

      IPSJ, DataBase(TOD) Vol.44, No.18

      ページ: 45-57

    • NAID

      110002712015

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [雑誌論文] A Multi Agents Framework for Pervasive Computing : Mobeet Framework2003

    • 著者名/発表者名
      Nobukazu Yoshioka, Akihiko OHSUGA, Shinichi Honiden
    • 雑誌名

      IEEJ-C Vol.123, No.8

      ページ: 1473-1485

    • NAID

      10011450350

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15200003
  • [学会発表] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022

    • 著者名/発表者名
      Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden and Kenji Tei
    • 学会等名
      29th Asia-Pacific Software Engineering Conference (APSEC 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020

    • 著者名/発表者名
      Jialong Li, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] 離散制御器合成における設計誤りを特定するための反例出力手法2020

    • 著者名/発表者名
      李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一
    • 学会等名
      IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020

    • 著者名/発表者名
      Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020

    • 著者名/発表者名
      Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
    • 学会等名
      2021 IEEE 3rd Global Conference on Life Sciences and Technologies
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020

    • 著者名/発表者名
      Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
    • 学会等名
      2021 IEEE 3rd Global Conference on Life Sciences and Technologies
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Event-Bによるリファインメントのパターン最適化2020

    • 著者名/発表者名
      荒井 滉平,本位田 真一,鄭 顕志
    • 学会等名
      日本ソフトウェア科学会第37回大会
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] A Robust and Flexible Operating System Compatibility Architecture2020

    • 著者名/発表者名
      Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
    • 学会等名
      The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020

    • 著者名/発表者名
      Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020

    • 著者名/発表者名
      Jialong Li, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019

    • 著者名/発表者名
      Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)2019

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Analysis of changed game space for ensuring safety properties at runtime2019

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Analysis Space Reduction Method with Decomposing Control Problem2019

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018

    • 著者名/発表者名
      Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
    • 学会等名
      the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] Identifying safety properties guaranteed in changed environment at runtime2018

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H03225
  • [学会発表] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018

    • 著者名/発表者名
      Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
    • 学会等名
      the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Identifying safety properties guaranteed in changed environment at runtime2018

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • 著者名/発表者名
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • 学会等名
      Symposium on Dependable Software Engineering (SETTA 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01727
  • [学会発表] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • 著者名/発表者名
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • 学会等名
      3rd Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins 2017 (SETTA 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Learning Environment Model at Runtime for Self-Adaptive Systems2017

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, and Shinichi Honiden
    • 学会等名
      the 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)
    • 発表場所
      Marrakesh, Morocco
    • 年月日
      2017-04-04
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • 著者名/発表者名
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • 学会等名
      Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Extracting Traceability between Predicates in Event-B Refinement2017

    • 著者名/発表者名
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • 学会等名
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Learning environment model at runtime for self-adaptive systems2017

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      The 32nd ACM Symposium on Applied Computing (SAC2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H00732
  • [学会発表] Applicability of Earned Value Management for Deadline Energy Constrained Applications2017

    • 著者名/発表者名
      Shunichiro Suenaga, Kenji Tei and Shinichi Honiden
    • 学会等名
      2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM2017)
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Extracting Traceability between Predicates in Event-B Refinement2017

    • 著者名/発表者名
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • 学会等名
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Learning environment model at runtime for self-adaptive systems2017

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      The 32nd ACM Symposium on Applied Computing
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Extracting Traceability between Predicates in Event-B Refinement2017

    • 著者名/発表者名
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden
    • 学会等名
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H01727
  • [学会発表] Refactoring Refinement Structures of Event-B Machines2016

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • 学会等名
      The 21st International Symposium on Formal Methods (FM 2016)
    • 発表場所
      Limassol, Cyprus
    • 年月日
      2016-11-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] 階層離散制御器合成によるマルチロボットシステムの仕様生成手法2016

    • 著者名/発表者名
      Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
    • 発表場所
      岐阜,日本
    • 年月日
      2016-09-15
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] 自己適応システムのための実行時環境モデル学習手法2016

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
    • 発表場所
      岐阜,日本
    • 年月日
      2016-09-15
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] 自己適応システムのための実行時環境モデル学習手法2016

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
    • 発表場所
      岐阜
    • 年月日
      2016-09-15
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] Stepwise Refinement of Software Development Problem Analysis2016

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • 学会等名
      The 35th International Conference on Conceptual Modeling (ER 2016)
    • 発表場所
      岐阜,日本
    • 年月日
      2016-11-14
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Assured and Correct Dynamic Update of Controllers2016

    • 著者名/発表者名
      Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, and Sebastian Uchitel
    • 学会等名
      Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
    • 発表場所
      東京
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] Assured and Correct Dynamic Update of Controllers2016

    • 著者名/発表者名
      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)
    • 発表場所
      Austin, USA
    • 年月日
      2016-05-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] 合同エージェントワークショップ&シンポジウム2016 (JAWS2016)2016

    • 著者名/発表者名
      Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
    • 発表場所
      羽島,岐阜
    • 年月日
      2016-09-15
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] Automatic Generation of Potentially Pathological Instances for Validating Alloy Models2016

    • 著者名/発表者名
      Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
    • 学会等名
      International Conference on Formal Engineering Methods (ICFEM 2016)
    • 発表場所
      東京,日本
    • 年月日
      2016-11-14
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K12414
  • [学会発表] Assured and Correct Dynamic Update of Controllers2016

    • 著者名/発表者名
      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)
    • 発表場所
      Austin, USA
    • 年月日
      2016-05-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] A Goal Model Elaboration for Localizing Changes in Software Evolution2013

    • 著者名/発表者名
      Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • 学会等名
      21st IEEE International Requirements Engineering Conference (RE'13)
    • 発表場所
      Rio de Janeiro, Brasil
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Fault Classification and Model Learning from Sensory Readings - Framework for Fault Tolerance in Wireless Sensor Networks2013

    • 著者名/発表者名
      Valentina Baljak, Tei Kenji and Shinichi Honiden
    • 学会等名
      IEEE 8th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP'13)
    • 発表場所
      Melnourne, Australia
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Modeling and Analyzing Legal Interpretations for/by Requirements Engineering Approaches2012

    • 著者名/発表者名
      Fuyuki Ishikawa, Rihoko Kawai (Inoue), Shinichi Honiden
    • 学会等名
      The 6th International Workshop on Juris-informatics (JURISIN 2012)
    • 発表場所
      Miyazaki, Japan
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Efficient Neuroevolution for a Quadruped Robot2012

    • 著者名/発表者名
      Xu Shengbo, Hirotaka Moriguchi,Shinichi Honiden
    • 学会等名
      The Ninth International Conference on Simulated Evolution And Learning (SEAL 2012)
    • 発表場所
      Ha Noi, Vietnam
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops2012

    • 著者名/発表者名
      Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
    • 学会等名
      The 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)
    • 発表場所
      Lyon France
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study2012

    • 著者名/発表者名
      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
    • 学会等名
      The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
    • 発表場所
      Ontario, Canada
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Case Studies on the Development of Wireless Sensor Network Applications using Multiple Abstraction Levels2012

    • 著者名/発表者名
      Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      3rd International Workshop on Software Engineering for Sensor Network Applications (SESENA '12) in conjunction with ICSE
    • 発表場所
      Zurich, Switzerland
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution2012

    • 著者名/発表者名
      Hirotaka Moriguchi and Shinichi Honiden
    • 学会等名
      Genetic and Evolutionary Computation Conference (GECCO2012)
    • 発表場所
      Philadelphia, USA
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Classification of Faults in Sensor Readings with Statistical Pattern Recognition2012

    • 著者名/発表者名
      Valentina Baljak, Kenji Tei, and Shinichi Honiden
    • 学会等名
      The Sixth International Conference on Sensor Technologies and Applications (SENSORCOMM 2012)
    • 発表場所
      Rome, Italy
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] A Probabilistic Approach for Long-Term B2B Service Compositions2012

    • 著者名/発表者名
      Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden
    • 学会等名
      The 10th International Conference on Web Services (ICWS 2012)
    • 発表場所
      Honolulu, USA
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Multi-objective Service Composition with Time- and Input-Dependent QoS2012

    • 著者名/発表者名
      Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden
    • 学会等名
      The 10th International Conference on Web Services (ICWS 2012)
    • 発表場所
      Honolulu, USA
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案2010

    • 著者名/発表者名
      清水遼, 鄭顕志, 深澤良彰, 本位田真一
    • 学会等名
      マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
    • 発表場所
      下呂温泉(岐阜県)
    • 年月日
      2010-07-07
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] イベント駆動型Webサービス検索のためのイベントマッチング2010

    • 著者名/発表者名
      片渕聡, 鄭顕志, 高橋竜一, 深澤良彰, 石川冬樹, 本位田真一
    • 学会等名
      人工知能学会全国大会(第24回)(JSAI2010)
    • 発表場所
      長崎ブリックホール(長崎県)
    • 年月日
      2010-06-09
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] N-ary Sensor Model for Target Tracking in Wireless Sensor Networks2010

    • 著者名/発表者名
      Kenji Tei, Hikotoshi Nakazato, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      the First International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems (WEA-CPS' 10), in conjunction with CPSWEEK in Stockholm
    • 発表場所
      Sweden
    • 年月日
      2010-04-12
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software2010

    • 著者名/発表者名
      Tahara, Y., Ohsuga, A., Honiden S.
    • 学会等名
      FOAL 2010
    • 発表場所
      Rennes, France
    • 年月日
      2010-03-15
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] 組合せによる条件付き品質を考慮したWebサービス選択の高速化手法2010

    • 著者名/発表者名
      渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
    • 学会等名
      マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
    • 発表場所
      下呂温泉(岐阜県)
    • 年月日
      2010-07-07
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] 資源制約下における複数タスクへのセンサ割当問題2010

    • 著者名/発表者名
      鳥海晋, 本位田真一
    • 学会等名
      マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム
    • 発表場所
      下呂温泉(岐阜県)
    • 年月日
      2010-07-07
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software2010

    • 著者名/発表者名
      Tahara, Y., Ohsuga, A., Honiden S.
    • 学会等名
      Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL 2010)
    • 発表場所
      Rennes, France
    • 年月日
      2010-03-15
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering2009

    • 著者名/発表者名
      Ishikawa, F., Inoue, R., Honiden, S.
    • 学会等名
      2nd International Workshop on Requirements Engineering and Law(RELAW 2009)
    • 発表場所
      Sydney, Australia
    • 年月日
      2009-09-28
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] Generative Dynamic Deployment of Multiple Components in wireless Sensor Networks2009

    • 著者名/発表者名
      Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • 学会等名
      Poster at the The Sixth International Conference on Wireless On-demand Network Systems and Services (WONS 2009)
    • 発表場所
      Snowbird, Utah, USA
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Balancing Graph Voronoi Diagrams2009

    • 著者名/発表者名
      Shinichi Honiden
    • 学会等名
      Sixth annual International Symposium on Voronoi Diagrams in science and engineering(ISVD 2009)
    • 発表場所
      Technical University of Denmark(Copenhagen)
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Approximate Shortest Path Queries in Graphs Using Voronoi Duals2009

    • 著者名/発表者名
      Shinichi Honiden
    • 学会等名
      Sixth annual International Symposium on Voronoi Diagrams in science and engineering(ISVD 2009)
    • 発表場所
      Technical University of Denmark(Copenhagen)
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Webサービス 検索のための操作カテゴリ分類手法の提案2009

    • 著者名/発表者名
      片渕聡, 鄭顕志, 高橋竜一, 石川冬樹, 深澤良彰, 本位田真
    • 学会等名
      電子情報通信 学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会
    • 発表場所
      東京都千代田区
    • 年月日
      2009-07-02
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] Reporter node determination of replicated node detection in wireless sensor networks2009

    • 著者名/発表者名
      Yuichi Sei, Shinichi Honiden
    • 学会等名
      Third International Conference on Ubiquitous Information Management and Communication (ICUIMC-09)
    • 発表場所
      Suwon, Korea
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Folksonomyからの潜在的知識抽出2009

    • 著者名/発表者名
      馬場雪乃, 石川冬樹, 本位田真一
    • 学会等名
      第10回AI若手の集い(MYCOM2009)
    • 発表場所
      静岡県熱海市
    • 年月日
      2009-06-04
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] サービス合成における メタデータを用いた協調プロトコル合成手法2009

    • 著者名/発表者名
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • 学会等名
      電子情報通信 学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会
    • 発表場所
      東京都千代田区
    • 年月日
      2009-07-02
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] 三次元環境での無線センサネットワークにおける省電力性を考慮したイベント検出2009

    • 著者名/発表者名
      鳥海晋, 清雄一, 本位田真一
    • 学会等名
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • 発表場所
      北海道札幌市
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Efficient & Flexible Rout ing in Wireless Sensor Networks with Self Organizing Transaction Cluster Heads2009

    • 著者名/発表者名
      Neeraj Rajgure, Eric Platon, Cristian Borcea, Shinichi Honiden
    • 学会等名
      Self-Organization in Pervasive Distributed Systems (SOPDS 2009)
    • 発表場所
      Honolulu, Hawaii, USA
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Education Course of Practical Model Checking2008

    • 著者名/発表者名
      Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
    • 学会等名
      First International Workshop on Formal Methods Education and Training
    • 発表場所
      北九州市(日本)
    • 年月日
      2008-10-28
    • データソース
      KAKENHI-PROJECT-19500035
  • [学会発表] 通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案2008

    • 著者名/発表者名
      中里彦俊, 中村善行, 鄭顕志, 深潭良彰, 本位田真一
    • 学会等名
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • 発表場所
      北海道札幌市
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] センサーネットワークにおける耐故障性を考慮したデータ集約2008

    • 著者名/発表者名
      金木陽一, 清雄一, 本位田真一
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAwS2008)
    • 発表場所
      東京都文京区
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Energy-Efficient Event Detection in 3D Wireless Sensor Networks2008

    • 著者名/発表者名
      Susumu Toriumi, Yuichi Sei, Shinichi Honiden
    • 学会等名
      1st. IFIP Wireless Days Conference 2008
    • 発表場所
      United Arab Emirates
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法2008

    • 著者名/発表者名
      高橋竜一, 鄭顕志, 石川冬樹, 本位田真一, 深澤良彰
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2008)
    • 発表場所
      東京都文京区
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Transparent Application Lifetime Management in Wireless Sensor Networks2008

    • 著者名/発表者名
      Eric Platon, Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • 学会等名
      Demo Track of the 10th International Conference on Ubiquitous Computing (Ubi Comp 2008)
    • 発表場所
      Seoul, South Korea
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Education Course of Practical Model Checking2008

    • 著者名/発表者名
      Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
    • 学会等名
      First International Workshop on Formal Methods Education and Training (FMET) 2008
    • 発表場所
      Kitakyushu-City, Japan, (福岡)
    • 年月日
      2008-10-28
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築2008

    • 著者名/発表者名
      鄭顕志, 深深良彰, 本位田真一
    • 学会等名
      第15回ソフトウェア工学の基礎ワークショップ予稿集(FOSE2008)
    • 発表場所
      神奈川県足柄下郡
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] コンポーネントモデルを用いたJADE実装手法の提案2008

    • 著者名/発表者名
      中川博之, 大須賀昭彦, 本位田真一
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2008)
    • 発表場所
      東京都文京区
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Constructing Locally Centralized Applications by Mobile Agents in Wireless Sensor Networks2008

    • 著者名/発表者名
      Shunichiro Suenaga, Shinichi Honiden
    • 学会等名
      Second International Workshop on Agent Technology for Sensor Networks (ATSN-08)
    • 発表場所
      Estoril, Portugal
    • 年月日
      2008-05-13
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Distributed Detection of Node Replication Attacks Resilient to Many Compromised Nodes in Wireless Sensor Networks2008

    • 著者名/発表者名
      Yuichi Sei, Shinichi Honiden
    • 学会等名
      The Fourth International Wireless Internet Conference (WICON 2008)
    • 発表場所
      Maui, Hawaii, USA
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems2008

    • 著者名/発表者名
      Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      The 12th IEEE International EDOC Conference (EDOC 2008)
    • 発表場所
      Munchen, Germany
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Model Checking Process with Goal Oriented Requirements analysis2008

    • 著者名/発表者名
      Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
    • 学会等名
      15th Asia-Pacific Software Engineering Conference (APSEC 2008)
    • 発表場所
      Beijing, China
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 無線センサネットワークによるイベント領域予測のためのイベント境界の変化量抽出2008

    • 著者名/発表者名
      鳥海晋, 本位田真一
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2008)
    • 発表場所
      東京都文京区
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] On agent-friendly aggregation in networks2008

    • 著者名/発表者名
      Christian Sommer, S.Honiden
    • 学会等名
      ATSN-08
    • 発表場所
      Estoril, Portugal
    • 年月日
      2008-05-13
    • データソース
      KAKENHI-PROJECT-20300008
  • [学会発表] On agent-friendly aggregation in networks2008

    • 著者名/発表者名
      Christian Sommer, Shinichi Honiden
    • 学会等名
      Second International Workshop on Agent Technology for Sensor Networks (ATSN-08)
    • 発表場所
      Estoril, Portugal
    • 年月日
      2008-05-13
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 開発プロセスにおけるセキュリティ関心事の分離に向けて2008

    • 著者名/発表者名
      田原 康之、吉岡 信和、田口 研治、本位田 真一
    • 学会等名
      ウインターワークショップ2008・イン・道後
    • 発表場所
      愛媛大学
    • 年月日
      2008-01-24
    • データソース
      KAKENHI-PROJECT-19500035
  • [学会発表] Name-based Location Service for Mobile Agents in Wireless Sensor Networks2008

    • 著者名/発表者名
      Shunichiro Suenaga, Shinichi Honiden
    • 学会等名
      First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (MOBILWARE 2008)
    • 発表場所
      Innsbruck, Austria
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 無線センサーネットワークの複製ノート検知における報告ノード決定手法の提案2008

    • 著者名/発表者名
      清雄一, 本位田真一
    • 学会等名
      合同エージェントワークショップ&シンポジウム(JAWS2008)
    • 発表場所
      東京都文京区
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 分散配列 : 連番アイテムに適したP2P分散データ構造2008

    • 著者名/発表者名
      福地大輔, 清雄一, 本位田真一
    • 学会等名
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • 発表場所
      北海道札幌市
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Region-based Sensor Selection for Wireless Sensor Networks2008

    • 著者名/発表者名
      Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      The IEEE International Workshop on Ad Hoc and Ubiquitous Computing (AHUC 2008)
    • 発表場所
      Taichung, Taiwan
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Energy-Efficient Event Detection in 3D Wireless Sensor Networks2008

    • 著者名/発表者名
      Susumu Toriumi, Yuichi Sei, Shinichi Honiden
    • 学会等名
      the 1st. IFIP Wireless Days Conference 2008
    • 発表場所
      United Arab Emirates
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御2008

    • 著者名/発表者名
      石川冬樹, 清雄一, 吉岡信和, 本位田真一
    • 学会等名
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • 発表場所
      北海道札幌市
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 開発プロセスにおけるセキュリティ関心事の分離に向けて2008

    • 著者名/発表者名
      田原康之, 吉岡信和, 田口研治, 海谷治彦, 本位田真一
    • 学会等名
      ウインターワークショップ2008・イン・道後
    • 発表場所
      松山市(日本)
    • 年月日
      2008-01-24
    • データソース
      KAKENHI-PROJECT-19500035
  • [学会発表] An Efficient Node Selection Metric for In-network Process Deployment2008

    • 著者名/発表者名
      Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      The Fourth International Wireless Internet Conference (WICON 2008)
    • 発表場所
      Maui, Hawaii, USA
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Transparent Application Lifetime Management in Wireless Sensor Networks2008

    • 著者名/発表者名
      Eric Platon Shunichiro Suenaga, Nobukazu Yoshioka, Shinichi Honiden
    • 学会等名
      Demo Track of the 10th International Conference on Ubiquitous Computing (UbiComp 2008)
    • 発表場所
      Seoul, South Korea
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] Region-based Sensor Selection for Wireless Sensor Networks2008

    • 著者名/発表者名
      Yoshiyuki Nakamura, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 無線センサネットワークにおける省資源性を考慮したセンサセレクション手法2008

    • 著者名/発表者名
      中村善行, 鄭顕志, 深澤良彰, 本位田真一
    • 学会等名
      マルチメディア, 分散, 協調とモバイルシンポジウム(DICOMO2008)
    • 発表場所
      北海道札幌市
    • データソース
      KAKENHI-PROJECT-19200003
  • [学会発表] 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)
    • 発表場所
      Delft, Netherlands
    • 年月日
      2013-05-13 – 2013-05-16
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case

    • 著者名/発表者名
      Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      the 11th International Conference Applied Computing 2014 (AC 2014)
    • 発表場所
      Porto, Portugal
    • 年月日
      2014-10-25 – 2014-10-27
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] 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)
    • 発表場所
      Paris, France
    • 年月日
      2014-05-05 – 2014-05-09
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Singapore, Singapore
    • 年月日
      2014-12-15 – 2014-12-18
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Paris, France
    • 年月日
      2014-05-05 – 2014-05-09
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] 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)
    • 発表場所
      Boston, USA
    • 年月日
      2013-06-27 – 2013-06-29
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Alaska, USA
    • 年月日
      2014-06-27 – 2014-07-02
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Understanding and Planning Event-B Refinement through Primitive Rationales

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • 学会等名
      The 4th International ABZ 2014 Conference
    • 発表場所
      Toulouse, France
    • 年月日
      2014-06-02 – 2014-06-06
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Silicone Valley, USA
    • 年月日
      2013-11-11 – 2013-11-15
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Fault Classification and Model Learning from Sensory Readings Framework for Fault Tolerance in Wireless Sensor Networks

    • 著者名/発表者名
      Valentina Baljak, Kenji Tei, and Shinichi Honiden
    • 学会等名
      IEEE Eighth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (IEEE ISSNIP 2013)
    • 発表場所
      Melbourne, Australia
    • 年月日
      2013-04-02 – 2013-04-05
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Vasteras, Sweden
    • 年月日
      2014-09-15 – 2014-09-19
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Hong Kong, China
    • 年月日
      2014-11-03 – 2014-11-05
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Supporting Model Transformation Developments with Multi-Level Models: A Wireless Sensor Network Case

    • 著者名/発表者名
      Ryo Shimizu, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden
    • 学会等名
      the 11th International Conference Applied Computing 2014 (AC 2014)
    • 発表場所
      Porto, Portugal
    • 年月日
      2014-10-25 – 2014-10-27
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Hong Kong, China
    • 年月日
      2014-11-03 – 2014-11-05
    • データソース
      KAKENHI-PROJECT-26330098
  • [学会発表] 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
    • 発表場所
      Cleveland, USA
    • 年月日
      2014-03-31 – 2014-04-04
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] 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)
    • 発表場所
      Cancun, Mexico
    • 年月日
      2013-06-20 – 2013-06-23
    • データソース
      KAKENHI-PROJECT-24240003
  • [学会発表] Towards Refinement Strategy Planning for Event-B

    • 著者名/発表者名
      Tsutomu Kobayashi and Shinichi Honiden
    • 学会等名
      Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B'12) in conjunction with ICFEM
    • 発表場所
      Kyoto, Japan
    • データソース
      KAKENHI-PROJECT-24240003
  • 1.  鄭 顕志 (40434295)
    共同の研究課題数: 6件
    共同の研究成果数: 63件
  • 2.  石川 冬樹 (50455193)
    共同の研究課題数: 5件
    共同の研究成果数: 18件
  • 3.  飯島 正 (20245608)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  吉岡 信和 (20390601)
    共同の研究課題数: 3件
    共同の研究成果数: 16件
  • 5.  村田 剛志 (90242289)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  深澤 良彰 (20165252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  田原 康之 (30390602)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 8.  大須賀 昭彦 (90393842)
    共同の研究課題数: 1件
    共同の研究成果数: 12件
  • 9.  松本 一教 (40350673)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  川村 隆浩 (10426653)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  市瀬 龍太郎 (00332156)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  武田 英明 (80252831)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  細部 博史 (60321577)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  末永 俊一郎 (20530976)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  胡 振江 (50292769)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  大蒔 和仁
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  磯部 祥尚
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  深沢 良彰
    共同の研究課題数: 0件
    共同の研究成果数: 12件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi