田辺良則 Tanabe Yoshinori

研究者番号	60443199
その他のID	https://orcid.org/0000-0002-0994-1697
所属 (現在)	2024年度: 鶴見大学, 文学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2015年度 – 2022年度: 鶴見大学, 文学部, 教授 2012年度 – 2014年度: 国立情報学研究所, アーキテクチャ科学系, 特任教授 2011年度 – 2014年度: 国立情報学研究所, アーキテクチャ科学研究系, 特任教授 2013年度: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2012年度 – 2013年度: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 … もっと見る 2010年度 – 2011年度: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 2010年度: 国立情報学研究所, アーキテクチャ科学研究系, 特任准教授 2009年度: 東京大学, 大学院・情報理工学系研究科, 特任助教隠す
審査区分/研究分野	研究代表者ソフトウェア / 情報学基礎研究代表者以外ソフトウエア / ソフトウェア / 小区分62030:学習支援システム関連
キーワード	研究代表者ソフトウェア検証 / モデル検査 / 仕様記述・検証 / ソフトウエア学 / アルゴリズム / ソフトウェア / Java / liveness / software / model checking … もっと見る / コード抽出 / 型推論 / Coq / ディペンダブル・コンピューティング / 定理証明支援系 / 法定手続き / min-plus代数 / 様相μ計算 / 充足可能性 / 決定手続き / 様相論理 … もっと見る研究代表者以外モデル検査 / 仕様記述・検証 / ソフトウェアテスト / 並列処理 / ハイブリッドシステム / 言語処理系 / 高水準モデリング言語 / ソフトウェアモデル検査 / チェックポインティング / Computer Based Testing / 定理証明 / 記号実行 / プログラミング言語 / 情報教育 / プログラミング教育 / MQTT / IoT / モデルベーステスト / ソフトウェア検証 / 仕様記述 / ネットワークソフトウェア / 実行時検証 / 実環境モデル検査 / ハイプリッドシステム / クラウドコンピューティング / 仕様記述・仕様検証 / 仮想計算機隠す

記号実行を用いたプログラミング試験問題の自動生成
- 研究代表者
  
  萩谷昌己
- 研究期間 (年度)
  2020 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分62030:学習支援システム関連
- 研究機関
  東京大学
IoTプロトコルのテストとモデル検査
- 研究代表者
  
  萩谷昌己
- 研究期間 (年度)
  2017 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  東京大学
ソフトウェアモデル検査における活性検証研究代表者
- 研究代表者
  
  田辺良則
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  鶴見大学
実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
- 研究代表者
  
  山本光晴
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  千葉大学
検証系を備えた高水準モデリング言語処理系の実装技術の深化
- 研究代表者
  
  上田和紀
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  早稲田大学
定理証明器によるモジュラーなソフトウェア検証研究代表者
- 研究代表者
  
  田辺良則
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  鶴見大学
   国立情報学研究所
クラウドコンピューティングミドルウェアのソフトウェアモデル検査手法
- 研究代表者
  
  萩谷昌己
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  東京大学
分散チェックポインティングを用いたネットワークアプリケーションのモデル検査
- 研究代表者
  
  山本光晴
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  千葉大学
高性能検証系を統合した高水準モデリング言語処理系の構築
- 研究代表者
  
  上田和紀
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  早稲田大学
様相論理の決定手続きとソフトウェア検証への応用研究代表者
- 研究代表者
  
  田辺良則
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  国立情報学研究所
   東京大学
仮想計算機によるコミュニケーションバックトラッキングとモデル検査への応用
- 研究代表者
  
  山本光晴
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  千葉大学

[雑誌論文] ビジュアルプログラミングによるプログラミング試験について2023
- 著者名/発表者名
  田辺良則，萩谷昌己
- 雑誌名
  
  情報処理学会研究報告コンピュータと教育
  
  巻: 2023-CE-168 ページ: 1-7
- データソース
  KAKENHI-PROJECT-20K12106
[雑誌論文] Automatic Scoring in Programming Examinations for Beginners2022
- 著者名/発表者名
  Yoshinori Tanabe, Masami Hagiya
- 雑誌名
  
  Knowledge-Based Software Engineering: 2022 - Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering
  
  巻: LAIS 30 ページ: 127-139
- DOI
  10.1007/978-3-031-17583-1_10
- ISBN
  9783031175824, 9783031175831
- 査読あり
- データソース
  KAKENHI-PROJECT-20K12106
[雑誌論文] 初級者を対象としたプログラミング試験のためのシステムについて2022
- 著者名/発表者名
  田辺良則, 萩谷昌己
- 雑誌名
  
  信学技報
  
  巻: 121 ページ: 7-11
- データソース
  KAKENHI-PROJECT-20K12106
[雑誌論文] ネットワークシミュレータを組み込んだモデルベーステスト環境2021
- 著者名/発表者名
  福田昂祐，田辺良則，萩谷昌己
- 雑誌名
  
  信学技報
  
  巻: 120 ページ: 13-18
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] 試験問題の自動採点が行えるプログラミング言語の検討2021
- 著者名/発表者名
  田辺良則, 萩谷昌己
- 雑誌名
  
  信学技報
  
  巻: 120 ページ: 48-53
- データソース
  KAKENHI-PROJECT-20K12106
[雑誌論文] Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers2020
- 著者名/発表者名
  Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  Softw. Test. Verification Reliab.
  
  巻: 30 号: 7-8
- DOI
  10.1002/stvr.1720
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] Model-Based Testing for MQTT Applications2020
- 著者名/発表者名
  Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
- 雑誌名
  
  Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering
  
  巻: 19 ページ: 47-59
- DOI
  10.1007/978-3-030-53949-8_5
- ISBN
  9783030539481, 9783030539498
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020
- 著者名/発表者名
  Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
- 雑誌名
  
  電子情報通信学会信学技報
  
  巻: vol. 119, no. 392 ページ: 37-42
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] ニューラルネットワークを用いた図書の自動分類2019
- 著者名/発表者名
  杉山治紀，田辺良則
- 雑誌名
  
  信学技報
  
  巻: 118 ページ: 61-66
- データソース
  KAKENHI-PROJECT-16K00109
[雑誌論文] モデルベーステストツールModbatによるIoTソフトウェア検証に向けて2019
- 著者名/発表者名
  田辺弘太郎，田辺良則，萩谷昌己
- 雑誌名
  
  電子情報通信学会信学技報
  
  巻: vol. 118, no. 425 ページ: 9-14
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] Model-based Network Fault Injection for IoT Protocols2019
- 著者名/発表者名
  Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
- 雑誌名
  
  14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2019)
  
  巻: Volume 1 ページ: 201-209
- DOI
  10.5220/0007618102010209
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17H01719
[雑誌論文] Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants2019
- 著者名/発表者名
  Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, and Toshinori Saito
- 雑誌名
  
  Sustainable ICT, Education and Learning - IFIP TC3 WG3.4 in collaboration with other TC3 WGs (SUZA2019)
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-16K00109
[雑誌論文] Model-based API Testing of Apache ZooKeeper2017
- 著者名/発表者名
  Cyrille Valentin Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto
- 雑誌名
  
  10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
  
  巻: 印刷中
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] Runtime Monitoring for Concurrent Systems2016
- 著者名/発表者名
  Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, and Mitsuharu Yamamoto
- 雑誌名
  
  Runtime Verification - 16th International Conference, (RV 2016)
  
  巻: LNCS 10012 ページ: 386-403
- DOI
  10.1007/978-3-319-46982-9_24
- ISBN
  9783319469812, 9783319469829
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] Datalogを利用したネットワーク設定変更手順生成2016
- 著者名/発表者名
  山崎智史，登内敏夫，田辺良則
- 雑誌名
  
  信学技報
  
  巻: 116 ページ: 33-38
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-16K00109
[雑誌論文] Modbat を用いた Apache ZooKeeper のモデルベーステストにおける探索アルゴリズムの改善2016
- 著者名/発表者名
  坂西一暁，Cyrille Artho，田辺良則，萩谷昌己
- 雑誌名
  
  ソフトウェア工学の基礎
  
  巻: 23 ページ: 253-254
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-16K00109
[雑誌論文] MQTT 実装のモデルベーステスト2016
- 著者名/発表者名
  米山惇，Cyrille Artho，田辺良則，萩谷昌己
- 雑誌名
  
  ソフトウェア工学の基礎
  
  巻: 23 ページ: 249-250
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-16K00109
[雑誌論文] Java Pathfinder on Android Devices2016
- 著者名/発表者名
  Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, and Yoshinori Tanabe
- 雑誌名
  
  ACM SIGSOFT Software Engineering Notes
  
  巻: 41(6) 号: 6 ページ: 1-5
- DOI
  10.1145/3011286.3011292
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] GRT at the SBST 2015 Tool Competition2015
- 著者名/発表者名
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  Proc 8th IEEE/ACM International Workshop on Search-Based Software Testing
  
  巻: 2015 ページ: 48-51
- DOI
  10.1109/sbst.2015.19
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Javaプラットホーム上でのCoq検証済みコードの実行について2015
- 著者名/発表者名
  湯浅能史, 田辺良則
- 雑誌名
  
  日本ソフトウェア科学会第32回大会論文集
  
  巻: 2015
- NAID
  40020656960
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25330096
[雑誌論文] Depth-First Heuristic Search for Software Model Checking2015
- 著者名/発表者名
  Jun Maeoka, Yoshinori Tanabe, Fuyuki Ishikawa
- 雑誌名
  
  Proc 14th IEEE/ACIS International Conference on Computer and Information Science
  
  巻: 2015 ページ: 75-96
- DOI
  10.1007/978-3-319-23467-0_6
- ISBN
  9783319234663, 9783319234670
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-25330096
[雑誌論文] Using Checkpointing and Virtualization for Fault Injection2015
- 著者名/発表者名
  Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- 雑誌名
  
  International Journal of Networking and Computing
  
  巻: 5 号: 2 ページ: 347-372
- DOI
  10.15803/ijnc.5.2_347
- NAID
  130005091738
- ISSN
  2185-2839, 2185-2847
- 言語
  英語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Software Model Checking of UDP-based Distributed Applications2015
- 著者名/発表者名
  Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
- 雑誌名
  
  International Journal of Networking and Computing
  
  巻: 5 号: 2 ページ: 373-402
- DOI
  10.15803/ijnc.5.2_373
- NAID
  130005091737
- ISSN
  2185-2839, 2185-2847
- 言語
  英語
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26280019
[雑誌論文] Cardinality of UDP Transmission Outcomes2015
- 著者名/発表者名
  Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
- 雑誌名
  
  Proc 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
  
  巻: 2015 ページ: 120-134
- DOI
  10.1007/978-3-319-25942-0_8
- ISBN
  9783319259413, 9783319259420
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Software Model Checking of UDP-based Distributed Applications2015
- 著者名/発表者名
  Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
- 雑誌名
  
  International Journal of Networking and Computing
  
  巻: 5 ページ: 373-402
- NAID
  130005091737
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23240003
[雑誌論文] Using Checkpointing and Virtualization for Fault Injection2014
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- 雑誌名
  
  Proc. Second International Symposium on Computing and Networking
  
  巻: 2014 ページ: 144-150
- DOI
  10.1109/candar.2014.45
- NAID
  130005091738
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] モデル検査による設計検証2014
- 著者名/発表者名
  吉岡信和，田辺良則，田原康之，長谷川哲夫，磯部祥尚
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 31 号: 4 ページ: 4_40-4_65
- DOI
  10.11309/jssst.31.4_40
- NAID
  130004892301
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-24300005, KAKENHI-PROJECT-26330081
[雑誌論文] 検証済みのコードによるCoqからScalaへのコード抽出2014
- 著者名/発表者名
  逸見港, 田辺良則, 今井宜洋, 萩谷昌己
- 雑誌名
  
  第31回日本ソフトウェア学会大会論文集
  
  巻: 2014
- NAID
  40020582402
- 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25330096
[雑誌論文] Scalaの並行プログラム検査における状態空間探索手法2014
- 著者名/発表者名
  島田工，前澤悠太，鄭顕志，田辺良則，本位田真一
- 雑誌名
  
  第9回ソフトウェアエンジニアリングシンポジウム論文集
  
  巻: 2014 ページ: 54-59
- NAID
  170000084817
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003
[雑誌論文] Software Model Checking of UDP-based Distributed Applications2014
- 著者名/発表者名
  Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  Proc. Second International Symposium on Computing and Networking
  
  巻: 2014 ページ: 96-105
- DOI
  10.1109/candar.2014.66
- NAID
  130005091737
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-26280019
[雑誌論文] Coqを使用したMapReduceアプリケーションの検証とScalaコード2014
- 著者名/発表者名
  姜帆, 田辺良則, 本位田真一
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J97-D(3) ページ: 625-634
- 査読あり
- データソース
  KAKENHI-PROJECT-23300011
[雑誌論文] Modular Software Model Checking for Distributed Systems2014
- 著者名/発表者名
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, and Koichi Takahashi
- 雑誌名
  
  IEEE Transactions on Software Engineering
  
  巻: - 号: 5 ページ: 483-501
- DOI
  10.1109/tse.2013.49
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
[雑誌論文] Coq を使用したMapReduce アプリケーションの検証とScala コード2014
- 著者名/発表者名
  姜帆, 田辺良則, 本位田真一
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J97-D ページ: 625-634
- 査読あり
- データソース
  KAKENHI-PROJECT-25330096
[雑誌論文] Modbat: A Model-Based API Tester for Event-Driven Systems2013
- 著者名/発表者名
  Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, and Mitsuharu Yamamoto
- 雑誌名
  
  Proceedings of the 9th Haifa Verification Conference, Lecture Notes in Computer Science
  
  巻: 8244 ページ: 112-128
- DOI
  10.1007/978-3-319-03077-7_8
- ISBN
  9783319030760, 9783319030777
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004
[雑誌論文] JavaPathFinderにおける探索打ち切りポリシーを用いたヒューリスティック探索2013
- 著者名/発表者名
  前岡淳, 田辺良則, 石川冬樹
- 雑誌名
  
  コンピュータ・ソフトウェア
  
  巻: 30(3) ページ: 109-122
- NAID
  130004549315
- 査読あり
- データソース
  KAKENHI-PROJECT-23300011
[雑誌論文] Software Model Checking for Distributed Systems with Selector-Based, Non-blocking Communication2013
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, and Mitsuharu Yamamoto
- 雑誌名
  
  28th IEEE/ACM International Conference on Automated Software Engineering
  
  巻: - ページ: 169-179
- DOI
  10.1109/ase.2013.6693077
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
[雑誌論文] Java PathFinderにおける探索打ち切りポリシーを用いたヒューリスティック探索2013
- 著者名/発表者名
  前岡淳, 田辺良則, 石川冬樹
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 30 号: 3 ページ: 3_109-3_122
- DOI
  10.11309/jssst.30.3_109
- NAID
  130004549315
- ISSN
  0289-6540
- 言語
  日本語
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300011
[雑誌論文] システム群のBASE特性を保証するためのCoqを用いた検証2013
- 著者名/発表者名
  高鶴哲也，今井宜洋，田辺良則
- 雑誌名
  
  ソフトウェア工学の基礎
  
  巻: 20 ページ: 299-300
- データソース
  KAKENHI-PROJECT-25330096
[雑誌論文] アスペクト指向言語を利用したソフトウェアモデル検査手法2013
- 著者名/発表者名
  古賀陽一郎，田辺良則
- 雑誌名
  
  ソフトウェア工学の基礎
  
  巻: 20 ページ: 203-208
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003
[雑誌論文] 実装コード不具合検出へのJava PathFinder適用に向けた探索範囲削減手法の検討2012
- 著者名/発表者名
  前岡淳，田辺良則
- 雑誌名
  
  ソフトウェア工学の基礎
  
  巻: 19 ページ: 189-194
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003
[雑誌論文] Model Checking Distributed Systems by Combining Caching and Process Checkpointing2011
- 著者名/発表者名
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, and Mitsuharu Yamamoto
- 雑誌名
  
  Proceedings of 26th IEEE/ACM International Conference on Automated Software Engineering(ASE)
  
  ページ: 103-112
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Model checking distributed systems by combining caching and process checkpointing2011
- 著者名/発表者名
  Watcharin Leungwattanakit
- 雑誌名
  
  26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
  
  巻: 1 ページ: 103-112
- DOI
  10.1109/ase.2011.6100043
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006, KAKENHI-PROJECT-23240003, KAKENHI-PROJECT-23300004, KAKENHI-PROJECT-23300011
[雑誌論文] edubase Cloud: An Open-source Cloud Platform for Cloud Engineers2011
- 著者名/発表者名
  Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
- 雑誌名
  
  SECLOUD '11 Proceedings of the 2nd International Workshop on Software Engineering for Cloud Computing
  
  巻: 1 ページ: 73-73
- 査読あり
- データソース
  KAKENHI-PROJECT-23240003
[雑誌論文] Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications2011
- 著者名/発表者名
  Kosuke Ono, Yoichi Hirai, Masami Hagiya Natsuko Noda
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7041 ページ: 350-365
- DOI
  10.1007/978-3-642-24690-6_24
- ISBN
  9783642246890, 9783642246906
- 査読あり
- データソース
  KAKENHI-PROJECT-11J06978, KAKENHI-PROJECT-21500006, KAKENHI-PROJECT-23240003
[雑誌論文] Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications2011
- 著者名/発表者名
  Kosuke Ono, Yoichi Hirai, Masami Hagiya and Yoshinori Tanabe
- 雑誌名
  
  Proceedings of 9th International Conference on Software Engineering and Formal Methods(SEFM 2011)
  
  巻: Vol.7041 ページ: 350-365
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Decidability and Undecidability Results of Modalμ-calculi with N-infinity Semantics2010
- 著者名/発表者名
  Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
- 雑誌名
  
  Proceedings of 17th Internaional Workshop of Logic, Language, Information and Computation(WoLLIC2010)
  
  ページ: 148-160
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Model Checking of Concurrent Algorithms : From Java to C2010
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  DIPES 2010 : IFIP Conference on Distributed and Parallel Embedded Systems (掲載確定)
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Modalμ-calculus on min-plus algebra N-infinity2010
- 著者名/発表者名
  Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: Vol.27, No.3 ページ: 99-113
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Decidability and Undecidability Results of Modal μ-calculi with N-infinity Semantics2010
- 著者名/発表者名
  Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
- 雑誌名
  
  WOLLIC2010, Lecture Notes in Artificial Intelligence
  
  巻: 6188 ページ: 148-160
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Model Checking of Concurrent Algorithms : From Java to C2010
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  IFIP Advances in Information and Communication Technology Vol.329
  
  ページ: 90-101
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Model Checking of Concurrent Algorithms : From Java to C2010
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  IFIP Advances in Information and Communication Technology
  
  巻: 329 ページ: 90-101
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Cache-based Model Checking of Networked Applicattions : From Linear to Branching Time2009
- 著者名/発表者名
  Cyrille Artho, Watcharin Leung wattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  24th IEEE/ACM International Conference on Automated Software Engineering
  
  ページ: 447-458
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Introduction of virtualization technology to multi-process model checking2009
- 著者名/発表者名
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  First NASA Formal Methods Symposium, NASA Conference Publication
  
  ページ: 106-110
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Fixed-point Computations over Functions on Integers with Operations Min, Max and Plus2009
- 著者名/発表者名
  Masami Hagiya, Yoshinori Tanabe
- 雑誌名
  
  Proceedings of 6th Workshop on Fixed Points in Computer Science(FICS2009)
  
  ページ: 108-115
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Verifying networked programs using a model checker extension2009
- 著者名/発表者名
  Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  31st International Conference on Software Engineering, Companion Volume
  
  ページ: 409-410
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Pre-and Post-conditions Expressed in Variants of the Modalμ-calculus2009
- 著者名/発表者名
  Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: Vol.E92-D ページ: 995-1002
- NAID
  10026809282
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[雑誌論文] Cache-based Model Checking of Networked Applications : From Linear to Branching Time2009
- 著者名/発表者名
  Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 雑誌名
  
  24th IEEE/ACM International Conference on Automated Software Engineering
  
  ページ: 447-458
- 査読あり
- データソース
  KAKENHI-PROJECT-20300006
[雑誌論文] Pre- and Post-conditions Expressed in Variants of the Modal μ-calculus2009
- 著者名/発表者名
  Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
- 雑誌名
  
  IEICE Transactions on Information and Systems Vol.E92-D
  
  ページ: 995-1002
- NAID
  10026809282
- 査読あり
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] ブロック部品を用いたプログラミング試験について2023
- 著者名/発表者名
  田辺良則，萩谷昌己
- 学会等名
  情報処理学会コンピュータと教育研究会 168回研究発表会
- データソース
  KAKENHI-PROJECT-20K12106
[学会発表] Automatic Scoring in Programming Examinations for Beginners2022
- 著者名/発表者名
  Yoshinori Tanabe, Masami Hagiya
- 学会等名
  14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K12106
[学会発表] 初級者を対象としたプログラミング試験のためのシステムについて2022
- 著者名/発表者名
  田辺良則, 萩谷昌己
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-20K12106
[学会発表] 試験問題の自動採点が行えるプログラミング言語の検討2021
- 著者名/発表者名
  田辺良則, 萩谷昌己
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-20K12106
[学会発表] ネットワークシミュレータを組み込んだモデルベーステスト環境2021
- 著者名/発表者名
  福田昂祐，田辺良則，萩谷昌己
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020
- 著者名/発表者名
  Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices2020
- 著者名/発表者名
  Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
- 学会等名
  5th Workshop on Monitoring and Testing of Cyber-Physical Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] Model-Based Testing for MQTT Applications2020
- 著者名/発表者名
  Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
- 学会等名
  13th International Joint Conference on Knowledge-Based Software Engineering
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] ニューラルネットワークを用いた図書の自動分類2019
- 著者名/発表者名
  杉山治紀，田辺良則
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-16K00109
[学会発表] モデルベーステストツールModbatによるIoTソフトウェア検証に向けて2019
- 著者名/発表者名
  田辺弘太郎，田辺良則，萩谷昌己
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] IoTソフトウェアのための不安定なネットワークとデバイスをシミュレートするモデルベーステスト2018
- 著者名/発表者名
  米山惇, Cyrille Artho, 萩谷昌己, 田辺良則
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-16K00109
[学会発表] 分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化2018
- 著者名/発表者名
  坂西一暁, Cyrille Artho, 田辺良則, 萩谷昌己, 北村崇師
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] IoTソフトウェアのための不安定なネットワークとデバイスをシミュレートするモデルベーステスト2018
- 著者名/発表者名
  米山惇, Cyrille Artho, 萩谷昌己, 田辺良則
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-17H01719
[学会発表] 分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化2018
- 著者名/発表者名
  坂西一暁, Cyrille Artho, 田辺良則, 萩谷昌己, 北村崇師
- 学会等名
  第20回プログラミングおよびプログラミング言語ワークショップ
- データソース
  KAKENHI-PROJECT-16K00109
[学会発表] Java Pathfinder における弱公平性条件の実装2016
- 著者名/発表者名
  太田十字光, 田辺良則, 青木利晃
- 学会等名
  日本ソフトウェア科学会第33回大会
- 発表場所
  東北大学 (宮城県仙台市)
- データソース
  KAKENHI-PROJECT-16K00109
[学会発表] Monitoring Distributed Applications with Java Pathfinder2016
- 著者名/発表者名
  Lei Ma, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Alexander Kohan and Mitsuharu Yamamoto
- 学会等名
  Java Pathfinder Workshop 2016
- 発表場所
  Seattle, USA
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26280019
[学会発表] GRT at the SBST 2015 Tool Competition2015
- 著者名/発表者名
  Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 学会等名
  8th IEEE/ACM International Workshop on Search-Based Software Testing
- 発表場所
  フィレンツェ (イタリア)
- 年月日
  2015-05-02
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Cardinality of UDP Transmission Outcomes2015
- 著者名/発表者名
  Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
- 学会等名
  1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
- 発表場所
  南京 (中国)
- 年月日
  2015-11-04
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Javaプラットホーム上でのCoq検証済みコードの実行について2015
- 著者名/発表者名
  湯浅能史, 田辺良則
- 学会等名
  日本ソフトウェア科学会第32回大会
- 発表場所
  早稲田大学 (東京都新宿区)
- 年月日
  2015-09-09
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] Depth-First Heuristic Search for Software Model Checking2015
- 著者名/発表者名
  Jun Maeoka, Yoshinori Tanabe, Fuyuki Ishikawa
- 学会等名
  14th IEEE/ACIS International Conference on Computer and Information Science
- 発表場所
  ラスベガス (米国)
- 年月日
  2015-07-01
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Depth-First Heuristic Search for Software Model Checking2015
- 著者名/発表者名
  J. Maeoka, Y. Tanabe, F. Ishikawa
- 学会等名
  14th IEEE/ACIS International Conference on Computer and Information Science (ICIS2015)
- 発表場所
  ラスベガス (米国)
- 年月日
  2015-07-01
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] 検証済みのコードによるCoqからScalaへのコード抽出2014
- 著者名/発表者名
  逸見港, 田辺良則, 今井宜洋, 萩谷昌己
- 学会等名
  第31回ソフトウェア科学会大会
- 発表場所
  名古屋大学 (愛知県)
- 年月日
  2014-09-10
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] Modbat: A Model-based API Tester for Event-driven Systems2013
- 著者名/発表者名
  C. Artho, A. Biere, M. Hagiya, M. Seidl, E. Platon, Y. Tanabe, M. Yamamoto
- 学会等名
  9th Haifa Verification Conference
- 発表場所
  IBM Research（イスラエル、Haifa）
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq2013
- 著者名/発表者名
  Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
- 学会等名
  11th Asian Symposium on Programming Languages and Systems
- 年月日
  2013-12-10
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] アスペクト指向言語を利用したソフトウェアモデル検査手法2013
- 著者名/発表者名
  古賀陽一郎，田辺良則
- 学会等名
  第20回ソフトウェア工学の基礎ワークショップ (FOSE 2013)
- 発表場所
  ゆのくに天祥 (石川県)
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Software Model Checking for Distributed Systems with Selector-Based, Non-Blocking Communication2013
- 著者名/発表者名
  C. Artho, M. Hagiya, R. Potter, Y. Tanabe, F. Weitl, M. Yamamoto
- 学会等名
  28th Int. Conf. on Automated Software Engineering
- 発表場所
  Crowne Plaza Cabana（米国、カリフォルニア州）
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化2013
- 著者名/発表者名
  信夫裕貴, 田辺良則, 上田和紀
- 学会等名
  日本ソフトウェア科学会第30回大会
- 年月日
  2013-09-13
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] フィールドアクセスに着目したモデル検査の効率化2013
- 著者名/発表者名
  前岡淳, 田辺良則, 石川冬樹
- 学会等名
  第20回ソフトウェア工学の基礎ワークショップ (FOSE 2013)
- 発表場所
  ゆのくに天祥 (石川県)
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Java PathFinderを使用したOpenFlowコントローラのモデル検査2013
- 著者名/発表者名
  穂浪勇利，田辺良則，萩谷昌己
- 学会等名
  第30回日本ソフトウェア科学会大会
- 発表場所
  東京大学 (東京都)
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Modbat: A model-based API tester for event-driven systems2012
- 著者名/発表者名
  C. Artho, A. Biere, M. Hagiya, R. Potter, R. Ramler, Y. Tanabe, F. Weitl, M. Yamamoto
- 学会等名
  the Dependable Systems Workshop 2012
- 発表場所
  計算科学研究機構（兵庫）
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] AOPを応用した実用的なソースコードモデル検査手法2012
- 著者名/発表者名
  古賀陽一郎，田辺良則
- 学会等名
  第178回情報処理学会ソフトウェア工学研究発表会
- 発表場所
  広島市立大学 (広島)
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2012
- 著者名/発表者名
  田辺良則, Cyriile Artho, Watcharin Leungwattanakit,山本光晴,萩谷昌己
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  沖縄産業支援センター
- 年月日
  2012-09-29
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Coqを使用したMap Reduceアプリケーションの検証とScalaコードの抽出2012
- 著者名/発表者名
  姜帆,田辺良則,本位田真一
- 学会等名
  第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)
- 発表場所
  和歌山県白浜町旅館むさし
- 年月日
  2012-03-09
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] 実装コード不具合検出へのJava PathFinder適用に向けた探索範囲削減手法の検討2012
- 著者名/発表者名
  前岡淳，田辺良則
- 学会等名
  第19回ソフトウェア工学の基礎ワークショップ (FOSE 2012)
- 発表場所
  ゆふいん山水館 (大分)
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Model Checking Distributed Systems by Combining Caching and Process Checkpointing2011
- 著者名/発表者名
  W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto
- 学会等名
  26th Int. Conf. on Automated Software Engineering (ASE 2011)
- 発表場所
  Oread, Lawrence, Kan, USA
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2011
- 著者名/発表者名
  田辺良則, Cyriile Artho, Watcharin Leungwattanakit, 山本光晴, 萩谷昌己
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  沖縄産業支援センター，沖縄県那覇市
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2011
- 著者名/発表者名
  田辺良則
- 学会等名
  日本ソフトウェア科学会第28回大会
- 発表場所
  沖縄産業支援センター
- 年月日
  2011-09-28
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて2011
- 著者名/発表者名
  田辺良則, Cyriile Artho, Watcharin Leungwattanakit, 山本光晴, 萩谷昌己
- 学会等名
  日本ソフトウェア科学会大会第28回大会
- 発表場所
  那覇
- 年月日
  2011-09-28
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications2011
- 著者名/発表者名
  Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
- 学会等名
  9th International Conference of Software Engineering and Formal Methods, SEFM 2011
- 発表場所
  Montevideo, Uruguay
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] ネットワークアプリケーションのマスタースレーブ方式によるソフトウェアモデル検査2010
- 著者名/発表者名
  田辺良則
- 学会等名
  第8回ディペンダブルシステムワークショップ,日本ソフトウェア科学会ディペンダブルシステム研究会
- 発表場所
  函館大沼プリンスホテル
- 年月日
  2010-07-20
- データソース
  KAKENHI-PROJECT-20300006
[学会発表] Decidability and Undecidability Results of Modalμ-calculi with N-infinity Semantics2009
- 著者名/発表者名
  Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
- 学会等名
  情報処理学会プログラミング研究会(PRO)
- 発表場所
  東京工業大学
- 年月日
  2009-06-08
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Toward Liveness Verification in Java Pathfinder2009
- 著者名/発表者名
  Yoshinori Tanabe, Vinh Cuong Tran, Masami Hagiya
- 学会等名
  第6回ディペンダブルシステムシンポジウム(dss2009)
- 発表場所
  大阪大学大学院
- 年月日
  2009-12-14
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Games and Natural Number-valued Semantics of the Modal μ-calculus2009
- 著者名/発表者名
  Masami Hagiya, Yoshinori Tanabe(登壇)
- 学会等名
  日本ソフトウェア科学会第26回大会
- 発表場所
  島根大学
- 年月日
  2009-09-16
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Fixed-point Computations over Functions on Integers with Operations Min, Max and Plus2009
- 著者名/発表者名
  Masami Hagiya, Yoshinori Tanabe(登壇)
- 学会等名
  6th Workshop on Fixed Points in Computer Science (FICS 2009)
- 発表場所
  University of Coimbra, Portugal
- 年月日
  2009-09-13
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Decidability and Undecidability Results of Modal μ-calculi with N-infinity Semantics2009
- 著者名/発表者名
  Alexis Goyet, Masami Hagiya, Yoshinori Tanabe(登壇)
- 学会等名
  情報処理学会プログラミング研究会(PRO)
- 発表場所
  東京工業大学
- 年月日
  2009-06-08
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Games and Natural Number-valued Semantics of the Modalμ-calculus2009
- 著者名/発表者名
  Masami Hagiya, Yoshinori Tanabe
- 学会等名
  日本ソフトウェア科学会第26回大会
- 発表場所
  島根大学
- 年月日
  2009-09-16
- データソース
  KAKENHI-PROJECT-21500006
[学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq
- 著者名/発表者名
  Yuuki Shinobu, Yoshinori Tanabe, and Kazunori Ueda
- 学会等名
  APLAS 2013
- 発表場所
  Rydges on Swanston (Melbourne, Australia)
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化
- 著者名/発表者名
  信夫裕貴，田辺良則，上田和紀
- 学会等名
  第30回日本ソフトウェア科学会大会
- 発表場所
  東京大学 (東京都文京区)
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] CoqからScalaへのロバストなコード抽出に向けて
- 著者名/発表者名
  逸見港，田辺良則，萩谷昌己
- 学会等名
  第11回ディペンダブルソフトウェアワークショップ(DSW2013)
- 発表場所
  ホテルリゾーピア熱海 (静岡県熱海市)
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] CoqからScalaへのコード抽出とその妥当性
- 著者名/発表者名
  田辺良則，逸見港, 今井宜洋, 萩谷昌己
- 学会等名
  Theorem proving and provers for reliable theory and implementations (TPP2014)
- 発表場所
  九州大学・西新プラザ大会議室 (福岡県)
- 年月日
  2014-12-03 – 2014-12-05
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] Software model checking for distributed systems with selector-based, non-blocking communication
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- 学会等名
  ASE 2013
- 発表場所
  Palo Alto, USA
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] Software Model Checking of UDP-based Distributed Applications
- 著者名/発表者名
  Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
- 学会等名
  The Second International Symposium on Computing and Networking (CANDAR 2014)
- 発表場所
  静岡県コンベンションアーツセンター (静岡県)
- 年月日
  2014-12-10 – 2014-12-12
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] edubase Cloud: An Open-source Cloud Platform for Cloud Engineers
- 著者名/発表者名
  Nobukazu Yoshioka, Shigetoshi Yokoyama, Yoshionori Tanabe, Shinichi Honiden
- 学会等名
  2nd International Workshop on Software Engineering for Cloud Computing
- 発表場所
  Waikiki, Honolulu, Hawaii, USA
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Formalization of the Graph Rewriting Operations of LMNtal by Coq
- 著者名/発表者名
  Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda
- 学会等名
  11th Asian Symposium on Programming Languages and Systems (APLAS 2013)
- 発表場所
  Melbourne, Australia
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] 遷移のキャッシュを行うLTLモデル検査方式
- 著者名/発表者名
  田辺良則
- 学会等名
  第17回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  道後プリンスホテル(愛媛県)
- 年月日
  2015-03-04 – 2015-03-06
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] Scalaの並行プログラム検査における状態空間探索手法
- 著者名/発表者名
  島田工，前澤悠太，鄭顕志，田辺良則，本位田真一
- 学会等名
  第9回ソフトウェアエンジニアリングシンポジウム
- 発表場所
  芝浦工業大学 (東京都)
- 年月日
  2014-09-01 – 2014-09-03
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] ソフトウェアモデル検査におけるLTL検証の探索範囲限定手法による効率化
- 著者名/発表者名
  前岡淳, 田辺良則, 石川冬樹
- 学会等名
  第21回ソフトウェア工学の基礎ワークショップ
- 発表場所
  霧島国際ホテル (鹿児島県)
- 年月日
  2014-12-11 – 2014-12-13
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] LMNtalにおけるグラフ書換え操作のCoqによる形式化
- 著者名/発表者名
  信夫裕貴，田辺良則，上田和紀
- 学会等名
  日本ソフトウェア科学会第30回大会(JSSST2013)
- 発表場所
  東京
- データソース
  KAKENHI-PROJECT-23300011
[学会発表] Using Checkpointing and Virtualization for Fault Injection
- 著者名/発表者名
  Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
- 学会等名
  The Second International Symposium on Computing and Networking (CANDAR 2014)
- 発表場所
  静岡県コンベンションアーツセンター (静岡県)
- 年月日
  2014-12-10 – 2014-12-12
- データソース
  KAKENHI-PROJECT-23240003
[学会発表] CoqからScalaへのロバストなコード抽出
- 著者名/発表者名
  逸見港，田辺良則，萩谷昌己
- 学会等名
  第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014）
- 発表場所
  阿蘇の司ビラパークホテル (熊本県阿蘇市)
- データソース
  KAKENHI-PROJECT-25330096
[学会発表] システム群のBASE特性を保証するためのCoqを用いた検証
- 著者名/発表者名
  高鶴哲也，今井宜洋，田辺良則
- 学会等名
  第20回ソフトウェア工学の基礎ワークショップ (FOSE 2013)
- 発表場所
  ゆのくに天祥 (石川県加賀市)
- データソース
  KAKENHI-PROJECT-25330096

1. 萩谷昌己 (30156252)

共同の研究課題数: 8件

共同の研究成果数: 61件
2. 山本光晴 (00291295)

共同の研究課題数: 6件

共同の研究成果数: 28件
3. アルトシリル (30462831)

共同の研究課題数: 4件

共同の研究成果数: 28件
4. ヴァイテルフランツ

共同の研究課題数: 3件

共同の研究成果数: 10件
5. 上田和紀 (10257206)

共同の研究課題数: 2件

共同の研究成果数: 4件
6. 細部博史 (60321577)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 石井大輔 (00454025)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. ポッターリチャード

共同の研究課題数: 2件

共同の研究成果数: 5件
9. レオンワタナキットワチャリン

共同の研究課題数: 2件

共同の研究成果数: 5件
10. セビナジム

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 高橋孝一 (40357372)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 横山重俊 (10600968)

共同の研究課題数: 1件

共同の研究成果数: 2件
13. 山形頼之 (40415758)

共同の研究課題数: 1件

共同の研究成果数: 3件
14. 斎藤俊則 (80434447)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 湯浅能史

共同の研究課題数: 1件

共同の研究成果数: 2件
16. 逸見港

共同の研究課題数: 1件

共同の研究成果数: 5件
17. コハンアレクサンダー

共同の研究課題数: 1件

共同の研究成果数: 2件
18. 馬雷

共同の研究課題数: 1件

共同の研究成果数: 4件
19. 松本翔太

共同の研究課題数: 1件

共同の研究成果数: 0件

田辺 良則 Tanabe Yoshinori

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアモデル検査における活性検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

定理証明器によるモジュラーなソフトウェア検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

様相論理の決定手続きとソフトウェア検証への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] ビジュアルプログラミングによるプログラミング試験について2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Automatic Scoring in Programming Examinations for Beginners2022

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] 初級者を対象としたプログラミング試験のためのシステムについて2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] ネットワークシミュレータを組み込んだモデルベーステスト環境2021

著者名/発表者名

雑誌名

データソース

田辺良則 Tanabe Yoshinori