磯部祥尚 Isobe Yoshinao

研究者番号	50356458
その他のID
所属 (現在)	2025年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2018年度: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 2016年度: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 主任研究員 2015年度: 国立研究開発法人産業技術総合研究所, 情報技術研究部門, 研究グループ付 2009年度 – 2010年度: 独立行政法人産業技術総合研究所, 情報技術研究部門, 主任研究員 2008年度: 独立行政法人産業技術総合研究所, 情報技術研究部門, 研究部門付
審査区分/研究分野	研究代表者ソフトウェア / 情報学基礎
キーワード	研究代表者検証 / モデル検査 / 定理証明器 / 並行処理解析器 / 仕様記述・検証 / 有限状態マシン / ロボットソフトウェプラットフォーム / 並行処理 / 形式仕様記述・検証 / 協調ロボット制御 … もっと見る / 有限状態機械 / 定理証明 / 形式手法 / 安全性 / 制御ソフトウェア / 協調ロボット / 解析 / 値渡しプロセス代数 / モデル検査器 / 無限状態システム / 状態数削減 / 記号処理 / 自動解析ツール / プロセス代数 / 並行システム隠す

安全な協調ロボット制御ソフトウェア開発方法の研究研究代表者
- 研究代表者
  
  磯部祥尚
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  国立研究開発法人産業技術総合研究所
並行システムの高信頼自動検証ツールに関する研究研究代表者
- 研究代表者
  
  磯部祥尚
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  独立行政法人産業技術総合研究所

すべて 2018 2016 2015 2011 2010 2009 2008

すべて雑誌論文学会発表

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

1. 花井亮 (10521255)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 大岩寛 (20415649)

共同の研究課題数: 1件

共同の研究成果数: 1件
3. BIGGS Geoffrey (20534803)

共同の研究課題数: 1件

共同の研究成果数: 1件
4. Affeldt Reynald (40415641)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 安藤慶昭 (50371018)

共同の研究課題数: 1件

共同の研究成果数: 1件
6. 中坊嘉宏 (70360609)

共同の研究課題数: 1件

共同の研究成果数: 0件

磯部 祥尚 Isobe Yoshinao

研究課題

研究成果

共同研究者

安全な協調ロボット制御ソフトウェア開発方法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

並行システムの高信頼自動検証ツールに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation2011

著者名/発表者名

雑誌名

データソース

[雑誌論文] CONPASU-tool : A Concurrent Process Analysis Support Tool based on Symbolic Computation2011

著者名/発表者名

雑誌名

データソース

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

著者名/発表者名

雑誌名

データソース

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

著者名/発表者名

雑誌名

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] CSP-CASL-Prover -- A generic tool for process and data refinement2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Stable Revivals Model in CSP-Prover2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] CSP-CASL-Prover--A generic tool for process and data refinement2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] The Stable Revivals Model in CSP-Prover2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] CSP-Prover -- a Proof Tool for the Verification of Scalable Concurrent Systems2008

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] CSP-Prover--a Proof Tool for the Verification of Scalable Concurrent Systems2008

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] 協調制御のモデル化と解析に向けて2016

著者名/発表者名

学会等名

データソース

磯部祥尚 Isobe Yoshinao

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