国内会議

2021年度

  1. 離散制御器合成によるサービスロボット向け行動計画自動生成手法
    • 笠井 栄良, 鄭 顕志
    • マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2021) 2021年6月
  2. Towards Personalized Autonomous Driving: Deep Reinforcement Learning from Human Feedback
    • 凌 佳麗, 李 家隆, 鄭 顕志, 本位田 真一
    • Symposium on Multi Agent Systems for Harmonization 2021 (SMASH21 SUMMER SYMPOSIUM), September 2021

2020年度

  1. モデル予測制御と離散制御器合成による外部環境の動的特性を考慮した適応制御手法
    • 安曽 徳康, 小川 雅俊, 松塚 貴英, 鄭 顕志
    • マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2020) 2020年6月
  2. Event-Bによるリファインメントのパターン最適化
    • 荒井 滉平,本位田 真一,鄭 顕志
    • 日本ソフトウェア科学会第37回大会 2020年9月
  3. 離散制御器合成における設計誤りを特定するための反例出力手法
    • 李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一
    • IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020) 2020年9月

2019年度

  1. 環境変化の差分情報を用いた離散制御器の実行時差分合成アルゴリズム
    • 平野 貴規, 相澤 和也 , 鄭 顕志, 鷲崎 弘宜, 本位田 真一
    • マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 2019年7月
  2. Dynamic Updating Controller自動生成のための環境モデル構築における関心事分離手法
    • 山内 拓人, 鄭 顕志, 鷲崎 弘宜, 本位田 真一
    • マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 2019年7月
  3. 鉄道制御システムに特化した離散制御器合成における状態削減モデリング手法
    • 桑名 賢吾, 鄭 顕志, 半田 隆信, 柳井 法貴, 西面 敦義, 深澤 良彰, 本位田 真一マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 2019年7月
  4. 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム
    • 李 家隆, 相澤 和也 , 鄭 顕志, 鷲崎 弘宜, 本位田 真一
    • マルチメディア、分散、協調とモバイル(DICOMO2019)シンポジウム 2019年7月

2018年度

  1. IoT時代のソフトウェアシステムのための実行時モデリング技術 -機械学習と制御理論を応用したシステムの自動更新
    • 鄭 顕志
    • 2017年度 情報処理学会東海支部 講演会 2018年1月29日 情報処理学会東海支部

2016年度

  1. IoT時代のソフトウェアシステムのための最新モデリング・検証技術
    • 鄭 顕志
    • Embeded Technology (ET) 2016, November 2016 JASA

2010年度

  1. 組合せによる条件付き品質を考慮したWebサービス選択の高速化手法

    • 渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
    • マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム, 2010年07月
  2. 無線センサネットワークの為のモデル駆動開発に向けたDSL非依存モデルの提案

    • 清水 遼, 鄭 顕志, 深澤 良彰, 本位田 真一
    • マルチメディア,分散,協調とモバイル(DICOMO2010)シンポジウム, 2010年07月
  3. イベント駆動型Webサービス検索のためのイベントマッチング

    • 片渕 聡, 鄭 顕志, 高橋 竜一, 深澤 良彰, 石川 冬樹, 本位田 真一
    • 人工知能学会全国大会(第24回)(JSAI2010), 2010年06月

2009年度

  1. 無線センサネットワークにおけるアプリケーション配置を考慮した生存時間延長

    • 鳥海 晋, 清 雄一, 末永 俊一郎, 鄭 顕志, 本位田 真一
    • マルチメディア,分散,協調とモバイルシンポジウム (DICOMO2009), 2009年07月
  2. Webサービス検索のための操作カテゴリ分類手法の提案

    • 片渕 聡,鄭 顕志,高橋 竜一,石川 冬樹,深澤 良彰,本位田 真一
    • 電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会, 2009年07月
  3. サービス合成におけるメタデータを用いた協調プロトコル合成手法

    • 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰
    • 電子情報通信学会情報・システムソサエティサービスコンピューティング時限専門委員会第1回研究会, 2009年07月
  4. Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ

    • 片渕 聡,鄭 顕志,高橋 竜一,石川 冬樹,深澤 良彰,本位田 真一
    • ウィンターワークショップ2010・イン・倉敷, 2010年01月
  5. 組み合わせQoSを考慮した自動サービス合成に関する研究

    • 渡辺敦, 片渕聡, 高橋竜一, 鄭顕志, 石川冬樹, 深澤良彰, 本位田真一
    • ウィンターワークショップ2010・イン・倉敷, 2010年01月

2008年度

  1. 通信コストと計測精度を考慮したトラッキングのためのセンサモデルの提案

    • 中里 彦俊, 中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
    • マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム, 2008年07月
  2. 無線センサネットワークにおける省資源性を考慮したセンサセレクション手法

    • 中村 善行, 鄭 顕志, 深澤 良彰, 本位田 真一
    • マルチメディア,分散,協調とモバイル(DICOMO2008)シンポジウム, 2008年07月
  3. マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法

    • 高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰
    • 合同エージェントワークショップ&シンポジウム2008(JAWS-2008) 予稿集, 2008年10月
  4. 無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築

    • 鄭 顕志,深澤 良彰,本位田 真一
    • ソフトウェア工学の基礎〈15〉日本ソフトウェア科学会FOSE 2008, 2008年11月

2007年度

  1. KAOSによる無線センサーネットワークのための計測処理中間モデルの導出

    • 鄭顕志, 深澤良彰, 本位田真一
    • マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007), 2007年07月
  2. 無線センサーネットワークにおける計測処理記述のためのデザインパターンの抽出と適用

    • 鄭顕志, 深澤良彰, 本位田真一
    • マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007), 2007年07月
  3. MANETにおけるコスト基準経路探索プロトコルへのコスト基準拡張リング探索の適用

    • 河村美嗣, 鄭顕志, 深澤良彰, 本位田真一
    • マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2007), 2007年07月
  4. マルチエージェントシステムにおける柔軟なプロトコル合成言語

    • 高橋竜一,鄭顕志,石川冬樹,深澤良彰,本位田真一
    • 合同エージェントワークショップ&シンポジウム2007(JAWS2007), 2007年10月
  5. ユビキタスコンピューティングにおけるアプリケーション開発手法に関する研究動向

    • 鄭顕志,中川博之,川俣洋次郎,吉岡信和,深澤良彰,本位田真一
    • 合同エージェントワークショップ&シンポジウム2007(JAWS2007), 2007年10月
  6. ユビキタスコンピューティングにおけるコンテキストのモデル化,管理に関する研究動向

    • 中村善行,清家良太,鄭顕志,吉岡信和,深澤良彰,本位田真一
    • 合同エージェントワークショップ&シンポジウム2007(JAWS2007), 2007年10月

2006年度

  1. センサーの資源制約を考慮したセンシングプログラムの退避行動手法の提案

    • 石黒真,鄭顕志,深澤良彰,本位田真一
    • 合同エージェントワークショップ&シンポジウム2006 (JAWS2006), 2006年10月
  2. 無線センサーネットワークミドルウェアの研究動向とエージェント技術の適用可能性

    • 鄭顕志,深澤良彰,本位田真一
    • 合同エージェントワークショップ&シンポジウム2006 (JAWS2006), 2006年10月

2005年度

  1. アドホックネットワークのルーティングへの市場原理の適用

    • 武藤 宏美,鄭 顕志,深澤 良彰,本位田 真一
    • 合同エージェントワークショップ&シンポジウム2005 (JAWS2005), 2005年11月
  2. 位置に束縛されたモバイルエージェントによる位置依存情報の収集

    • 鄭 顕志,深澤 良彰,本位田 真一
    • 合同エージェントワークショップ&シンポジウム2005 (JAWS2005), 2005年11月

2004年度

  1. P2P グリッドにおけるサービスの効率的障害退避

    • 鄭 顕志, 吉岡 信和, 深澤 良彰, 本位田 真一
    • 合同エージェントワークショップ&シンポジウム2004 (JAWS2004), 2004年10月
  2. P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築

    • 鄭 顕志,吉岡 信和,深澤 良彰,本位田 真一
    • 第11回 ソフトウェア工学の基礎ワークショップ (FOSE2004), 2004年11月

2003年度

2002年度

  1. PCクラスタに対応したマルチエージェントシステムの提案
    • 吉岡信和,鄭顕志,深澤良彰,本位田真一
    • エージェント合同シンポジウム (JAWS 2002), 2002年11月