関澤 俊弦
| 工学部 情報工学科 | 准教授 |
研究者情報
経歴
- 2014年04月 - 現在
日本大学 工学部 情報工学科, 准教授 - 2013年04月 - 2014年03月
大阪学院大学 情報学部 情報学科, 准教授 - 2009年04月 - 2013年03月
大阪学院大学 情報学部 情報学科, 講師 - 2010年04月 - 2012年03月
産業技術総合研究所 組込みシステム技術連携研究体, 外来研究員 - 2009年04月 - 2010年03月
産業技術総合研究所 システム検証研究センター, 外来研究員 - 2008年04月 - 2009年03月
大阪学院大学 情報学部 情報学科, 非常勤講師 - 2005年09月 - 2009年03月
産業技術総合研究所 システム検証研究センター, テクニカルスタッフ - 2004年04月 - 2005年08月
科学技術振興機構 CREST, JST技術員 - 2003年06月 - 2004年03月
産業技術総合研究所 情報処理研究部門, テクニカルスタッフ - 1998年04月 - 2003年05月
日本ユニシス株式会社
学歴
委員歴
- 2020年04月 - 現在
ソフトウェアサイエンス研究会 専門委員, 電子情報通信学会 - 2023年04月 - 2024年03月
第30回 ソフトウェア工学の基礎ワークショップ (FOSE2023) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 - 2022年03月 - 2023年03月
第29回 ソフトウェア工学の基礎ワークショップ (FOSE2022) プログラム委員, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 - 2021年10月 - 2022年03月
コンピュータソフトウェア特集号編集委員, 日本ソフトウェア科学会 - 2020年10月 - 2022年03月
第28回 ソフトウェア工学の基礎ワークショップ (FOSE2021) プログラム共同委員長, 日本ソフトウェア科学会 ソフトウェア工学の基礎研究会 - 2020年10月 - 2021年03月
コンピュータソフトウェア特集号編集委員, 日本ソフトウェア科学会 - 2017年04月 - 2021年03月
組込みシステム研究会(SIGEMB) 運営委員, 情報処理学会 (IPSJ) - 2018年04月 - 2020年03月
東北支部研究会, 情報処理学会 (IPSJ) - 2018年 - 2019年
Program Committee, IEEE COMPSAC 2019 SETA - 2017年 - 2019年
ウィンターワークショップ2019 実行委員長, IPSJ/SIGSE - 2014年04月 - 2018年03月
ソフトウェア工学研究会(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年
Program Committee, International Conference onSoftware Engineering Research, Management and Applications (SERA 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年
ハンドブック "知識ベース" 執筆委員, 電子情報通信学会
研究活動情報
論文
- Probabilistic evaluation of self-localization on ad-hoc network using model checking
Toshifusa Sekizawa; Qian Chen; and Taiju Mikoshi
IEICE Communications Express, 2023年01月, 査読有り
筆頭著者 - プログラミング教育におけるモデル検査を用いたC言語プログラムの学修目標の達成度評価に向けて
関澤俊弦; 河野一輝
情報処理学会論文誌, 2022年11月, 査読有り, 通常論文
筆頭著者 - 第28回ソフトウェア工学の基礎ワークショップ (FOSE2021) 開催報告
名倉正剛; 関澤俊弦; 沢田篤史
日本ソフトウェア科学会「コンピュータソフトウェア」, 2022年10月, 査読無し - 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, 2022年10月, 査読有り, 通常論文 - 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, 2021年03月, 査読有り, 通常論文 - 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, 2019年12月, 査読有り, 通常論文
筆頭著者 - 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, 2019年09月, 査読有り, 通常論文
責任著者 - 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, 2019年09月, 査読有り, 通常論文 - 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, 2019年08月, 査読有り, 通常論文 - 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), 2018年10月, 査読有り, 通常論文
筆頭著者 - Analysis of Specification in Japanese Using Natural Language Processing
Kozo Okano; Kazuma Takahashi; Shinpei Ogata; and Toshifusa Sekizawa
Knowledge-Based Software Engineering: 2018, 2018年08月, 査読有り, 通常論文 - 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法
岡野浩三,高橋一真,仲悠介,小形真平,関澤俊弦
信学技法, 2018年02月, 査読無し, 通常論文 - 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, 2017年09月, 査読有り, 通常論文 - Javaのメソッド等価性判定とその応用
岡野浩三,原内聡,小形真平,関澤俊弦,小原岳士
電子情報通信学会技術研究報告 SS2016-65, 2017年03月, 査読無し, 通常論文 - 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年, 査読有り, 通常論文 - 二次元系における自己位置推定の振舞い検証に向けて
渡邊亮,岡野浩三,関澤俊弦
JSSST FOSE2016 ソフトウェア工学の基礎 XXIII, 2016年12月, 査読無し, 通常論文
責任著者 - 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, 2016年09月, 査読有り, 通常論文 - 確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化
小林佳正,岡野浩三,関澤俊弦
情報処理学会 第192回SE・第41回EMB合同研究発表会， 情報処理学会研究報告, 2016年06月, 査読無し, 通常論文
責任著者 - 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 Aand 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, 2015年09月, 査読有り, 通常論文 - 事例研究：組込みシステムの仕様検証とペアワイズ・テスト手法を用いた評価項目の生成
関澤俊弦,小鳥井継
MSS技報, 2015年02月, 査読無し, 通常論文
筆頭著者 - 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, 2014年11月, 査読有り, 通常論文
筆頭著者 - 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, 2013年12月, 査読有り, 通常論文
責任著者 - 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, 2013年09月, 査読有り, 通常論文
筆頭著者 - 制御システム分野におけるモデル検査の応用
土屋達弘,関澤俊弦
「システム/制御/情報」, 2013年05月, 査読有り, 通常論文
責任著者 - 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, 2012年09月, 査読有り, 通常論文 - Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa Sekizawa; Takashi Toyoshima; Koichi Takahashi; Kazuko Takahashi
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011年05月, 査読有り, 通常論文 - Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa Sekizawa; Tatsuhiro Tsuchiya; Koichi Takahashi; Tohru Kikuno
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2009年05月, 査読有り, 通常論文 - 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, 2009年05月, 査読有り, 通常論文 - 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, 2008年10月, 査読有り, 通常論文 - 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, 2008年02月, 査読有り, 通常論文
筆頭著者 - 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, 2007年10月, 査読有り, 通常論文
筆頭著者 - 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年, 査読有り, 通常論文 - 一次元セルオートマトンの有限近似解析
高橋孝一; 田辺良則; 関澤俊弦
コンピュータソフトウェア, 2006年07月, 査読有り, 通常論文 - 時相論理の充足可能性判定器のための論理式生成法
関澤俊弦; 高井利憲; 田辺良則; 高橋孝一
電子情報通信学会論文誌(D), 2006年04月, 査読有り, 通常論文 - 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, 2005年06月, 査読無し, 通常論文 - 時相論理による述語抽象化のための充足可能性判定手続き
湯浅能史; 田辺良則; 関沢俊弦; 高橋孝一
日本ソフトウエア科学会大会講演論文集(CD-ROM), 2005年, 査読無し, 通常論文
書籍等出版物
- ソフトウェア工学の基礎 28 (レクチャーノート ソフトウェア学 第47巻)
編者(編著者), 名倉正剛; 関澤俊弦
近代科学社, 2021年11月
9784764960282 - モデル検査による状態遷移システムの検証手法
関澤俊弦; 高橋孝一, 共著, 新版 信頼性ハンドブック 第V部 D-4章, 関澤俊弦,高橋孝一
日科技連出版社, 2014年07月, 査読無し
9784817195197 - ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)
編者(編著者), 岡野浩三; 関澤俊弦
近代科学社, 2013年12月, 査読無し
9784764904521 - モデル検査(総論)
関澤俊弦; 高橋孝一, 共著, ハンドブック“知識ベース” 7 群1 編2 章2-4 節, 関澤俊弦; 高橋孝一
電子情報通信学会, 2010年, 査読無し - 抽象化
高橋孝一; 関澤俊弦, 共著, ハンドブック “知識ベース” 7 群1 編3 章3-1節, 高橋孝一; 関澤俊弦
電子情報通信学会, 2010年, 査読無し
講演・口頭発表等
- Javaにおける変数宣言の重複に起因するコンパイルエラーの自動修正に向けた静的解析による重複宣言の特定
三城学; 関澤俊弦
令和5年度第66回日本大学工学部学術研究報告会, 2023年12月 - 充電データ列のシミュレーションに向けた電圧値の解析と変異の生成
中里佳樹,関澤俊弦
令和4年度 情報処理学会東北支部研究会, 2023年01月 - 演習課題提出システムへのモデル検査の組み込みによる機能拡張に向けて
南條匠; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, 2022年12月, 通常論文 - 変異を含む充電データ列のシミュレーションに向けた最尤法を用いた解析
中里佳樹; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, 2022年12月, 通常論文 - 妨害されたDSRCデータに基づく統計処理による新規妨害データ列の生成
若林奎佑; 関澤俊弦
令和4年度第65回日本大学工学部学術研究報告会, 2022年12月, 通常論文 - Cプログラム評価に向けたカバレッジを用いた検査項目の記述手法の提案
網野颯人; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, 2021年12月 - DSRC通信におけるパケット改ざん攻撃のAutoware上での再現手法の提案
冨樫悠星郎; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, 2021年12月 - リチウムイオンバッテリーの充電データ列解析による妨害の検出
中里佳樹; 関澤俊弦
令和3年度第64回日本大学工学部学術研究報告会, 2021年12月 - ロボットの振る舞いの確率的な解空間からの選択手法の提案と協調解析の考察
矢吹光,関澤俊弦
平成30年度 第4回情報処理学会東北支部研究会, 2019年01月, 通常論文 - 確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析
渡邊亮,関澤俊弦
平成30年度 第4回情報処理学会東北支部研究会, 2019年01月, 通常論文 - ロボットの確率的な解空間からの解の選択手法の提案と協調解析の考察
矢吹光,関澤俊弦
第61回日本大学工学部学術研究報告会, 2018年12月, 通常論文 - 要求仕様書の記述支援及び曖昧性評価に向けた自然言語処理に基づくツールの妥当性の評価
柿沼翔太,関澤俊弦
第61回日本大学工学部学術研究報告会, 2018年12月, 通常論文 - 動作時間を考慮に入れた自律移動ロボットの確率的な振舞い検証
小林佳正,関澤俊弦
平成29年度 第5回情報処理学会東北支部研究会, 2018年02月, 通常論文 - 動作の実行順序を考慮に入れたロボットの確率的な振舞いのモデル化
小林佳正,関澤俊弦
第60回日本大学工学部学術研究報告会, 2017年12月, 通常論文 - 自己位置推定を用いた自律移動ロボットにおける振舞い検証に向けて
渡邊亮,関澤俊弦
第60回日本大学工学部学術研究報告会, 2017年12月, 通常論文 - 自己位置推定ロボットの確率的振舞いの協調解析に向けて
矢吹光,関澤俊弦
第60回日本大学工学部学術研究報告会, 2017年12月, 通常論文 - USDMを用いた要求仕様の品質向上に向けて
柿沼翔太,関澤俊弦
第60回日本大学工学部学術研究報告会, 2017年12月, 通常論文 - 自己位置推定をするロボットの確率的な振舞いの協調解析に向けて
矢吹光,関澤俊弦
JSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), 2017年11月, 日本ソフトウェア科学会, 通常論文 - モデル検査を用いたロボット設計の検証
渡邊亮,岡野浩三,関澤俊弦
JSSST 第24回 ソフトウェア工学の基礎ワークショップ (FOSE2017), 2017年11月, 日本ソフトウェア科学会, 通常論文 - 自己位置推定を行なうロボット設計の検証に向けて
渡邊亮,岡野浩三,関澤俊弦
IPSJ/SIGSE SES2017 ワークショップ, 2017年08月, 通常論文 - Kuromojiと構文解析による要求仕様書から状態遷移系への自動変換の試み
田幸玄陽,小形真平,岡野浩三,関澤俊弦
IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, pp. 45-46,, 2017年01月, 通常論文 - ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて
渡辺誠人,岡野浩三,関澤俊弦
IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山, 2017年01月, 通常論文 - 移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて
小林佳正,岡野浩三,関澤俊弦
JSSST 第23回 ソフトウェア工学の基礎ワークショップ (FOSE2016), 2016年12月, 日本ソフトウェア科学会, 通常論文 - 一次元系における自己位置推定の振舞い検証に向けて
関澤俊弦,岡野浩三
電子情報通信学会技術研究報告,SS2015-100, Vol. 115, No. 508, pp.145-150, 2016年03月, 通常論文 - 自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査 -
遠藤健,小形真平,岡野浩三,関澤俊弦
ウィンターワークショップ 2016・イン・逗子, 2016年02月, 通常論文 - 時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて
小林佳正,岡野浩三,関澤俊弦
JSSST 第22回 ソフトウェア工学の基礎ワークショップ (FOSE2015), 2015年11月, 日本ソフトウェア科学会, 通常論文 - 自律移動ロボットの誤差検出と振舞い検証に向けて
大槻文也,伊藤和己,岡野浩三,関澤俊弦
ウィンターワークショップ 2015・イン・宜野湾, 2015年01月, 通常論文 - 組込みシステムの仕様検証とペアワイズ法を用いた検証項目の生成
関澤 俊弦,小鳥井 継
第20回 ソフトウェア工学の基礎ワークショップ (FOSE 2013), 2013年11月, 通常論文 - UPPAAL によるライントレーサの安全性検証のケーススタディ
岡野浩三; 関澤俊弦; 榛葉浩章; 楠本真二
ソフトウェアエンジニアリングシンポジウム2012 (SES2012), 2012年08月, 通常論文 - リングバッファ上の系に対する確率的対称性簡約
関澤俊弦,高橋孝一,高橋和子
IPSJ ウィンターワークショップ 2012, 2012年01月, 通常論文 - ライントレーサの定量的評価および検証に向けて
河井秀樹,岡野浩三,関澤俊弦
IPSJ ウィンターワークショップ 2012, 2012年01月, 通常論文 - ケーススタディ: Herman の確率的自己安定化アルゴリズムの状態削減と検証
関澤俊弦,高橋孝一,高橋和子
ディペンダブルシステムワークショップ& シンポジウム(DSW & DSS 2011), 2011年12月, 通常論文 - Symmetry Reduction を使ったAIS の確率付きモデル検査
豊島祟士,高橋和子,関澤俊弦
電子情報通信学会技術研究報告,SS2009-63, Vol. 109, No. 456, pp.91-96, 2010年03月, 通常論文 - シナリオに基づくモデル検査導入手法の策定- はじめての現場マニュアル-
関澤俊弦,小池憲史,小池隆,篠崎孝一,西原秀明,早水公二
第6回ディペンダブルシステムシンポジウム(DSS2009), 2009年12月, 通常論文 - 様相論理を使ったDeutsch-Schorr-Waite マーキングアルゴリズムの検証
高橋孝一,関澤俊弦,湯浅能史,田辺良則
第五回システム検証の科学技術シンポジウム(SSV 2008),, 2008年11月, 通常論文 - 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), 2008年03月, 通常論文 - Agda-MLAT 連携によるSchorr-Waite マーキングアルゴリズムの検証
湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一
日本ソフトウェア科学会第24回大会, 2007年09月, 通常論文 - 様相μ計算を利用したポインタを扱うプログラムの検証に向けて
田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一
第9 回プログラミングおよびプログラミング言語ワークショップ(PPL 2007), 2007年03月, 通常論文 - 自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について
高橋孝一; 湯浅能史; 武山誠; 関澤俊弦; 田辺良則
Theorem Proving and Provers (TPP) Meeting, 2006年11月, 通常論文 - 抽象化ツールMLAT について
高橋孝一; 田辺良則; 関澤俊弦; 湯浅能史
第三回システム検証の科学技術シンポジウム, 2006年10月, 通常論文 - 自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について
湯浅能史; 武山誠; 関澤俊弦; 田辺良則; 高橋孝一
日本ソフトウェア科学会第23回大会, 2006年09月, 通常論文 - 様相論理を使用したヒープ検証方式
田辺良則; 湯浅能史; 関澤俊弦; 高橋孝一
第3回ディペンダブルソフトウェアワークショップ (DSW06), 2006年01月, 通常論文 - 抽象化ツールTLATの構築に向けて
田辺良則; 関澤俊弦; 湯浅能史; 高橋孝一
第２回システム検証の科学技術シンポジウム, 2005年10月, 通常論文 - 時相論理による自動抽象化のための充足可能性判定手続き
湯浅能史; 田辺良則; 関澤俊弦; 高橋孝一
日本ソフトウェア科学会第22回大会, 2005年09月, 通常論文 - 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), 2005年09月, 通常論文 - 一次元セルオートマトンの有限近似解析
高橋孝一; 田辺良則; 関澤俊弦
日本ソフトウェア科学会第22回大会, 2005年09月, 通常論文 - ポインタシステムのための自動抽象化手法
高橋孝一; 田辺良則; 高井利憲; 関澤俊弦
JST, CREST 情報社会を支える新しい高性能情報処理技術第1 回公開シンポジウム, 2004年12月, 通常論文 - 分散オブジェクト技術HORB
平野聡; 関澤俊弦
COMDEX Las Vegas 2003, 2003年11月, 通常論文 - 高移動度シリコン2 次元電子系での金属・絶縁体転移と磁気抵抗
細谷邦雄; 関澤俊弦; 岡本徹; 川路紳治; 湯谷明栄; 白木靖寛
日本物理学会講演概要集, vol. 53, no.1-3(19980310), p.536, 1998年03月, 通常論文 - Si-MOS 2次元電子系における強局在領域での磁気抵抗
関澤俊弦; 岡本徹; 川路紳治
日本物理学会講演概要集, vol.52, no.1-2(19970317), p.148, 1997年03月, 通常論文 - Si-MOSFETの巨大磁気抵抗の角度依存性
岡本徹; 大河原吉貴; 関澤俊弦; 川路紳治
日本物理学会講演概要集, vol.51, no..2(19960315), 1996年03月, 通常論文
共同研究・競争的資金等の研究課題
- モデル検査を用いたプログラミング課題評価と課題提出システム構築
日本学術振興会, 科学研究費助成事業, 2024年04月 - 2027年03月
関澤 俊弦; 岡野浩三 - 自然語解析と反例解析を活用したソフトウェア開発
日本学術振興会, 科学研究費助成事業, 2021年04月 - 2025年03月
岡野 浩三; 岡本 圭史; 関澤 俊弦; 小形 真平 - 組み合わせテストを応用した組込みシステムの検証項目生成の研究
日本学術振興会, 科学研究費助成事業, 2017年04月 - 2020年03月
関澤 俊弦; 岡野 浩三; 見越 大樹 - モデルと制約に基づくソフトウェア開発に関する研究
日本学術振興会, 科学研究費助成事業, 2016年04月 - 2019年03月
岡野 浩三; 関澤 俊弦; 小形 真平 - 組込み制御システムの制御理論と制御システム開発に,おける不確定性に関する研究
2017年04月 - 2018年03月 - 動的システムに対する組込み制御プログラムの信頼性検証に関する研究
日本学術振興会, 科学研究費助成事業, 2014年04月 - 2017年03月
関澤 俊弦; 岡野 浩三 - 海外渡航費用
公益財団法人 電気通信普及財団, 福祉・文化事業援助, 2013年09月 - 2013年09月
