Isobe Yoshinao 磯部祥尚

… Alternative Names

ISOBE Yoshinao 磯部祥尚

Less

Researcher Number	50356458
Other IDs
Affiliation (Current)	2023: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
Affiliation (based on the past Project Information) *help	2017 – 2018: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2016: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員 2015: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ付 2009 – 2010: National Institute of Advanced Industrial Science and Technology, 情報技術研究部門, 主任研究員 2008: National Institute of Advanced Industrial Science and Technology, 情報技術研究部門, 研究部門付
Review Section/Research Field	Principal Investigator Software / Fundamental theory of informatics
Keywords	Principal Investigator 検証 / モデル検査 / 定理証明器 / 並行処理解析器 / 仕様記述・検証 / 有限状態マシン / ロボットソフトウェプラットフォーム / 並行処理 / 形式仕様記述・検証 / 協調ロボット制御 … More / 有限状態機械 / 定理証明 / 形式手法 / 安全性 / 制御ソフトウェア / 協調ロボット / 解析 / 値渡しプロセス代数 / モデル検査器 / 無限状態システム / 状態数削減 / 記号処理 / 自動解析ツール / プロセス代数 / 並行システム Less

A Development Process of Control Software for Safe Cooperative RobotsPrincipal Investigator
- Principal Investigator
  
  Isobe Yoshinao
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
A study on a reliable automatic verification tool for concurrent systemsPrincipal Investigator
- Principal Investigator
  
  ISOBE Yoshinao
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  National Institute of Advanced Industrial Science and Technology

All 2018 2016 2015 2011 2010 2009 2008

All Journal Article Presentation

[Journal Article] CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation2011
- Author(s)
  磯部祥尚
- Journal Title
  
  Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定)
  
  Pages: 22-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CONPASU-tool : A Concurrent Process Analysis Support Tool based on Symbolic Computation2011
- Author(s)
  磯部祥尚
- Journal Title
  
  Communicating Process Architectures 2011 (IOS Press)
  
  Volume: WoTUG-33(掲載確定) Pages: 22-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CONPASU-tool:記号処理に基づく並行プロセス解析支援ツールの試作2010
- Author(s)
  磯部祥尚
- Journal Title
  
  レクチャーノート/ソフトウェア学ソフトウェア工学の基礎XVII(近代科学社)
  
  Volume: 36 Pages: 65-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CONPASU-tool : 記号処理に基づく並行プロセス解析支援ツールの試作2010
- Author(s)
  磯部祥尚
- Journal Title
  
  レクチャーノート/ソフトウェア学ソフトウェア工学の基礎XVII(近代科学社) 36巻
  
  Pages: 65-74
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Journal Title
  
  電子情報通信学会技術研究報告CSTコンカレント工学
  
  Volume: 110巻89号 Pages: 139-144
- NAID
  110007889850
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Journal Title
  
  電子情報通信学会技術研究報告CST(コンカレント工学) 110巻89号
  
  Pages: 139-144
- NAID
  110007889850
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CSP-CASL-Prover -- A generic tool for process and data refinement2009
- Author(s)
  Liam O'reilly, Markus Roggenbach, 磯部祥尚
- Journal Title
  
  Electronic Notes in Theoretical Computer Science (ENTCS) Vol.250, No.2
  
  Pages: 69-84
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] The Stable Revivals Model in CSP-Prover2009
- Author(s)
  Gift Samuel, Markus Roggenbach, 磯部祥尚
- Journal Title
  
  Electronic Notes in Theoretical Computer Science (ENTCS) Vol.250, No.2
  
  Pages: 119-134
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CSP-CASL-Prover--A generic tool for process and data refinement2009
- Author(s)
  リアンオライリー(第2:磯部祥尚)
- Journal Title
  
  Electronic Notes in Theoretical Computer Science(ENTCS) 250
  
  Pages: 69-84
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] The Stable Revivals Model in CSP-Prover2009
- Author(s)
  ギフトサミュエル(第2:磯部祥尚)
- Journal Title
  
  Electronic Notes in Theoretical Computer Science(ENTCS) 250
  
  Pages: 119-134
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CSP-Prover -- a Proof Tool for the Verification of Scalable Concurrent Systems2008
- Author(s)
  磯部祥尚
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア(JSSST) 25巻4号
  
  Pages: 85-92
- NAID
  130004549123
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Journal Article] CSP-Prover--a Proof Tool for the Verification of Scalable Concurrent Systems2008
- Author(s)
  磯部祥尚
- Journal Title
  
  日本ソフトウェア科学会コンピュータソフトウェア(JSSST) 25
  
  Pages: 85-92
- NAID
  130004549123
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 協調ロボット制御ロジックの形式的なモデル化と検証 - FSM4RTC のための有限状態マシン設計の信頼性向上 -2018
- Author(s)
  磯部祥尚, 安藤慶昭, 宮本信彦, Biggs Geoffrey, 大岩寛
- Organizer
  ロボティクス・メカトロニクス講演会 ROBOMECH2018
- Data Source
  KAKENHI-PROJECT-15H02687
[Presentation] 協調ロボット制御ロジックの設計モデル検証2018
- Author(s)
  磯部祥尚
- Organizer
  第21回CSP研究会
- Data Source
  KAKENHI-PROJECT-15H02687
[Presentation] 協調制御のモデル化と解析に向けて2016
- Author(s)
  磯部祥尚
- Organizer
  第17回CSP研究会
- Data Source
  KAKENHI-PROJECT-15H02687
[Presentation] 暗号プロトコル検証入門2015
- Author(s)
  磯部祥尚
- Organizer
  2015年電子情報通信学会ソサイエティ大会
- Place of Presentation
  東北大学川内北キャンパス（宮城県仙台市）
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-15H02687
[Presentation] CONPASU-tool : A Concurrent Process Analysis Support Tool based on Symbolic Computation2011
- Author(s)
  磯部祥尚
- Organizer
  Communicating Process Architectures 2011 (CPA 2011, the 33rd WoTUG conference)
- Place of Presentation
  リムリック大学(アイルランド)
- Year and Date
  2011-06-20
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU-tool : A Concurrent Process Analysis Support Tool based on Symbolic Computation2011
- Author(s)
  磯部祥尚
- Organizer
  Communicating Process Architectures 2011, (CPA 2011, the 33rd WoTUG conference)
- Place of Presentation
  リムリック大学(アイルランド)
- Year and Date
  2011-06-21
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU : 記号処理に基づく並行プロセスの状態数削減ツール2011
- Author(s)
  磯部祥尚
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- Place of Presentation
  定山渓ビューホテル(北海道)
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU:記号処理に基づく並行プロセスの状態数削減ツール2011
- Author(s)
  磯部祥尚
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ(PPL2011)
- Place of Presentation
  定山渓ビューホテル(北海道)
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU : CSPモデルの解析支援ツール2011
- Author(s)
  磯部祥尚
- Organizer
  第7回CSP研究会
- Place of Presentation
  東洋大学(東京都)
- Year and Date
  2011-05-21
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数に基づく並行システムの動作解析のための逐次化ツール2010
- Author(s)
  磯部祥尚
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- Place of Presentation
  香川県(仲多度郡)
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] A Prototype Tool for Analyzing Concurrent Processes -- Towards Automatic Generation of Specifications2010
- Author(s)
  磯部祥尚
- Organizer
  Workshop on Symbolic Computation and Software Verification
- Place of Presentation
  筑波大学(茨城県)
- Year and Date
  2010-04-06
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Organizer
  電子情報通信学会コンカレント工学研究会(CST)
- Place of Presentation
  北見工業大学(北海道)
- Year and Date
  2010-06-22
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数の基本と関連ツールの紹介2010
- Author(s)
  磯部祥尚
- Organizer
  第5回CSP研究会
- Place of Presentation
  東洋大学(東京都)
- Year and Date
  2010-07-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数に基づく並行システムの動作解析のための逐次化ツール2010
- Author(s)
  磯部祥尚
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- Place of Presentation
  琴参閣(香川県)
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Organizer
  電子情報通信学会コンカレント工学研究会(CST)
- Place of Presentation
  北見工業大学(北海道)
- Year and Date
  2010-06-22
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU-tool : 記号処理に基づく並行プロセス解析支援ツールの試作2010
- Author(s)
  磯部祥尚
- Organizer
  第17回ソフトウェア工学の基礎ワークショップ(FOSE2010)
- Place of Presentation
  いなもと旅館(新潟県)
- Year and Date
  2010-11-19
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CSPプロセスの解析支援ツールの試作～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Organizer
  第4回CSP研究会
- Place of Presentation
  東洋大学(東京都)
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数CSPによるシーケンス図設計の詳細化と検証2010
- Author(s)
  海津智宏(第2:磯部祥尚)
- Organizer
  コンカレント工学研究会(CST)
- Place of Presentation
  愛知県(愛知郡)
- Year and Date
  2010-01-21
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] A Prototype Tool for Analyzing Concurrent Processes-Towards Automatic Generation of Specifications2010
- Author(s)
  磯部祥尚
- Organizer
  Workshop on Symbolic Computation and Software Verification
- Place of Presentation
  筑波大学(茨城県)
- Year and Date
  2010-04-06
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CONPASU-tool:記号処理に基づく並行プロセス解析支援ツールの試作2010
- Author(s)
  磯部祥尚
- Organizer
  第17回ソフトウェア工学の基礎ワークショップ(FOSE2010)
- Place of Presentation
  いなもと旅館(新潟県)
- Year and Date
  2010-11-19
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CSPプロセスの解析支援ツールの試作～仕様の自動生成を目指して～2010
- Author(s)
  磯部祥尚
- Organizer
  第4回CSP研究会
- Place of Presentation
  東京都(文京区)
- Year and Date
  2010-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 並行システムの検証と実装(入門編)2009
- Author(s)
  磯部祥尚
- Organizer
  トップエスイーチュートリアル(招待)
- Place of Presentation
  東京都(千代田区)
- Year and Date
  2009-12-14
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数CSPのモデル検査器FDRの紹介2009
- Author(s)
  磯部祥尚
- Organizer
  第1回CSP研究会(CSP)
- Place of Presentation
  東京大学(本郷)
- Year and Date
  2009-03-06
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] Verifying Train Control Software--An exercise in SAT-based Model Checking2009
- Author(s)
  磯部祥尚
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL)
- Place of Presentation
  高山(岐阜)
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 定理証明器による双模倣等価性の自動証明2009
- Author(s)
  磯部祥尚
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
- Place of Presentation
  高山グリーンホテル(岐阜)
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] 定理証明器による双模倣等価性の自動証明2009
- Author(s)
  磯部祥尚
- Organizer
  第11回プログラミングおよびプログラミング言語ワークショップ(PPL)
- Place of Presentation
  高山(岐阜)
- Year and Date
  2009-03-10
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] プロセス代数CSP定理証明器CSP-Proverの紹介2009
- Author(s)
  磯部祥尚
- Organizer
  第2回CSP研究会
- Place of Presentation
  東京都(文京区)
- Year and Date
  2009-06-30
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CSP-CASL-Prover -- A generic tool for process and data refinement2008
- Author(s)
  Liam O'reilly, Markus Roggenbach, 磯部祥尚
- Organizer
  8th International Workshop on Automated Verification of Critical Systems (AVoCS 2008)
- Place of Presentation
  グラスゴー大学(スコットランド)
- Year and Date
  2008-09-30
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] CSP-CASL-Prover--A generic tool for process and data refinement2008
- Author(s)
  リアンオライリー(第2:磯部祥尚)
- Organizer
  8th International Workshop on Automated Verification of Critical Systems (AVoCS)
- Place of Presentation
  スコットランド
- Year and Date
  2008-09-30
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] The First Step for Implementing a Model Checker in a Theorem Prover -- Toward Automatic Verification in CSP-Prover2008
- Author(s)
  磯部祥尚
- Organizer
  Theorem Proving and Provers (TPP2008) Meeting
- Place of Presentation
  東北大学電気通信研究所(宮城県)
- Year and Date
  2008-11-26
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] The Stable Revivals Model in CSP-Prover2008
- Author(s)
  Gift Samuel, Markus Roggenbach, 磯部祥尚
- Organizer
  8th International Workshop on Automated Verification of Critical Systems (AVoCS2008)
- Place of Presentation
  グラスゴー大学(スコットランド)
- Year and Date
  2008-10-01
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] The Stable Revivals Model in CSP-Prover2008
- Author(s)
  ギフトサミュエル(第2:磯部祥尚)
- Organizer
  8th International Workshop on Automated Verification of Critical Systems (AVoCS)
- Place of Presentation
  スコットランド
- Year and Date
  2008-10-01
- Data Source
  KAKENHI-PROJECT-20500023
[Presentation] The First Step for Implementing a Model Checker in a Theorem Prover--Toward Automatic Verification in CSP-Prover2008
- Author(s)
  磯部祥尚
- Organizer
  Theorem Proving and Provers Meeting (TPP)
- Place of Presentation
  東北大学電気通信研究所(仙台)
- Year and Date
  2008-11-26
- Data Source
  KAKENHI-PROJECT-20500023

1. 花井亮 (10521255)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 大岩寛 (20415649)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
3. BIGGS Geoffrey (20534803)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
4. Affeldt Reynald (40415641)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 安藤慶昭 (50371018)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
6. 中坊嘉宏 (70360609)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Isobe Yoshinao 磯部 祥尚

ISOBE Yoshinao 磯部 祥尚

Research Projects

Research Products

Co-Researchers

A Development Process of Control Software for Safe Cooperative RobotsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on a reliable automatic verification tool for concurrent systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation2011

Author(s)

Journal Title

Data Source

[Journal Article] CONPASU-tool : A Concurrent Process Analysis Support Tool based on Symbolic Computation2011

Author(s)

Journal Title

Data Source

[Journal Article] CONPASU-tool:記号処理に基づく並行プロセス解析支援ツールの試作2010

Author(s)

Journal Title

Data Source

[Journal Article] CONPASU-tool : 記号処理に基づく並行プロセス解析支援ツールの試作2010

Author(s)

Journal Title

Data Source

[Journal Article] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] CSP-CASL-Prover -- A generic tool for process and data refinement2009

Author(s)

Journal Title

Data Source

[Journal Article] The Stable Revivals Model in CSP-Prover2009

Author(s)

Journal Title

Data Source

[Journal Article] CSP-CASL-Prover--A generic tool for process and data refinement2009

Author(s)

Journal Title

Data Source

[Journal Article] The Stable Revivals Model in CSP-Prover2009

Author(s)

Journal Title

Data Source

[Journal Article] CSP-Prover -- a Proof Tool for the Verification of Scalable Concurrent Systems2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] CSP-Prover--a Proof Tool for the Verification of Scalable Concurrent Systems2008

Author(s)

Journal Title

NAID

Data Source

[Presentation] 協調ロボット制御ロジックの形式的なモデル化と検証 - FSM4RTC のための有限状態マシン設計の信頼性向上 -2018

Author(s)

Organizer

Data Source

[Presentation] 協調ロボット制御ロジックの設計モデル検証2018

Author(s)

Organizer

Data Source

[Presentation] 協調制御のモデル化と解析に向けて2016

Author(s)

Organizer

Isobe Yoshinao 磯部祥尚

ISOBE Yoshinao 磯部祥尚

[Presentation] 並行システムを解析するための逐次化と状態削減機能の実装～仕様の自動生成を目指して～2010