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

sekizawa toshifusa  関澤 俊弦

ORCIDConnect your ORCID iD *help
… Alternative Names

SEKIZAWA Toshifusa  関澤 俊弦

Less
Researcher Number 10549314
Other IDs
Affiliation (Current) 2025: 日本大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help 2021 – 2024: 日本大学, 工学部, 准教授
2014 – 2019: 日本大学, 工学部, 准教授
Review Section/Research Field
Principal Investigator
Software / Basic Section 62030:Learning support system-related
Except Principal Investigator
Basic Section 60050:Software-related / Software
Keywords
Principal Investigator
確率系 / モデル検査 / プログラミング課題評価 / 仕様記述 / 検査項目生成 / 形式検証 / 情報工学 / ゲートウェイ配置 / 自己位置推定 / アドホックネットワーク … More / ロボティックス / 確率的振舞い / 自律移動ロボット / 組込みシステム / 確率モデル検査 … More
Except Principal Investigator
機械学習 / 自然語解析 / 形態素解析 / 反例解析 / バグ局所化 / 有界モデル検査 / 時間オートマトン / 自然語処理 / 制約指向 / ソフトウエア学 / CYKアルゴリズム / モデル検査 / オートマトン / 形式記述 / 要求仕様 / 構文解析 / 状態遷移 / 要求仕様書 / NLP / 仕様記述解析 / ソフトウェア工学 / モデル / 検証 / 仕様記述 Less
  • Research Projects

    (5 results)
  • Research Products

    (27 results)
  • Co-Researchers

    (4 People)
  •  モデル検査を用いたプログラミング課題評価と課題提出システム構築Principal Investigator

    • Principal Investigator
      関澤 俊弦
    • Project Period (FY)
      2024 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 62030:Learning support system-related
    • Research Institution
      Nihon University
  •  自然語解析と反例解析を活用したソフトウェア開発

    • Principal Investigator
      岡野 浩三
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Shinshu University
  •  A Research on property generation for embedded systems based on combination testing methodologyPrincipal Investigator

    • Principal Investigator
      Sekizawa Toshifusa
    • Project Period (FY)
      2017 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nihon University
  •  Software Development based on Models and Constraints

    • Principal Investigator
      OKANO KOZO
    • Project Period (FY)
      2016 – 2018
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Shinshu University
  •  A research on verification of embedded control program for dynamic systemsPrincipal Investigator

    • Principal Investigator
      SEKIZAWA Toshifusa
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Nihon University

All 2022 2019 2018 2017 2016 2015 Other

All Journal Article Presentation

  • [Journal Article] 確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化2016

    • Author(s)
      小林佳正,岡野浩三,関澤俊弦
    • Journal Title

      情報処理学会研究報告

      Volume: Vol. 2016-SE-192, No. 14 Pages: 1-6

    • Data Source
      KAKENHI-PROJECT-26330092
  • [Journal Article] Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -2016

    • Author(s)
      Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
    • Journal Title

      International Journal of Informatics Society

      Volume: Vol. 8, No. 2 Pages: 103-116

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022

    • Author(s)
      Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
    • Organizer
      26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking using Probability Removed Model2019

    • Author(s)
      Ryo Watanabe, and Toshifusa Sekizawa
    • Organizer
      IEEE 4th International Conference on Computer and Communication Systems
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks2019

    • Author(s)
      Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi
    • Organizer
      Tenth International Symposium on Information and Communication Technology
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] 確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析2019

    • Author(s)
      渡邉亮,関澤俊弦
    • Organizer
      IPSJ 東北支部研究会
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] ロボットの振る舞いの確率的な解空間からの解の選択手法の提案と協調解析の考察2019

    • Author(s)
      矢吹光,関澤俊弦
    • Organizer
      IPSJ 東北支部研究会
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] A review assistance system for class diagram with voice assistance based on NLP2019

    • Author(s)
      Masashi Nakamura, Kozo Okano, Shinpei Ogata, and Toshifusa Sekizawa
    • Organizer
      International Workshop on Informatics
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices2018

    • Author(s)
      Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, Qian Chen
    • Organizer
      The 8th International Workshop on Internet on Things: Privacy, Security and Trust
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法2018

    • Author(s)
      岡野浩三 高橋一真 仲悠介 小形真平 関澤俊弦
    • Organizer
      知能ソフトウェア工学研究会
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] Analysis of Specification in Japanese using Natural Language Processing2018

    • Author(s)
      Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    • Organizer
      12th Joint Conference on Knowladge-Based Software Engineering
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] Analysis of Specification in Japanese Using Natural Language Processing2018

    • Author(s)
      Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    • Organizer
      Joint Conference on Knowledge-Based Software Engineering 2018
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] Kuromoji と構文解析による要求仕様書から状態遷移系への自動変換の試み2017

    • Author(s)
      田幸玄陽,小形真平,岡野浩三,関澤俊弦
    • Organizer
      ウィンターワークショップ2017・イン・飛騨高山
    • Place of Presentation
      高山 高山市民文化会館
    • Year and Date
      2017-01-19
    • Data Source
      KAKENHI-PROJECT-16K00094
  • [Presentation] ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて2017

    • Author(s)
      渡辺誠人,岡野浩三,関澤俊弦
    • Organizer
      IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山
    • Place of Presentation
      高山市民文化会館
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 自己位置推定をするロボットの確率的な振舞いの協調解析に向けて2017

    • Author(s)
      矢吹光,関澤俊弦
    • Organizer
      JSSST FOSE2017
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] 自己位置推定を行なうロボット設計の検証に向けて2017

    • Author(s)
      渡邊亮,岡野浩三 ,関澤俊弦
    • Organizer
      IPSJ/SIGSE SES2017 ワークショップ
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] Towards Verification of Robot Design for Self-localization2017

    • Author(s)
      Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
    • Organizer
      13th International Haifa Verification Conference
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] モデル検査を用いたロボット設計の検証2017

    • Author(s)
      渡邊亮,岡野浩三,関澤俊弦
    • Organizer
      JSSST FOSE2017
    • Data Source
      KAKENHI-PROJECT-17K00111
  • [Presentation] 一次元系における自己位置推定の振舞い検証に向けて2016

    • Author(s)
      関澤俊弦,岡野浩三
    • Organizer
      IEICE/SIGSS ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄県立宮古青少年の家 (沖縄県宮古島市)
    • Year and Date
      2016-03-11
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて2016

    • Author(s)
      小林佳正,岡野浩三,関澤俊弦
    • Organizer
      JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ことひら温泉 琴参閣
    • Year and Date
      2016-12-01
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 二次元系における自己位置推定の振舞い検証に向けて2016

    • Author(s)
      渡邊亮,岡野浩三,関澤俊弦
    • Organizer
      JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ことひら温泉 琴参閣
    • Year and Date
      2016-12-01
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -2016

    • Author(s)
      遠藤健,小形真平,岡野浩三,関澤俊弦
    • Organizer
      IPSJ/SIGSE ウィンターワークショップ 2016・イン・逗子
    • Place of Presentation
      湘南国際村センター (神奈川県三浦郡)
    • Year and Date
      2016-02-04
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて2015

    • Author(s)
      小林佳正,岡野浩三,関澤俊弦
    • Organizer
      JSSST 第22回 ソフトウェア工学の基礎ワークショップ
    • Place of Presentation
      ほほえみの宿 滝の湯 (山形県天童市)
    • Year and Date
      2015-11-27
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] 自律移動ロボットの誤差検出と振舞い検証に向けて2015

    • Author(s)
      大槻文也,伊藤和己,岡野浩三,関澤俊弦
    • Organizer
      ウィンターワークショップ 2015
    • Place of Presentation
      沖縄,宜野湾
    • Year and Date
      2015-01-22
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] Parallel Multiple Counter-Examples Guided Abstraction Loop to Timed Automaton2015

    • Author(s)
      Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
    • Organizer
      International Workshop on Informatics 2015
    • Place of Presentation
      Amsterdam, Netherlands
    • Year and Date
      2015-09-06
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances2015

    • Author(s)
      Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
    • Organizer
      The 1st IEEE International Workshop on Dependable Software and Applications
    • Place of Presentation
      Taichung, Taiwan
    • Year and Date
      2015-07-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-26330092
  • [Presentation] Safety Verification of Multiple Autonomous Systems by Formal Approach

    • Author(s)
      Kozo Okano, and Toshifusa Sekizawa
    • Organizer
      3rd Workshop on Architecting Safety in Collaborative Mobile Systems
    • Place of Presentation
      イタリア,フィレンツェ
    • Year and Date
      2014-09-10 – 2014-09-12
    • Invited
    • Data Source
      KAKENHI-PROJECT-26330092
  • 1.  OKANO KOZO (70252632)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 21 results
  • 2.  小形 真平 (10589279)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 4 results
  • 3.  見越 大樹 (00634114)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 4.  岡本 圭史 (00308214)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 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