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

上田 賀一  Ueda Yoshikazu

ORCIDORCID連携する *注記
研究者番号 00213372
その他のID
所属 (現在) 2026年度: 茨城大学, 応用理工学野, 教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2023年度: 茨城大学, 理工学研究科(工学野), 教授
2013年度 – 2015年度: 茨城大学, 工学部, 教授
1991年度 – 1993年度: 茨城大学, 工学部, 講師
審査区分/研究分野
研究代表者
小区分60050:ソフトウェア関連 / ソフトウェア / 計算機科学
研究代表者以外
電子通信系統工学
キーワード
研究代表者
モデル検査 / ハイブリッドモデル / 組込みシステム / モデル検証 / SysML / SMTソルバ / ハイブリッド検証 / 協調解析 / モデルベース開発 / モデル駆動開発 … もっと見る / 機能安全 / 情報制御システム / ソフトウェア安全性検証 / モジュラ検証 / 視覚的モデル / MVCモデル / オブジェクト指向 / 実体関連モデル / 実行可能モデル / モデル記述言語 … もっと見る
研究代表者以外
Processing of Biological System / Analysis of Sharp Wave / Analysis of Spindle Wave / Complex Demodulation / Wavelet transform / Nonstationary Analysis / Rhythm of Biological / EEG Processing / 脳波用増巾器 / 突発波の検出 / Complex Demodulation法 / 徐波の検出と処理 / 脳波処理 / 睡眠脳波 / 神経系の情報処理 / 脳波活動の計測・処理 / 生体信号の処理 / 突発波の解析 / 紡錘波の解析 / コンプレックス・デモジュレーション / ウェーブレット変換 / 非定常解析 / 生体のリズム / 脳波活動の計測処理 隠す
  • 研究課題

    (4件)
  • 研究成果

    (13件)
  • 共同研究者

    (9人)
  •  組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立研究代表者

    • 研究代表者
      上田 賀一
    • 研究期間 (年度)
      2018 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60050:ソフトウェア関連
    • 研究機関
      茨城大学
  •  情報制御システムの高機能安全性検証の実用化研究代表者

    • 研究代表者
      上田 賀一
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      茨城大学
  •  実行可能な視覚的モデル記述言語によるソフトウェア開発の研究研究代表者

    • 研究代表者
      上田 賀一
    • 研究期間 (年度)
      1993
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      茨城大学
  •  就業中,作業中および睡眠時の脳波活動の計測・記録・処理システムの開発

    • 研究代表者
      石井 直宏
    • 研究期間 (年度)
      1991 – 1992
    • 研究種目
      試験研究(B)
    • 研究分野
      電子通信系統工学
    • 研究機関
      名古屋工業大学

すべて 2023 2015 2014 2013 その他

すべて 学会発表

  • [学会発表] SimulinkとSMTソルバの連携による協調解析支援ツールの開発2023

    • 著者名/発表者名
      Engielista Anak Norman,上田賀一
    • 学会等名
      電子情報通信学会
    • データソース
      KAKENHI-PROJECT-18K11234
  • [学会発表] SimulinkとSMTソルバの連携による協調解析支援ツールの開発2023

    • 著者名/発表者名
      Engielista Anak Norman,上田賀一
    • 学会等名
      電子情報通信学会,信学技法,KBSE2022-67,pp.79-84
    • データソース
      KAKENHI-PROJECT-18K11234
  • [学会発表] 段階的検査法にモジュラ化手法を用いたモデル検査の実用化2015

    • 著者名/発表者名
      小飼 敬, 宮島 卓巳, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      日本ソフトウェア科学会 第22回 ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ほほえみの宿 滝の湯(山形県天童市)
    • 年月日
      2015-11-26
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 段階的検査法を用いたモデル検査の反例分析手法2015

    • 著者名/発表者名
      大森 祐貴, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      日本ソフトウェア科学会第32回大会
    • 発表場所
      早稲田大学西早稲田キャンパス(東京都新宿区)
    • 年月日
      2015-09-08
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムのモデル検査における状態爆発対策と課題2014

    • 著者名/発表者名
      小山 恭平, 小飼 敬, 上田 賀一
    • 学会等名
      情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
    • 発表場所
      大洗ホテル(茨城県)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] Realistic Validation of Specification for Modeling Language using Alloy2014

    • 著者名/発表者名
      Kei Kogai, Yoshikazu Ueda
    • 学会等名
      Asia-Pacific Conference on Computer Aided System Engineering 2014
    • 発表場所
      Bali Dynasty Resort(Indonesia)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムのモデル検査に対する分割アプローチと課題2014

    • 著者名/発表者名
      小飼 敬, 宮島 卓巳, 小山 恭平, 上田 賀一
    • 学会等名
      情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
    • 発表場所
      大洗ホテル(茨城県)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムのモデル検査における反例分析支援ツールの開発2014

    • 著者名/発表者名
      大森 祐貴, 小山 恭平, 小飼 敬, 上田 賀一
    • 学会等名
      情報処理学会 ソフトウェア工学研究会
    • 発表場所
      化学会館(東京都)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] SPINを用いた情報制御システムに対する段階的モデル検査手法2013

    • 著者名/発表者名
      小山 恭平, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      日本ソフトウェア科学会 第30回大会
    • 発表場所
      東京大学工学部2号館(東京都)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化2013

    • 著者名/発表者名
      宮島 卓巳, 小山 恭平, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      日本ソフトウェア科学会 第20回ソフトウェア工学の基礎ワークショップ
    • 発表場所
      ゆのくに天祥(石川県)
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムにおける段階的検査法を用いたモジュラ検証

    • 著者名/発表者名
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      日本ソフトウェア科学会第31回大会
    • 発表場所
      名古屋大学東山キャンパス(愛知県)
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化

    • 著者名/発表者名
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • 学会等名
      電子情報通信学会知能ソフトウェア工学研究会
    • 発表場所
      電気通信大学(東京)
    • 年月日
      2015-03-05 – 2015-03-06
    • データソース
      KAKENHI-PROJECT-25330075
  • [学会発表] 情報制御システムに対するモジュラ検証と課題

    • 著者名/発表者名
      小飼 敬 , 宮島 卓巳 , 上田 賀一
    • 学会等名
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2015
    • 発表場所
      カルチャーリゾートフェストーネ(沖縄県)
    • 年月日
      2015-01-22 – 2015-01-23
    • データソース
      KAKENHI-PROJECT-25330075
  • 1.  石井 直宏 (50004619)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 2.  丹羽 敏行 (00024266)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  岩田 彰 (10093098)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  鈴村 宣夫 (10023102)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  太田 龍朗 (00109323)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  武澤 隆之
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 7.  山形 知行
    共同の研究課題数: 1件
    共同の研究成果数: 6件
  • 8.  井口 弘和
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  井口 引和
    共同の研究課題数: 1件
    共同の研究成果数: 0件

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