高橋孝一 Takahashi Koichi

研究者番号	40357372
外部サイト
所属 (現在)	2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
所属 (過去の研究課題情報に基づく) *注記	2010年度: 独立行政法人産業技術総合研究所, 情報技術研究部門, 情報戦略グループ長 2008年度: 独立行政法人産業技術総合研究所, システム検証研究センター, 産業技術企画調査員 2008年度: 産業技術総合研究所, システム検証研究センター, 副研究センター長 2006年度 – 2007年度: (独)産業技術総合研究所, システム検証センター, 副研究センター長
審査区分/研究分野	研究代表者以外ソフトウエア / 情報学基礎
キーワード	研究代表者以外モデル検査 / modal logic / model checking / termination analysis / static analysis / shape analysis / 様相論理 / 停止性解析 / 静的解析 / シェイプ解析 … もっと見る / サービスプロセス / 医療情報システム / ビジネスプロセス / 医療サービス / 形式手法 / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / オントロジー / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム / チェックポインティング / 仮想計算機隠す

仮想計算機によるコミュニケーションバックトラッキングとモデル検査への応用
- 研究代表者
  
  山本光晴
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  千葉大学
形式的検証とウェブオントロジーの融合による大規模情報システム設計支援
- 研究代表者
  
  高木理
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
グラフからマルチセットへの時相論理を用いた抽象化
- 研究代表者
  
  萩谷昌己
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  東京大学

すべて 2009 2008 2006 2005

すべて雑誌論文学会発表

[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- 著者名/発表者名
  Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
- 雑誌名
  
  International Journal On Advances in Software 2
  
  ページ: 147-161
- 査読あり
- データソース
  KAKENHI-PROJECT-20500045
[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009
- 著者名/発表者名
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- 雑誌名
  
  International Journal On Advances in Software vol.2
  
  ページ: 147-161
- 査読あり
- データソース
  KAKENHI-PROJECT-20500045
[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008
- 著者名/発表者名
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- 雑誌名
  
  International journal on advances in software 1-1
  
  ページ: 14-25
- 査読あり
- データソース
  KAKENHI-PROJECT-20500045
[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008
- 著者名/発表者名
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- 雑誌名
  
  International journal on advances in software vol.1-1
  
  ページ: 14-25
- 査読あり
- データソース
  KAKENHI-PROJECT-20500045
[雑誌論文] 時相論理の充足可能性判定器のための論理式生成法2006
- 著者名/発表者名
  関澤俊弦, 高井利憲, 田辺良則, 高橋孝一
- 雑誌名
  
  電子情報通信学会論文誌 D-I Vol.j89-D,No.4
  
  ページ: 642-650
- NAID
  110007380428
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 一次元セルオートマトンの有限近似解析2006
- 著者名/発表者名
  高橋孝一, 田辺良則, 関澤俊弦
- 雑誌名
  
  コンピュータソフトウェア Vol.23,No.3
  
  ページ: 147-157
- NAID
  130004638930
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 抽象化ツールMLATについて2006
- 著者名/発表者名
  高橋孝一, 田辺良則, 関澤俊弦, 湯浅能史
- 雑誌名
  
  第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について2006
- 著者名/発表者名
  湯浅能史, 高橋孝一, 田辺良則, 関澤俊弦, 武山誠
- 雑誌名
  
  日本ソフトウェア科学会第23回大会 1
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について2006
- 著者名/発表者名
  湯浅能史, 高橋孝一, 田辺良則, 関澤俊弦, 武山誠
- 雑誌名
  
  日本ソフトウェア科学会第23回大会
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] Finite Approximation Analysis of One Dimensional Cellular Automata2006
- 著者名/発表者名
  Koichi Takahashi, Yoshinori Tanabe, Toshifusa Sekizawa
- 雑誌名
  
  Computer Software Vol.23, No.3
  
  ページ: 147-157
- NAID
  130004549058
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 時相論理の充足可能性判定器のための論理式生成法2006
- 著者名/発表者名
  関澤俊弦, 高井利憲, 田辺良則, 高橋孝一
- 雑誌名
  
  子情報通信学会論文誌 D-I Vol.J89-D, No.4,
  
  ページ: 642-650
- NAID
  110007380428
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 一次元セルオートマトンの有限近似解析2006
- 著者名/発表者名
  高橋孝一, 田辺良則, 関澤俊弦
- 雑誌名
  
  コンピュータソフトウェア Vol.23, No.3
  
  ページ: 147-157
- NAID
  130004638930
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] 抽象化ツールMLATについて2006
- 著者名/発表者名
  高橋孝一, 田辺良則, 関澤俊弦, 湯浅能史
- 雑誌名
  
  第三回システム検証の科学技術シンポジウム 1
  
  ページ: 27-28
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] An Implementation of a Decision Procedure for Sat-isfiability of Two-way CTL Formulas using BDD2005
- 著者名/発表者名
  Yoshinori Tanabe, KoichiTakahashi, Mitsuharu Yamamoto, Takahiro Sato, Masami Hagiya
- 雑誌名
  
  Computer Software Vol.22, No.3
  
  ページ: 154-166
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] A Decision Procedure for the Alternation-free Two-way Modal mu-calculus2005
- 著者名/発表者名
  Y. Tanabe, K. Takahashi, M. Yamamoto, A. Tozawa, M. Hagiya
- 雑誌名
  
  TABLEAUX 2005, Lecture Notes in Artificial Intelligence Vol.3702
  
  ページ: 277-291
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] A Decision Procedure for the Alternation-free Two-way Modal μ-calculus2005
- 著者名/発表者名
  Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, and Masami Hagiya
- 雑誌名
  
  TABLEAUX 2005, Lecture Notes in Artificial Intelligence Vol.3702
  
  ページ: 277-291
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500003
[雑誌論文] BDDを用いた2方向CTL論理式充足可能性決定手続きの実装2005
- 著者名/発表者名
  田辺良則, 高橋孝一, 山本光晴, 佐藤貴洋, 萩谷昌己
- 雑誌名
  
  コンピュータソフトウェア Vol.22,No.3
  
  ページ: 154-166
- NAID
  130004892028
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500003
[学会発表] Veri cation of the Deutsch-Schorr-Waite marking algorithm with Modal Logic2008
- 著者名/発表者名
  湯浅能史, 田辺良則, 関澤俊弦, 高橋孝一
- 学会等名
  Verified Software : Theories, Tools, and Experiments (VSTTE 2008)
- 発表場所
  トロント
- 年月日
  2008-10-06
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- 著者名/発表者名
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- 学会等名
  The 3rd International Conference on Software Engineering Advances(ICSEA 2008)
- 発表場所
  スリーマ(マルタ共和国)
- 年月日
  2008-10-30
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] A decision procedure for alternation-free modal mu-calculi2008
- 著者名/発表者名
  田辺良則, 高橋孝一, 萩谷昌己
- 学会等名
  Advances in Modal Logic 2008
- 発表場所
  Nancy
- 年月日
  2008-09-09
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Workflow Diagrams Based on Evidence Life Cycles2008
- 著者名/発表者名
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- 学会等名
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKRSE 08)
- 発表場所
  アテネ(ギリシャ)
- 年月日
  2008-08-27
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Quality improvement of workflow diagrams based on passback flow consistency2008
- 著者名/発表者名
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- 学会等名
  The 10th International Conference on Enterprise Information Systems(ICEIS 2008)
- 発表場所
  バルセロナ(スペイン)
- 年月日
  2008-06-13
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Workflow Diagrams Based on Evidence Life Cycles2008
- 著者名/発表者名
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- 学会等名
  The 8th Joint Conference on Knowledge-Based Software Engineering 2008 (JCKBSE08)
- 発表場所
  アテネ
- 年月日
  2008-08-27
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Incremental Verification of Large Scale Workflows Based on Extended Correctness2008
- 著者名/発表者名
  高木理, 竹内泉, 清野貴博, 和泉憲明, 高橋孝一
- 学会等名
  The 3rd International Conference on Software Engineering Advances (ICSEA2008)
- 発表場所
  スリーマ(マルタ共和国)
- 年月日
  2008-10-30
- データソース
  KAKENHI-PROJECT-20500045
[学会発表] Quality improvement of workflow diagrams based on passback flow consistency2008
- 著者名/発表者名
  高木理, 清野貴博, 竹内泉, 和泉憲明, 高橋孝一
- 学会等名
  The 10th International Conference on Enter prise Information Systems (ICEIS 2008)
- 発表場所
  バルセロナ
- 年月日
  2008-06-13
- データソース
  KAKENHI-PROJECT-20500045

1. 萩谷昌己 (30156252)

共同の研究課題数: 2件

共同の研究成果数: 4件
2. 山本光晴 (00291295)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. アルトシリル (30462831)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 田辺良則 (60443199)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 高木理 (30388011)

共同の研究課題数: 1件

共同の研究成果数: 10件
6. 清野貴博 (10397226)

共同の研究課題数: 1件

共同の研究成果数: 10件
7. 竹内泉 (20264583)

共同の研究課題数: 1件

共同の研究成果数: 10件
8. 和泉憲明 (50293593)

共同の研究課題数: 1件

共同の研究成果数: 10件

高橋 孝一 Takahashi Koichi

研究課題

研究成果

共同研究者

仮想計算機によるコミュニケーションバックトラッキングとモデル検査への応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

グラフからマルチセットへの時相論理を用いた抽象化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Verification of evidence life cycles in workflow diagrams with passback flows2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] 時相論理の充足可能性判定器のための論理式生成法2006

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] 一次元セルオートマトンの有限近似解析2006

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] 抽象化ツールMLATについて2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] 自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] 自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Finite Approximation Analysis of One Dimensional Cellular Automata2006

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] 時相論理の充足可能性判定器のための論理式生成法2006

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 一次元セルオートマトンの有限近似解析2006

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 抽象化ツールMLATについて2006

高橋孝一 Takahashi Koichi