Informatics, Software

Apr. 2026 - Present
Nihon University, Department of Computer Science, College of Engineering,, Professor

Apr. 2014 - Mar. 2026
Nihon University, Department of Computer Science, College of Engineering, Associate Professor

Apr. 2013 - Mar. 2014
Osaka Gakuin University, 情報学部 情報学科, Associate Professor

Apr. 2009 - Mar. 2013
Faculty of Informatics, Osaka Gakuin University, 情報学部 情報学科, Lecturer

Apr. 2010 - Mar. 2012
National Institute of Advanced Industrial Science and Technology (AIST), Collaborative Facilities for Verification and Specification, Visiting Researcher

Apr. 2009 - Mar. 2010
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), Visiting Researcher

Apr. 2008 - Mar. 2009
Osaka Gakuin University, 情報学部 情報学科, Part-time Lecturer

Sep. 2005 - Mar. 2009
Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology (AIST), Technical Staff

Apr. 2004 - Aug. 2005
CREST, Japan Science and Technology Agency (JST), Engineer

Jun. 2003 - Mar. 2004
Information Technology Research Institute ,National Institute of Industrial Science and Technology (AIST), Technical Staff

Apr. 1998 - May 2003
Nihon Unisys Ltd.

Apr. 2006 - Mar. 2009
Osaka University, Graduate School of Information Science and Technology, Information System Engineering Major

Apr. 1996 - Mar. 1998
Gakushuin University, Graduate School of Science, Course of Physics

Apr. 1992 - Mar. 1996
Gakushuin University, Faculty of Science, Department of Physics

Aug. 2025 - Apr. 2026
ICIET2026 publication chair

Apr. 2025 - Mar. 2026

Apr. 2020 - Mar. 2026
SS, IEICE

Apr. 2024 - Mar. 2025

Apr. 2023 - Mar. 2024

Mar. 2022 - Mar. 2023
第29回 ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

Oct. 2021 - Mar. 2022
コンピュータソフトウェア特集号編集委員, Japan Society of Software Science and Technology

Oct. 2020 - Mar. 2022
第28回 ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

Oct. 2020 - Mar. 2021
コンピュータソフトウェア特集号編集委員, Japan Society of Software Science and Technology

Apr. 2017 - Mar. 2021
組込みシステム研究会(SIGEMB) 運営委員, 情報処理学会 (IPSJ)

Apr. 2018 - Mar. 2020
東北支部研究会, 情報処理学会 (IPSJ)

2018 - 2019
Program Committee, IEEE COMPSAC 2019 SETA

2017 - 2019
ウィンターワークショップ2019 実行委員長, IPSJ/SIGSE

Apr. 2014 - Mar. 2018
ソフトウェア工学研究会(SIGSE) 運営委員, 情報処理学会 (IPSJ)

2018 - 2018
Technical Program Committee, The 8th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2018)

2018 - 2018
Program Committee, COMPSAC 2018 SETA

2018 - 2018
第25回 ソフトウェア工学の基礎ワークショップ (FOSE2018) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2017 - 2017
Technical Program Committee, The 7th International Workshop on Internet on Things: Privacy, Security and Trust (IoTPST 2017)

2017 - 2017
第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2016 - 2017
Program Committee, COMPSAC 2017 SETA

2016 - 2016
第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2015 - 2016
Program Committee, COMPSAC 2016 SETA

2015 - 2015
第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2014 - 2015
Program Committee, COMPSAC 2015 SETA

2013 - 2015
「ソフトウェア工学」特集号，ゲストエディタ, 日本ソフトウェア科学会

2014 - 2014

2014 - 2014
第21回 ソフトウェア工学の基礎ワークショップ (FOSE2014) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2014 - 2014
Program Committee, International Conference on,Software Engineering Research, Management and Applications (SERA 2014)

2012 - 2013
第20回 ソフトウェア工学の基礎ワークショップ (FOSE2013) 共同プログラム委員長, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会

2008 - 2010
ハンドブック "知識ベース" 執筆委員, 電子情報通信学会

Sep. 2025
INFSOC (Informatics Society), IWIN2025 Best Paper Award
Automatic Translation from PlantUML Description to NuSMV Using LLM
Kansei Inoue;Shinpei Ogata;Toshifusa Sekizawa;Kozo Okano

Statement-level Evaluation of C Programs with Tree Edit Distance on Normalized AST
Wataru Tatsukawa; Toshifusa Sekizawa
2026 the 14th International Conference on Information and Education Technology (ICIET), (accepted, to appear), Apr. 2026

Model Checking Using SPIN for a Follower Robot in a One-Dimensional System With Velocity Control Considering Communication Failures
Kodai Sato; Toshifusa Sekizawa
レクチャーノート/ソフトウェア学，ソフトウェア工学の基礎 32, Nov. 2025

Automatic Translation from PlantUML description to NuSMV using LLM
Kansei Inoue; Shinpei Ogata; Toshifusa Sekizawa; Kozo Okano
Proceedings of 19th International Workshop on Informatics, Sep. 2025

A study of multi-robot tracking problem in one-dimensional system using probabilistic model checking
Toshifusa Sekizawa; Naoaki Yonezawa; Kozo Okano; Keitaro Naruse
IEICE Transactions on Information and Systems, Aug. 2025

Probabilistic evaluation of self-localization on ad-hoc network using model checking
Toshifusa Sekizawa; Qian Chen; and Taiju Mikoshi
IEICE Communications Express, Jan. 2023

Towards C Program Evaluation of Acheivement of Learning Goal using,Model Checking in Programming Education
Toshifusa Sekizawa and Kazuki Kawano
IPSJ Journal, Nov. 2022

Report on the 28th Foundation of Software Engineering Workshop (FOSE2021)
名倉正剛; 関澤俊弦; 沢田篤史
日本ソフトウェア科学会「コンピュータソフトウェア」, Oct. 2022

A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
Kozo Okano; Maiko Onishi; Jo Otsuka; Shinpei Ogata; Toshifusa Sekizawa; Keishi Okamoto; Daisuke Bekki
Procedia Computer Science, Oct. 2022

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
Rin Karashima; Kozo Okano; Shinpei Ogata; Satoshi Harauchi; and Toshifusa Sekizawa
International Journal of Informatics Society, Mar. 2021

Recursive Gateway Allocation Combined with Self-localization and Model Checking in Mobile Ad-hoc Networks
Toshifusa Sekizawa; Qian Chen; and Taiju Mikoshi
Proceedings of the Tenth International Symposium on Information and Communication Technology, Dec. 2019

Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model
Ryo Watanabe and Toshifusa Sekizawa
Proceedings of 2019 IEEE 4th International Conference on Computer and Communication Systems, Sep. 2019

A review assistance system for class diagram with voice assistance based on NLP
Masashi Nakamura; Kozo Okano; Shinpei Ogata; and Toshifusa Sekizawa
Proceedings of International Workshop on Informatics, Sep. 2019

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; and Shin Nakajima
IEICE TRANSACTIONS on Information and Systems, Aug. 2019

Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices
Toshifusa Sekizawa; Taiju Mikoshi; Masataka Nagura; Ryo Watanabe; Qian Chen
Proceedings of 27th International Conference on Computer Communication and Networks (ICCCN 2018), Oct. 2018

Analysis of Specification in Japanese Using Natural Language Processing
Kozo Okano; Kazuma Takahashi; Shinpei Ogata; and Toshifusa Sekizawa
Knowledge-Based Software Engineering: 2018, Aug. 2018

Analysis of Specification in Japanese using Natural Language Processing and Review Supporting with Speech Synthesis
Kozo Okano; Kazuma Takahashi; Yusuke Naka; Sinpei Ogata; and Toshifusa Sekizawa
Technical Report of IEICE, Feb. 2018

Equivalence checking of Java methods: Toward ensuring IoT dependability
Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakashima
2017 26th International Conference on Computer Communications and Networks, ICCCN 2017, Sep. 2017

Equivalence Checking for Methods in Java and its Applications
Kozo Okano; Satoshi Haraguchi; Shinpei Ogata; Toshifusa Sekizawa; and Takashi Obara
IEICE Technical Report SS2016-65, Mar. 2017

Towards verification of robot design for self-localization
Ryo Watanabe; Kozo Okano; Toshifusa Sekizawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017

二次元系における自己位置推定の振舞い検証に向けて
Ryo Watanabe; Kozo Okano; and Toshifusa Sekizawa
JSSST FOSE2016 ソフトウェア工学の基礎 XXIII, Dec. 2016

Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -
Kozo Okano; Takeshi Nagaoka; Toshiaki Tanaka; Toshifusa Sekizawa; and Shinji Kusumoto
International Journal of Informatics Society, Sep. 2016

Modeling of an autonomous mobile robot using probabilistic timed automata
Yoshimasa Kobayashi; Kozo Okano; and Toshifusa Sekizawa
IPSJ SIG Technical Report, Jun. 2016

A Case Study: Verification of an Embedded System using Abstraction Refinement with Requirements
Toshifusa Sekizawa; Makoto Fujiwara; Koichiro Watanabe
Proceedings 2016 IEEE 40th Annual Computer Software and Applications Conference Workshops (COMPSAC), Vol.2, 2016

Parallel Multiple Counter-Examples Guided Abstraction Loop to Timed Automaton
Kozo Okano; Takeshi Nagaoka; Toshiaki Tanaka; Toshifusa Sekizawa; and Shinji Kusumoto
Proceedings of International Workshop on Informatics, Sep. 2015

事例研究：組込みシステムの仕様検証とペアワイズ・テスト手法を用いた評価項目の生成
Toshifusa Sekizawa; and Tsugu Kotorii
MSS Technical Report, Feb. 2015

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
Toshifusa Sekizawa; Fumiya Otsuki; Kazuki Ito; Kozo Okano
IEEE 39th Annual Computer Software And Applications Conference Workshops (COMPSAC 2015), Vol.3, 2015

Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects
Toshifusa Sekizawa; Kozo Okano; Ayako Ogawa; and Shinji Kusumoto
International Journal of Informatics Society, Nov. 2014

Safety Verification of Multiple Autonomous Systems by Formal Approach
Kozo Okano; and Toshifusa Sekizawa
Lecture Notes in Computer Science, 2014

Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model
Kozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; Hideki Kawai; Kentaro Hanada; Yukihiro Sasaki; and Shinji Kusumoto
International Journal of Informatics Society, Dec. 2013

Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects
Toshifusa Sekizawa; Kozo Okano; Ayako Ogawa; and Shinji Kusumoto
Proceedings of International Workshop on Informatics 2013, Sep. 2013

Applications of Model Checking in the Area of Control Systems
Tatsuhiro Tsuchiya and Toshifusa Sekizawa
ISCIE Journal 'Systems, Control and Information', May 2013

A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items using Pairwise Testing
Toshifusa Sekizawa; Tsugu Kotorii
2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013

Verification of Safety Property of Line Tracer Program using Timed Automaton Model
Kozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; Hideki Kawai; Kentaro Hanada; Yukihiro Sasaki; and Shinji Kusumoto
Proceedings of International Workshop on Informatics 2012, Sep. 2012

Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa Sekizawa; Takashi Toyoshima; Koichi Takahashi; Kazuko Takahashi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2011

Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru Kikuno
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2009

Pre- and Post-Conditions Expressed in Variants of the Modal mu-Calculus
Yoshinori Tanabe; Toshifusa Sekizawa; Yoshifumi Yuasa; Koichi Takahashi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, May 2009

Verification of the Deutsh-Schorr-Waite Marking Algorithm with Modal Logic
Yoshifumi Yuasa; Yoshinori Tanabe; Toshifusa Sekizawa; and Koichi Takahashi
Lecture Notes in Computer Science, Oct. 2008

MLAT: A Tool for Heap Analysis Based on Predicate Abstraction by Modal Logic
Toshifusa Sekizawa; Yoshinori Tanabe; Yoshifumi Yuasa; and Koichi Takahashi
In Proceedings of the IASTED International Conference on Software Engineering, Feb. 2008

Analyzing the One Dimensional Ising Model by Probabilistic Model Checking
Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Tohru Kikuno; and Koichi Takahashi
Proceedings of the IASTED Asian Conference on Modelling and Simulation, Oct. 2007

A method to generate formulas for temporal logic satisfiability checkers
Toshifusa Sekizawa; Toshinori Takai; Yoshinori Tanabe; Koichi Takahashi
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS, 2007

Finite Approximation Analysis of One Dimensional Cellular Automata
Koichi Takahashi; Yoshinori Tanabe; and Toshifusa Sekizawa
JSSST Computer Software, Jul. 2006

A Method to Generate Formulae for Temporal Logic Satisfiability Checkers
Toshifusa Sekizawa; Toshinori Takai; Yoshinori Tanabe; and Koichi Takahashi
The IEICE Transactions on Information and Systems (D), Apr. 2006

Preconditions of Properties Described in CTL for Statements Manipulating Pointers
Yoshinori Tanabe; Toshinori Takai; Toshifusa Sekizawa; and Koichi Takahashi
Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks, Jun. 2005

時相論理による述語抽象化のための充足可能性判定手続き
湯浅能史; 田辺良則; 関沢俊弦; 高橋孝一
日本ソフトウエア科学会大会講演論文集(CD-ROM), 2005

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について
湯浅能史; 武山誠; 関澤俊弦; 関澤俊弦; 田辺良則; 田辺良則; 高橋孝一
日本ソフトウェア科学会大会講演論文集(CD-ROM), 2006

ソフトウェア工学の基礎 28 (レクチャーノート ソフトウェア学 第47巻)
Editor, 名倉正剛; 関澤俊弦
近代科学社, Nov. 2021
9784764960282

モデル検査による状態遷移システムの検証手法
関澤俊弦; 高橋孝一, Joint work, 新版 信頼性ハンドブック 第V部 D-4章, 関澤俊弦,高橋孝一
日科技連出版社, Jul. 2014, Not refereed
9784817195197

ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)
Editor, 岡野浩三; 関澤俊弦
近代科学社, Dec. 2013, Not refereed
9784764904521

モデル検査(総論)
Toshifusa Sekizawa; Koichi Takahashi, Joint work, ハンドブック“知識ベース” 7 群1 編2 章2-4 節, Toshifusa Sekizawa; and Koichi Takahashi
電子情報通信学会, 2010, Not refereed

抽象化
Koichi Takahashi; Toshifusa Sekizawa, Joint work, ハンドブック “知識ベース” 7 群1 編3 章3-1節, Koichi Takahashi; and Toshifusa Sekizawa
電子情報通信学会, 2010, Not refereed

木の編集距離による文単位でのCプログラムの定量的評価に向けて
達川航充; 関澤俊弦
教育システム情報学会 2025年度学生研究発表会, Feb. 2026, Not invited

形態素解析を用いた演習問題の内容推定に向けた 類似度の比較
野林 緑朗; 山川 広人; 関澤 俊弦
第32回ソフトウェア工学の基礎ワークショップ（FOSE2025）, Nov. 2025, Not invited

協調動作を行う1次元系における追従ロボット2台に対するSPINを用いたモデル検査
佐藤 広大; 関澤俊弦
令和6年度第67回日本大学工学部学術研究報告会, Dec. 2024, Not invited

C言語の復習に向けた形態素解析と類似度に基づく問題文の検討
野林 緑朗; 関澤 俊弦
第31回ソフトウェア工学の基礎ワークショップ (FOSE2024), Nov. 2024, Not invited

プログラミング演習における学生の苦手度と理解度の定量化に向けて
村井 祐実; 関澤 俊弦
第31回ソフトウェア工学の基礎ワークショップ (FOSE2024), Nov. 2024, Not invited

Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定
三城学; 関澤俊弦
令和5年度第66回日本大学工学部学術研究報告会, Dec. 2023

充電データ列のシミュレーションに向けた電圧値の解析と変異の生成
中里佳樹,関澤俊弦
IPSJ Tohoku branch workshop, Jan. 2023

演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて
南條匠; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invited

変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析
中里佳樹; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invited

妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成
若林奎佑; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, Dec. 2022, Not invited

Cプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案
網野颯人; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021

DSRC通信におけるパケット改ざん攻撃のAutoware上での再現手法の提案
冨樫悠星郎; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021

リチウムイオンバッテリーの充電データ列解析による妨害の検出
中里佳樹; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, Dec. 2021

ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察
矢吹光,関澤俊弦
4th IPSJ Tohoku branch workshop, AY2018, Jan. 2019, Not invited

確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析
渡邊亮,関澤俊弦
4th IPSJ Tohoku branch workshop, AY2018, Jan. 2019, Not invited

ロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察
矢吹光,関澤俊弦
第61回日本大学工学部学術研究報告会, Dec. 2018, Not invited

要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価
柿沼翔太,関澤俊弦
第61回日本大学工学部学術研究報告会, Dec. 2018, Not invited

動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証
小林佳正,関澤俊弦
5th IPSJ Tohoku branch workshop, AY2017, Feb. 2018, Not invited

動作の実行順序を考慮に入れたロボットの確率的な振舞いのモデル化
小林佳正,関澤俊弦
第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited

自己位置推定を用いた自律移動ロボットにおける振舞い検証に向けて
渡邊亮,関澤俊弦
第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited

自己位置推定ロボットの確率的振舞いの協調解析に向けて
矢吹光,関澤俊弦
第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited

USDMを用いた要求仕様の品質向上に向けて
柿沼翔太,関澤俊弦
第60回日本大学工学部学術研究報告会, Dec. 2017, Not invited

自己位置推定をするロボットの確率的な振舞いの協調解析に向けて
Hikaru Yabuki; and Toshifusa Sekizawa
JSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), Nov. 2017, JSSST, Not invited

モデル検査を用いたロボット設計の検証
Ryo Watanabe; Kozo Okano; and Toshifusa Sekizawa
JSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), Nov. 2017, JSSST, Not invited

自己位置推定を行なうロボット設計の検証に向けて
Ryo Watanabe; Kozo Okano; and Toshifusa Sekizawa
IPSJ/SIGSE SES2017 Workshop, Aug. 2017, Not invited

Kuromojiと構文解析による要求仕様書から状態遷移系への自動変換の試み
田幸玄陽,小形真平,岡野浩三,関澤俊弦
IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, pp. 45-46,, Jan. 2017, Not invited

ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて
渡辺誠人,岡野浩三,関澤俊弦
IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, Jan. 2017, Not invited

移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて
Yoshimasa Kobayashi; Kozo Okano; and Toshifusa Sekizawa
JSSST 第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016), Dec. 2016, JSSST, Not invited

Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems
Toshifusa Sekizawa; and Kozo Okano
IEICE Technical Report SS2015-100, Vol. 115, No. 508, pp.145-150, Mar. 2016, Not invited

Towards Formal Verification of Specification in a Natural Language - Model Checking for "Electric pot, GOMA type 1015" -
Ken Endo; Shinpei Ogata; Kozo Okano; and Toshifusa Sekizawa
IPSJ/SIGSE Winter Workshop 2016 in Zushi, Feb. 2016, Not invited

時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて
Yoshimasa Kobayashi; Kozo Okano; and Toshifusa Sekizawa
JSSST 第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015), Nov. 2015, JSSST, Not invited

Towards behavior verification of autonomous mobile robot with error detection and correction
Fumiya Otsuki; Kazuki Ito; Kozo Okano; and Toshifusa Sekizawa
IPSJ/SIGSE Winter Workshop 2015 in Ginowan, Jan. 2015, Not invited

組込みシステムの仕様検証とペアワイズ法を用いた検証項目の生成
関澤 俊弦,小鳥井 継
第20回 ソフトウェア工学の基礎ワークショップ (FOSE 2013), Nov. 2013, Not invited

UPPAAL によるライントレーサの安全性検証のケーススタディ
Kozo Okano; Toshifusa Sekizawa; Hiroaki Shimba; and Shinji Kusumoto
Software Engineering Symposium 2012 (SES2012), Aug. 2012, Not invited

リングバッファ上の系に対する確率的対称性簡約
関澤俊弦,高橋孝一,高橋和子
IPSJ Winter Workshop 2012, Jan. 2012, Not invited

ライントレーサの定量的評価および検証に向けて
河井秀樹,岡野浩三,関澤俊弦
IPSJ Winter Workshop 2012, Jan. 2012, Not invited

ケーススタディ: Herman の確率的自己安定化アルゴリズムの状態削減と検証
Toshifusa Sekizawa; Koichi Takahashi; and Kazuko Takahashi
ディペンダブルシステムワークショップ& シンポジウム(DSW & DSS 2011), Dec. 2011, Not invited

Symmetry Reduction を使ったAIS の確率付きモデル検査
豊島祟士,高橋和子,関澤俊弦
IEICE Technical Report SS2009-63, Vol. 109, No. 456, pp.91-96, Mar. 2010, Not invited

シナリオに基づくモデル検査導入手法の策定- はじめての現場マニュアル-
関澤俊弦,小池憲史,小池隆,篠崎孝一,西原秀明,早水公二
第6回ディペンダブルシステムシンポジウム(DSS2009), Dec. 2009, Not invited

様相論理を使ったDeutsch-Schorr-Waite マーキングアルゴリズムの検証
高橋孝一,関澤俊弦,湯浅能史,田辺良則
第五回システム検証の科学技術シンポジウム(SSV 2008),, Nov. 2008, Not invited

A Case Study: Analyzing the One Dimensional Ising Model by Probabilistic Model Checking
Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Tohru Kikuno; and Koichi Takahashi
5th VERITE (JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnology), Mar. 2008, Not invited

Agda-MLAT 連携によるSchorr-Waite マーキングアルゴリズムの検証
湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一
日本ソフトウェア科学会第24回大会, Sep. 2007, Not invited

様相μ計算を利用したポインタを扱うプログラムの検証に向けて
田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一
第9 回プログラミングおよびプログラミング言語ワークショップ(PPL 2007), Mar. 2007, Not invited

自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について
高橋孝一; 湯浅能史; 武山誠; 関澤俊弦; 田辺良則
Theorem Proving and Provers (TPP) Meeting, Nov. 2006, Not invited

抽象化ツールMLAT について
高橋孝一; 田辺良則; 関澤俊弦; 湯浅能史
第三回システム検証の科学技術シンポジウム, Oct. 2006, Not invited

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について
湯浅能史; 武山誠; 関澤俊弦; 田辺良則; 高橋孝一
日本ソフトウェア科学会第23回大会, Sep. 2006, Not invited

様相論理を使用したヒープ検証方式
田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一
第3回ディペンダブルソフトウェアワークショップ (DSW06), Jan. 2006, Not invited

抽象化ツールTLATの構築に向けて
田辺良則; 関澤俊弦; 湯浅能史; 高橋孝一
第２回システム検証の科学技術シンポジウム, Oct. 2005, Not invited

時相論理による自動抽象化のための充足可能性判定手続き
湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一
日本ソフトウェア科学会第22回大会, Sep. 2005, Not invited

Abstraction of Programs in PML (Pointer Manipulating Language)
Koichi Takahashi; Yoshinori Tanabe; Toshifusa Sekizawa; and Yoshifumi Yuasa
JAIST/TRUST - AIST/CVS joint workshop on verification technology (VERITE), Sep. 2005, Not invited

一次元セルオートマトンの有限近似解析
高橋孝一; 田辺良則; 関澤俊弦
日本ソフトウェア科学会第22回大会, Sep. 2005, Not invited

ポインタシステムのための自動抽象化手法
高橋孝一; 田辺良則; 高井利憲; 関澤俊弦
JST, CREST 情報社会を支える新しい高性能情報処理技術第1 回公開シンポジウム, Dec. 2004, Not invited

分散オブジェクト技術HORB
平野聡,関澤俊弦
COMDEX Las Vegas 2003, Nov. 2003, Not invited

高移動度シリコン2 次元電子系での金属・絶縁体転移と磁気抵抗
細谷邦雄; 関澤俊弦; 岡本徹; 川路紳治; 湯谷明栄; 白木靖寛
日本物理学会講演概要集, vol. 53, no.1-3(19980310), p.536, Mar. 1998, Not invited

Si-MOS 2次元電子系における強局在領域での磁気抵抗
関澤俊弦; 岡本徹; 川路紳治
日本物理学会講演概要集, vol.52, no.1-2(19970317), p.148, Mar. 1997, Not invited

Si-MOSFETの巨大磁気抵抗の角度依存性
岡本徹; 大河原吉貴; 関澤俊弦; 川路紳治
日本物理学会講演概要集, vol.51, no..2(19960315), Mar. 1996, Not invited

IPSJ

JSSST

IEEE, IEEE Computer Society

IEICE

Investigation of the Origins of Ancient Logistics Networks in the Japanese Archipelago Using High-Quality Terahertz Sensing Technology
日本大学特別研究, Aug. 2025 - Mar. 2027
石澤淳; 南康夫; 野邑寿仁亜; 四方潤一; 碇智文; 関澤俊弦; 道山哲幸; 山本孝文; 武井紀子; 瀧川道生; 小林一彦

モデル検査を用いたプログラミング課題評価と課題提出システム構築
日本学術振興会, 科学研究費助成事業, Apr. 2024 - Mar. 2027
関澤 俊弦; 岡野浩三

自然語解析と反例解析を活用したソフトウェア開発
日本学術振興会, 科学研究費助成事業, Apr. 2021 - Mar. 2025
岡野 浩三; 岡本 圭史; 関澤 俊弦; 小形 真平

A Research on property generation for embedded systems based on combination testing methodology
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2017 - Mar. 2020
Sekizawa Toshifusa

Software Development based on Models and Constraints
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2016 - Mar. 2019
OKANO KOZO

組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究
Apr. 2017 - Mar. 2018

A research on verification of embedded control program for dynamic systems
Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research, Apr. 2014 - Mar. 2017
SEKIZAWA Toshifusa

Overseas Travel Expense
The Telecommunications Advancement Foundation, 福祉・文化事業援助, Sep. 2013 - Sep. 2013