メニュー
Search
Search Research Projects
Search Researchers
Japanese
English
Back to previous page
UEDA Yoshikazu
上田 賀一
Connect your ORCID iD
*help
Researcher Number
00213372
Other IDs
Affiliation
*help
2013 – 2015 : 茨城大学, 工学部, 教授
1991 – 1993 : 茨城大学, 工学部, 講師
Research Field
Principal Investigator
計算機科学
Except Principal Investigator
Software
/
電子通信系統工学
Keywords
Principal Investigator
オブジェクト指向 / 実行可能モデル / モデル記述言語 / 視覚的モデル / 実体関連モデル / MVCモデル
Except Principal Investigator
脳波活動の計測処理 / 脳波処理 / モデル駆動開発 / 徐波の検出と処理
…
More
/ 機能安全 / EEG Processing / Rhythm of Biological / 脳波活動の計測・処理 / Analysis of Sharp Wave / 突発波の解析 / 紡錘波の解析 / 生体信号の処理 / Complex Demodulation / ウェーブレット変換 / 非定常解析 / Complex Demodulation法 / Processing of Biological System / 睡眠脳波 / 脳波用増巾器 / モジュラ検証 / 神経系の情報処理 / Wavelet transform / コンプレックス・デモジュレーション / Analysis of Spindle Wave / Nonstationary Analysis / モデル検査 / 突発波の検出 / 情報制御システム / ソフトウェア安全性検証 / 生体のリズム
Less
Research Projects
(
3
results)
Research Products
(
22
results)
Co-Researchers
(
9
People)
Project Start Year(Newest)
Project Start Year(Oldest)
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] 段階的検査法にモジュラ化手法を用いたモデル検査の実用化
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] 情報制御システムのモデル検査における反例分析支援ツールの開発
2014
Author(s)
大森 祐貴, 小山 恭平, 小飼 敬, 上田 賀一
Organizer
情報処理学会 ソフトウェア工学研究会
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
情報処理学会 ソフトウェア工学研究会ウィンターワークショップ2014
Place of Presentation
大洗ホテル（茨城県）
Data Source
KAKENHI-PROJECT-25330075
[Presentation] 情報制御システムのモデル検査における反例分析支援ツールの開発
2014
Author(s)
大森 祐貴, 小山 恭平, 小飼 敬, 上田 賀一
Organizer
情報処理学会 ソフトウェア工学研究会
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] 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] 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
情報処理学会ソフトウェア工学研究会ウィンターワークショップ2015
Place of Presentation
カルチャーリゾートフェストーネ(沖縄県)
Year and Date
2015-01-22 – 2015-01-23
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
日本ソフトウェア科学会第31回大会
Place of Presentation
名古屋大学東山キャンパス(愛知県)
Year and Date
2014-09-07 – 2014-09-10
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
[Presentation] モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化
Author(s)
宮島 卓巳, 小飼 敬, 上田 賀一, 山形 知行, 武澤 隆之
Organizer
電子情報通信学会知能ソフトウェア工学研究会
Place of Presentation
電気通信大学(東京)
Year and Date
2015-03-05 – 2015-03-06
Data Source
KAKENHI-PROJECT-25330075
# of Projects (Dsc)
# of Projects (Asc)
1.
ISHII Naohiro
(50004619)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
2.
NIWA Toshiyuki
(00024266)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
3.
IWATA Akira
(10093098)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
4.
SUZUMURA Nobuo
(10023102)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
5.
太田 龍朗
(00109323)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
6.
TAKEZAWA Takayuki
# of Collaborated Projects :
1results
# of Collaborated Products :
12results
7.
YAMAGATA Tomoyuki
# of Collaborated Projects :
1results
# of Collaborated Products :
12results
8.
IGUCHI Hirokazu
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
9.
井口 引和
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
