Takahashi Koichi 高橋孝一

… Alternative Names

TAKAHASHI Koichi 高橋孝一

Less

Researcher Number	40357372
External Links
Affiliation (Current)	2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員
Affiliation (based on the past Project Information) *help	2010: 独立行政法人産業技術総合研究所, 情報技術研究部門, 情報戦略グループ長 2008: 独立行政法人産業技術総合研究所, システム検証研究センター, 産業技術企画調査員 2008: 産業技術総合研究所, システム検証研究センター, 副研究センター長 2006 – 2007: (独)産業技術総合研究所, システム検証センター, 副研究センター長
Review Section/Research Field	Except Principal Investigator Software / Fundamental theory of informatics
Keywords	Except Principal Investigator モデル検査 / modal logic / model checking / termination analysis / static analysis / shape analysis / 様相論理 / 停止性解析 / 静的解析 / シェイプ解析 … More / サービスプロセス / 医療情報システム / ビジネスプロセス / 医療サービス / 形式手法 / 医療オントロジー / 検証 / 要件分析 / 形式的手法 / オントロジー / web / UML / 画面遷移図 / データモデル図 / 業務フロー図 / 仕様書 / 情報システム / チェックポインティング / 仮想計算機 Less

Communication Backtracking by Virtual Machines and Applications to Model Checking
- Principal Investigator
  
  YAMAMOTO Mitsuharu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University
Design-assistance system of large scale information systems based on formal method and web ontology
- Principal Investigator
  
  TAKAKI Osamu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Abstraction from Graphs to Multisets Using Temporal Logic
- Principal Investigator
  
  HAGIYA Masami
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo

All 2009 2008 2006 2005

All Journal Article Presentation

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

1. HAGIYA Masami (30156252)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
2. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. ARTHO Cyrille (30462831)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. TANABE Yoshinori (60443199)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. TAKAKI Osamu (30388011)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
6. SEINO Takahiro (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
7. TAKEUTI Izumi (20264583)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results
8. IZUMI Noriyuki (50293593)

# of Collaborated Projects: 1 results

# of Collaborated Products: 10 results

Takahashi Koichi 高橋 孝一

TAKAHASHI Koichi 高橋 孝一

Research Projects

Research Products

Co-Researchers

Communication Backtracking by Virtual Machines and Applications to Model Checking

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design-assistance system of large scale information systems based on formal method and web ontology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Abstraction from Graphs to Multisets Using Temporal Logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

Author(s)

Journal Title

Data Source

[Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

Author(s)

Journal Title

Data Source

[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008

Author(s)

Journal Title

Data Source

[Journal Article] Verification of evidence life cycles in workflow diagrams with passback flows2008

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] 一次元セルオートマトンの有限近似解析2006

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] 抽象化ツールMLATについて2006

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Description

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] Finite Approximation Analysis of One Dimensional Cellular Automata2006

Author(s)

Journal Title

NAID

Description

Data Source

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

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 一次元セルオートマトンの有限近似解析2006

Author(s)

Journal Title

NAID

Data Source

Takahashi Koichi 高橋孝一

TAKAHASHI Koichi 高橋孝一