論文
公開件数:33件

No.1
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "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
ISSN
DOI
URL
概要
機関リポジトリ

No.2
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(コレスポンディングオーサー)
タイトル "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
出版者 IEEE
巻号頁 111-114
出版日 2019/09/02
ISSN
DOI 10.1109/CCOMS.2019.8821644
URL
概要
機関リポジトリ

No.3
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 E102-D/ 8, 1498-1505
出版日 2019/08/01
ISSN 1745-1361
DOI 10.1587/transinf.2018EDP7254
URL
概要
機関リポジトリ

No.4
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(コレスポンディングオーサーかつ第一著者)
タイトル "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)
出版者 IEEE
巻号頁 1-7
出版日 2018/10/11
ISSN
DOI 10.1109/ICCCN.2018.8487444
URL
概要
機関リポジトリ

No.5
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "Analysis of Specification in Japanese Using Natural Language Processing"
著者 Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
誌名 Knowledge-Based Software Engineering: 2018
出版者 Springer
巻号頁 12-21
出版日 2018/08/04
ISSN
DOI 10.1007/978-3-319-97679-2_2
URL
概要
機関リポジトリ

No.6
掲載種別 (MISC)研究発表要旨(全国大会,その他学術会議)
単著・共著区分 共著(第一著者以外)
タイトル 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法
著者 岡野浩三,高橋一真,仲悠介,小形真平,関澤俊弦
誌名 信学技法
出版者
巻号頁 117/ 465, 79-84
出版日 2018/02/22
ISSN 0913-5685
DOI
URL
概要
機関リポジトリ

No.7
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(コレスポンディングオーサー)
タイトル "Towards Verification of Robot Design for Self-localization"
著者 Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
誌名 13th International Haifa Verification Conference (HVC 2017), Lecture Notes in Computer Science
出版者 Springer
巻号頁 10629, 245-248
出版日 2017/11/14
ISSN
DOI 10.1007/978-3-319-70389-3
URL
概要
機関リポジトリ

No.8
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability"
著者 Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, and Shin Nakajima
誌名 26th International Conference on Computer Communication and Networks, ICCCN 2017,
出版者 IEEE
巻号頁 1-6
出版日 2017/09/21
ISSN
DOI 10.1109/ICCCN.2017.8038505
URL
概要
機関リポジトリ

No.9
掲載種別 (MISC)研究発表要旨(全国大会,その他学術会議)
単著・共著区分 共著(第一著者)
タイトル "Javaのメソッド等価性判定とその応用"
著者 岡野浩三,原内聡,小形真平,関澤俊弦,小原岳士
誌名 電子情報通信学会技術研究報告 SS2016-65
出版者
巻号頁 116/ 512, 31-36
出版日 2017/03/09
ISSN
DOI
URL
概要
機関リポジトリ

No.10
掲載種別 (MISC)研究発表要旨(全国大会,その他学術会議)
単著・共著区分 共著(コレスポンディングオーサー)
タイトル "二次元系における自己位置推定の振舞い検証に向けて"
著者 渡邊亮,岡野浩三,関澤俊弦
誌名 JSSST FOSE2016 ソフトウェア工学の基礎 XXIII
出版者 日本ソフトウェア科学会
巻号頁 275-276
出版日 2016/12
ISSN
DOI
URL
概要
機関リポジトリ

No.11
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 8/ 2, 103-116
出版日 2016/09
ISSN 1883-4566
DOI
URL
概要
機関リポジトリ

No.12
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(コレスポンディングオーサーかつ第一著者)
タイトル "A Case Study: Verification of an Embedded System using Abstraction Refinement with Requirements,"
著者 Toshifusa Sekizawa, Makoto Fujiwara, and Koichiro Watanabe
誌名 Proceedings of COMPSAC 2016: The 2nd IEEE International Workshop on Dependable Software and Applications (DSA 2016)
出版者 IEEE
巻号頁 490-493
出版日 2016/06
ISSN
DOI 10.1109/COMPSAC.2016.24
URL
概要
機関リポジトリ

No.13
掲載種別
単著・共著区分 共著(第一著者)
タイトル "確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化"
著者 小林佳正,岡野浩三,関澤俊弦
誌名 情報処理学会 第192回SE・第41回EMB合同研究発表会,
情報処理学会研究報告
出版者
巻号頁 2016-SE-192/ 14
出版日 2016/06/03
ISSN
DOI
URL
概要
機関リポジトリ

No.14
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 153-160
出版日 2015/09
ISSN
DOI
URL
概要
機関リポジトリ

No.15
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(コレスポンディングオーサーかつ第一著者)
タイトル "Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances,"
著者 Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
誌名 Proceedings of COMPSAC 2015: The 1st IEEE International Workshop on Dependable Software and Applications (DSA 2015)
出版者 IEEE
巻号頁 550-555
出版日 2015/07
ISSN
DOI 10.1109/COMPSAC.2015.268
URL
概要
機関リポジトリ

No.16
掲載種別 (MISC)機関テクニカルレポート,プレプリント等
単著・共著区分 共著(コレスポンディングオーサーかつ第一著者)
タイトル "事例研究:組込みシステムの仕様検証とペアワイズ・テスト手法を用いた評価項目の生成”
著者 関澤俊弦,小鳥井継
誌名 MSS技報
出版者 三菱スペース・ソフトウエア株式会社
巻号頁 25
出版日 2015/02
ISSN
DOI
URL
概要
機関リポジトリ

No.17
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "Safety Verification of Multiple Autonomous Systems by Formal Approach"
著者 Kozo Okano, and Toshifusa Sekizawa
誌名 Lecture Notes in Computer Science
出版者 Springer International Publishing
巻号頁 8696, 11-18
出版日 2014
ISSN 0302-9743
DOI 10.1007/978-3-319-10557-4_3
URL
概要
機関リポジトリ

No.18
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者)
タイトル "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
出版者
巻号頁 6/ 2, 79-87
出版日 2014/11
ISSN 1883-4566
DOI
URL
概要
機関リポジトリ

No.19
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(コレスポンディングオーサー)
タイトル "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
出版者
巻号頁 5/ 3, 147-155
出版日 2013/12
ISSN 1883-4566
DOI
URL
概要
機関リポジトリ

No.20
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者)
タイトル "A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items using Pairwise Testing"
著者 Toshifusa Sekizawa, and Tsugu Kotorii
誌名 Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)
出版者
巻号頁 146-151
出版日 2013/12
ISSN
DOI
URL
概要
機関リポジトリ

No.21
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者)
タイトル "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
出版者
巻号頁 155-162
出版日 2013/09
ISSN
DOI
URL
概要
機関リポジトリ

No.22
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(コレスポンディングオーサー)
タイトル "制御システム分野におけるモデル検査の応用"
著者 土屋達弘,関澤俊弦
誌名 「システム/制御/情報」
出版者 システム制御情報学会
巻号頁 57/ 5, 195-200
出版日 2013/05
ISSN
DOI
URL
概要
機関リポジトリ

No.23
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 136-142
出版日 2012/09
ISSN
DOI
URL
概要
機関リポジトリ

No.24
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者)
タイトル "Probabilistic Symmetry Reduction for a System with Ring Buffer"
著者 Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, and Kazuko Takahashi
誌名 The IEICE Transactions on Information and Systems
出版者
巻号頁 E94-D/ 5, 967-975
出版日 2011/05
ISSN
DOI
URL
概要
機関リポジトリ

No.25
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者以外)
タイトル "Pre- and Post-Conditions Expressed in Variants of the Modal mu-calculus"
著者 Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, and Koichi Takahashi
誌名 The IEICE Transactions on Information and Systems
出版者
巻号頁 E92-D/ 5, 995-1002
出版日 2009/05
ISSN
DOI
URL
概要
機関リポジトリ

No.26
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者)
タイトル "Probabilistic Model Checking of the One-Dimensional Ising Model"
著者 Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, and Tohru Kikuno
誌名 The IEICE Transactions on Information and Systems
出版者
巻号頁 E92-D/ 5, 1003-1011
出版日 2009/05
ISSN
DOI
URL
概要
機関リポジトリ

No.27
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 5295, 115-129
出版日 2008/10
ISSN
DOI
URL
概要
機関リポジトリ

No.28
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者)
タイトル "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
出版者
巻号頁 310-317
出版日 2008/02
ISSN
DOI
URL
概要
機関リポジトリ

No.29
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者)
タイトル "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
出版者
巻号頁 199-204
出版日 2007/10
ISSN
DOI
URL
概要
機関リポジトリ

No.30
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル "A Method to Generate Formulas for Temporal Logic Satisfiability Checkers"
著者 Toshifusa Sekizawa, Toshinori Takai, Yoshinori Tanabe, and Koichi Takahashi
誌名 Electronics and Communications in Japan, Part II
出版者
巻号頁 90/ 11, 99-108
出版日 2007/10
ISSN
DOI
URL
概要
機関リポジトリ

No.31
掲載種別 研究論文(学術雑誌)
単著・共著区分 共著(第一著者以外)
タイトル "一次元セルオートマトンの有限近似解析"
著者 高橋孝一, 田辺良則, 関澤俊弦
誌名 コンピュータソフトウェア
出版者
巻号頁 23/ 3, 147-157
出版日 2006/07
ISSN
DOI
URL
概要
機関リポジトリ

No.32
掲載種別 研究論文(学術雑誌)
単著・共著区分
タイトル "時相論理の充足可能性判定器のための論理式生成法"
著者 関澤俊弦, 高井利憲, 田辺良則, 高橋孝一
誌名 電子情報通信学会論文誌(D)
出版者
巻号頁 J89-D/ 4, 642-650
出版日 2006/04
ISSN
DOI
URL
概要
機関リポジトリ

No.33
掲載種別 研究論文(国際会議プロシーディングス)
単著・共著区分 共著(第一著者以外)
タイトル "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
出版者
巻号頁 228-234
出版日 2005/06
ISSN
DOI
URL
概要
機関リポジトリ