メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
Ueda Yoshikazu
上田 賀一
Connect your ORCID iD
*help
…
Alternative Names
上田 賀一 ウエダ ヨシカズ
UEDA Yoshikazu 上田 賀一
Less
Researcher Number
00213372
Other IDs
Affiliation (Current)
2022: 茨城大学, 理工学研究科(工学野), 教授
Affiliation (based on the past Project Information)
*help
2018 – 2020: 茨城大学, 理工学研究科(工学野), 教授
2013 – 2015: 茨城大学, 工学部, 教授
1991 – 1993: 茨城大学, 工学部, 講師
Review Section/Research Field
Principal Investigator
計算機科学
/
Software
/
Basic Section 60050:Software-related
Except Principal Investigator
電子通信系統工学
Keywords
Principal Investigator
モデル記述言語 / 実行可能モデル / 実体関連モデル / オブジェクト指向 / MVCモデル / 視覚的モデル / モデル検査 / モジュラ検証 / ソフトウェア安全性検証 / 情報制御システム
…
More
/ 機能安全 / モデル駆動開発 / モデルベース開発 / モデル検証 / SMTソルバ / SysML / 組込みシステム / ハイブリッドモデル
…
More
Except Principal Investigator
脳波活動の計測処理 / 生体のリズム / 非定常解析 / ウェーブレット変換 / コンプレックス・デモジュレーション / 紡錘波の解析 / 突発波の解析 / 生体信号の処理 / 脳波活動の計測・処理 / 神経系の情報処理 / 睡眠脳波 / 脳波処理 / 徐波の検出と処理 / Complex Demodulation法 / 突発波の検出 / 脳波用増巾器 / EEG Processing / Rhythm of Biological / Nonstationary Analysis / Wavelet transform / Complex Demodulation / Analysis of Spindle Wave / Analysis of Sharp Wave / Processing of Biological System
Less
Research Projects
(
4
results)
Research Products
(
11
results)
Co-Researchers
(
9
People)
Project Start Year (Newest)
Project Start Year (Oldest)
組込みシステムのモデルベース設計のためのハイブリッドモデル検査手法の確立
Principal Investigator
Principal Investigator
上田 賀一
Project Period (FY)
2018 – 2021
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 systems
Principal 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
2015
2014
2013
Other
All
Presentation
[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 Alloy
2014
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
# of Projects (Dsc)
# of Projects (Asc)
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
この研究者とORCID iDの連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
