Rchr
J-GLOBAL ID：201401051858480363   Update date: Apr. 10, 2024

SEKIZAWA Toshifusa

セキザワ トシフサ | SEKIZAWA Toshifusa
Affiliation and department：
Nihon University College of Engineering, Department of Computer Science

About Nihon University College of Engineering, Department of Computer Science


Job title： Associate Professor
Research field  (1)： Software
Research theme for competitive and other funds  (7)：
  • 2024 - 2027 モデル検査を用いたプログラミング課題評価と課題提出システム構築
  • 2021 - 2025 自然語解析と反例解析を活用したソフトウェア開発
  • 2017 - 2020 A Research on property generation for embedded systems based on combination testing methodology
  • 2016 - 2019 Software Development based on Models and Constraints
  • 2017 - 2018 組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究
Show all
Papers (40)：
  • Toshifusa Sekizawa, Qian Chen, and Taiju Mikoshi. Probabilistic evaluation of self-localization on ad-hoc network using model checking. IEICE Communications Express. 2023. 12. 1. 13-18
  • Toshifusa Sekizawa and Kazuki Kawano. Towards C Program Evaluation of Acheivement of Learning Goal using,Model Checking in Programming Education. IPSJ Journal. 2022. 63. 11. 1679-1683
  • 名倉正剛, 関澤俊弦, 沢田篤史. Report on the 28th Foundation of Software Engineering Workshop (FOSE2021). 日本ソフトウェア科学会「コンピュータソフトウェア」. 2022. 39. 4 (2022). 3-9
  • Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki. A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. Procedia Computer Science. 2022. 207. 532-541
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data structures by SAW: Case Studies of Linear Structures and Binary Trees. International Journal of Informatics Society. 2021. 12. 3. 143-156
ｍore...
Books (5)：
  • ソフトウェア工学の基礎 28 (レクチャーノート ソフトウェア学 第47巻)
    近代科学社 2021 ISBN:9784764960282
  • モデル検査による状態遷移システムの検証手法
    日科技連出版社 2014 ISBN:9784817195197
  • ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)
    近代科学社 2013 ISBN:9784764904521
  • モデル検査(総論)
    電子情報通信学会 2010
  • 抽象化
    電子情報通信学会 2010
Lectures and oral presentations  (51)：
  • Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定
    (令和5年度第66回日本大学工学部学術研究報告会 2023)
  • 充電データ列のシミュレーションに向けた電圧値の解析と変異の生成
    (IPSJ Tohoku branch workshop 2023)
  • 演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
  • 変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
  • 妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成
    (令和4年度第65回日本大学工学部学術研究報告会 2022)
ｍore...
Education (3)：
  • 2006 - 2009 Osaka University Graduate School of Information Science and Technology Information System Engineering Major
  • 1996 - 1998 Gakushuin University Graduate School of Science Course of Physics
  • 1992 - 1996 Gakushuin University Faculty of Science Department of Physics
Professional career (1)：
  • 博士(情報科学) (大阪大学)
Work history (10)：
  • 2014/04 - 現在 Department of Computer Science, College of Engineering, Nihon University Associate Professor
  • 2013/04 - 2014/03 Faculty of Informatics, Osaka Gakuin University Associate Professor
  • 2009/04 - 2013/03 Faculty of Informatics, Osaka Gakuin University Lecturer
  • 2010/04 - 2012/03 Collaborative Facilities for Verification and Specification, National Institute of Advanced Industrial Science and Technology (AIST) Visiting Researcher
  • 2009/04 - 2010/03 Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST) Visiting Researcher
Show all
Committee career (27)：
  • 2020/04 - 現在 IEICE SS
  • 2023/04 - 2024/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第30回 ソフトウェア工学の基礎ワークショップ (FOSE2023) プログラム委員
  • 2022/03 - 2023/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第29回 ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員
  • 2021/10 - 2022/03 Japan Society of Software Science and Technology コンピュータソフトウェア特集号編集委員
  • 2020/10 - 2022/03 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 第28回 ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長
Show all
Association Membership(s) (4)：
IPSJ ,  JSSST ,  IEEE, IEEE Computer Society ,  IEICE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM