• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Isobe Yoshinao  磯部 祥尚

ORCIDConnect your ORCID iD *help
… Alternative Names

ISOBE Yoshinao  磯部 祥尚

Less
Researcher Number 50356458
Other IDs
Affiliation (Current) 2025: 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員
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
  • Research Projects

    (2 results)
  • Research Products

    (45 results)
  • Co-Researchers

    (6 People)
  •  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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi