• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ueda Yoshikazu  上田 賀一

ORCIDConnect your ORCID iD *help
… Alternative Names

UEDA Yoshikazu  上田 賀一

Less
Researcher Number 00213372
Other IDs
Affiliation (Current) 2025: 茨城大学, 応用理工学野, 教授
Affiliation (based on the past Project Information) *help 2018 – 2023: 茨城大学, 理工学研究科(工学野), 教授
2013 – 2015: 茨城大学, 工学部, 教授
1991 – 1993: 茨城大学, 工学部, 講師
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related / Software / 計算機科学
Except Principal Investigator
電子通信系統工学
Keywords
Principal Investigator
モデル検査 / ハイブリッドモデル / 組込みシステム / モデル検証 / SysML / SMTソルバ / ハイブリッド検証 / 協調解析 / モデルベース開発 / モデル駆動開発 … More / 機能安全 / 情報制御システム / ソフトウェア安全性検証 / モジュラ検証 / 視覚的モデル / MVCモデル / オブジェクト指向 / 実体関連モデル / 実行可能モデル / モデル記述言語 … More
Except Principal Investigator
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法 / 徐波の検出と処理 / 脳波処理 / 睡眠脳波 / 神経系の情報処理 / 脳波活動の計測・処理 / 生体信号の処理 / 突発波の解析 / 紡錘波の解析 / コンプレックス・デモジュレーション / ウェーブレット変換 / 非定常解析 / 生体のリズム / 脳波活動の計測処理 Less
  • Research Projects

    (4 results)
  • Research Products

    (13 results)
  • Co-Researchers

    (9 People)
  •  A Hybrid Model Checking Method for Model-Based Design of Embedded SystemsPrincipal Investigator

    • Principal Investigator
      Ueda Yoshikazu
    • Project Period (FY)
      2018 – 2023
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Ibaraki University
  •  Practical model checking for high-performance safety of information control systemsPrincipal Investigator

    • Principal Investigator
      Ueda Yoshikazu
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Ibaraki University
  •  実行可能な視覚的モデル記述言語によるソフトウェア開発の研究Principal Investigator

    • Principal Investigator
      上田 賀一
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Ibaraki University
  •  Developmental Study on Measuring, Recording & Procession System of EEG during Working and Sleep

    • Principal Investigator
      ISHII Naohiro
    • Project Period (FY)
      1991 – 1992
    • Research Category
      Grant-in-Aid for Developmental Scientific Research (B)
    • Research Field
      電子通信系統工学
    • Research Institution
      Nagoya Institute of Technology

All 2023 2015 2014 2013 Other

All Presentation

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

    • Author(s)
      Engielista Anak Norman,上田賀一
    • Organizer
      電子情報通信学会
    • Data Source
      KAKENHI-PROJECT-18K11234
  • [Presentation] SimulinkとSMTソルバの連携による協調解析支援ツールの開発2023

    • Author(s)
      Engielista Anak Norman,上田賀一
    • Organizer
      電子情報通信学会,信学技法,KBSE2022-67,pp.79-84
    • Data Source
      KAKENHI-PROJECT-18K11234
  • [Presentation] 段階的検査法にモジュラ化手法を用いたモデル検査の実用化2015

    • Author(s)
      小飼 敬, 宮島 卓巳, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会 第22回 ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ほほえみの宿 滝の湯(山形県天童市)
    • Year and Date
      2015-11-26
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 段階的検査法を用いたモデル検査の反例分析手法2015

    • Author(s)
      大森 祐貴, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学西早稲田キャンパス(東京都新宿区)
    • Year and Date
      2015-09-08
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムのモデル検査における状態爆発対策と課題2014

    • Author(s)
      小山 恭平, 小飼 敬, 上田 賀一
    • Organizer
      情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
    • Place of Presentation
      大洗ホテル(茨城県)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] Realistic Validation of Specification for Modeling Language using Alloy2014

    • Author(s)
      Kei Kogai, Yoshikazu Ueda
    • Organizer
      Asia-Pacific Conference on Computer Aided System Engineering 2014
    • Place of Presentation
      Bali Dynasty Resort(Indonesia)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムのモデル検査に対する分割アプローチと課題2014

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

    • Author(s)
      大森 祐貴, 小山 恭平, 小飼 敬, 上田 賀一
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      化学会館(東京都)
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] SPINを用いた情報制御システムに対する段階的モデル検査手法2013

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

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

    • Author(s)
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学東山キャンパス(愛知県)
    • Year and Date
      2014-09-07 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化

    • Author(s)
      宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      電気通信大学(東京)
    • Year and Date
      2015-03-05 – 2015-03-06
    • Data Source
      KAKENHI-PROJECT-25330075
  • [Presentation] 情報制御システムに対するモジュラ検証と課題

    • Author(s)
      小飼 敬 , 宮島 卓巳 , 上田 賀一
    • Organizer
      情報処理学会ソフトウェア工学研究会ウィンターワークショップ2015
    • Place of Presentation
      カルチャーリゾートフェストーネ(沖縄県)
    • Year and Date
      2015-01-22 – 2015-01-23
    • Data Source
      KAKENHI-PROJECT-25330075
  • 1.  ISHII Naohiro (50004619)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  NIWA Toshiyuki (00024266)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  IWATA Akira (10093098)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  SUZUMURA Nobuo (10023102)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  太田 龍朗 (00109323)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  TAKEZAWA Takayuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 7.  YAMAGATA Tomoyuki
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 6 results
  • 8.  IGUCHI Hirokazu
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  井口 引和
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi