Tanabe Yoshinori 田辺良則

… Alternative Names

TANABE Yoshinori 田辺良則

Less

Researcher Number	60443199
Other IDs	https://orcid.org/0000-0002-0994-1697
Affiliation (Current)	2024: 鶴見大学, 文学部, 教授
Affiliation (based on the past Project Information) *help	2015 – 2022: 鶴見大学, 文学部, 教授 2012 – 2014: 国立情報学研究所, アーキテクチャ科学系, 特任教授 2011 – 2014: 国立情報学研究所, アーキテクチャ科学研究系, 特任教授 2013: 国立情報学研究所, アーキテクチャ科学研究系, 教授 2012 – 2013: 国立情報学研究所, 大学共同利用機関等の部局等, 教授 … More 2010 – 2011: 国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 2010: 国立情報学研究所, アーキテクチャ科学研究系, 特任准教授 2009: The University of Tokyo, 大学院・情報理工学系研究科, 特任助教 Less
Review Section/Research Field	Principal Investigator Software / Fundamental theory of informatics Except Principal Investigator Software / Software / Basic Section 62030:Learning support system-related
Keywords	Principal Investigator ソフトウェア検証 / モデル検査 / 仕様記述・検証 / ソフトウエア学 / アルゴリズム / ソフトウェア / Java / liveness / software / model checking … More / コード抽出 / 型推論 / Coq / ディペンダブル・コンピューティング / 定理証明支援系 / 法定手続き / min-plus代数 / 様相μ計算 / 充足可能性 / 決定手続き / 様相論理 … More Except Principal Investigator モデル検査 / 仕様記述・検証 / ソフトウェアテスト / 並列処理 / ハイブリッドシステム / 言語処理系 / 高水準モデリング言語 / ソフトウェアモデル検査 / チェックポインティング / Computer Based Testing / 定理証明 / 記号実行 / プログラミング言語 / 情報教育 / プログラミング教育 / MQTT / IoT / モデルベーステスト / ソフトウェア検証 / 仕様記述 / ネットワークソフトウェア / 実行時検証 / 実環境モデル検査 / ハイプリッドシステム / クラウドコンピューティング / 仕様記述・仕様検証 / 仮想計算機 Less

Automatic generation of programming questions by symbolic execution
- Principal Investigator
  
  Hagiya Masami
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62030:Learning support system-related
- Research Institution
  The University of Tokyo
Testing and model checking of IoT protocols
- Principal Investigator
  
  Hagiya Masami
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Liveness verification in software model checkingPrincipal Investigator
- Principal Investigator
  
  Tanabe Yoshinori
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tsurumi University
Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
- Principal Investigator
  
  Yamamoto Mitsuharu
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University
Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
- Principal Investigator
  
  Ueda Kazunori
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Modular software verification with a proof assistantPrincipal Investigator
- Principal Investigator
  
  TANABE Yoshinori
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tsurumi University
  National Institute of Informatics
Software model checking methods for cloud computing middleware
- Principal Investigator
  
  Hagiya Masami
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Model Checking Network Applications using Distributed Checkpointing
- Principal Investigator
  
  YAMAMOTO Mitsuharu
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University
Implementations of high-level modeling languages that integrate high-performance verifiers
- Principal Investigator
  
  UEDA Kazunori
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
Decision procedures of modal logics and their application to software verificationPrincipal Investigator
- Principal Investigator
  
  TANABE Yoshinori
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  National Institute of Informatics
  The University of Tokyo
Communication Backtracking by Virtual Machines and Applications to Model Checking
- Principal Investigator
  
  YAMAMOTO Mitsuharu
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Chiba University

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

1. HAGIYA Masami (30156252)

# of Collaborated Projects: 8 results

# of Collaborated Products: 61 results
2. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 6 results

# of Collaborated Products: 28 results
3. ARTHO Cyrille (30462831)

# of Collaborated Projects: 4 results

# of Collaborated Products: 28 results
4. WEITL Franz

# of Collaborated Projects: 3 results

# of Collaborated Products: 10 results
5. UEDA Kazunori (10257206)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
6. HOSOBE Hiroshi (60321577)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. ISHII Daisuke (00454025)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. POTTER Richard

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
9. LEUNGWATTANAKIT Watcharin

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
10. SEBIH Nazim

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. TAKAHASHI Koichi (40357372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. YOKOYAMA Shigetoshi (10600968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
13. 山形頼之 (40415758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
14. 斎藤俊則 (80434447)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. YUASA Yoshifumi

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
16. HENMI Ko

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
17. KOHAN Alexander

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
18. MA Lei

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
19. MATSUMOTO Shota

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Tanabe Yoshinori 田辺 良則

TANABE Yoshinori 田辺 良則

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Liveness verification in software model checkingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Modular software verification with a proof assistantPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Decision procedures of modal logics and their application to software verificationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] ビジュアルプログラミングによるプログラミング試験について2023

Author(s)

Journal Title

Data Source

[Journal Article] Automatic Scoring in Programming Examinations for Beginners2022

Author(s)

Journal Title

DOI

ISBN

Data Source

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

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Tanabe Yoshinori 田辺良則

TANABE Yoshinori 田辺良則