Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2024-03-22 16:10 |
Nagasaki |
Ikinoshima Hall (Primary: On-site, Secondary: Online) |
CPSY2023-48 DC2023-114 |
(To be available after the conference date) [more] |
CPSY2023-48 DC2023-114 pp.59-64 |
SS |
2024-03-07 13:55 |
Okinawa |
(Primary: On-site, Secondary: Online) |
SS2023-54 |
(To be available after the conference date) [more] |
SS2023-54 pp.31-36 |
DC |
2024-02-28 11:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
DC2023-96 |
(To be available after the conference date) [more] |
DC2023-96 pp.11-16 |
DC |
2024-02-28 16:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
DC2023-103 |
This study focuses on interdependent networks.
The objective of this study is to solve the problem of selecting nodes... [more] |
DC2023-103 pp.53-58 |
KBSE |
2024-01-23 15:50 |
Kagoshima |
(Primary: On-site, Secondary: Online) |
Constructing a Goal Model Incorporating Non-functional Requirements Using a Large Language Model. Shiroma Daiki, Watanabe Keitaro, Nakagawa Hiroyuki, Tsuchiya Tatsuhiro (OU) KBSE2023-55 |
[more] |
KBSE2023-55 pp.25-30 |
SS, DC |
2023-10-11 16:00 |
Nagano |
(Primary: On-site, Secondary: Online) |
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.) SS2023-24 DC2023-30 |
(To be available after the conference date) [more] |
SS2023-24 DC2023-30 pp.19-21 |
AI |
2023-09-12 16:30 |
Hokkaido |
|
Exploring the Potential of LLM for Review-driven Goal Model Generation Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) AI2023-20 |
User reviews play a crucial role for developers as they contain expectations regarding new features and bug reports. The... [more] |
AI2023-20 pp.109-116 |
LOIS |
2023-03-14 12:05 |
Okinawa |
(Primary: On-site, Secondary: Online) |
LOIS2022-64 |
(To be available after the conference date) [more] |
LOIS2022-64 pp.120-125 |
DC |
2023-02-28 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg (Primary: On-site, Secondary: Online) |
Taito Asaji, Tatsuhiro Tsuchiya (Osaka Univ.) DC2022-84 |
(To be available after the conference date) [more] |
DC2022-84 pp.12-15 |
DC |
2023-02-28 13:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg (Primary: On-site, Secondary: Online) |
A Clear and Understandable Notation for Expressing T-Way Test Sequence Generation Constraints Lele Jiang, Tatsuhiro Tsuchiya (Osaka Univ.) DC2022-85 |
This paper focuses on the problem of constraint representation for the generation of t-way test sequences.
T-way seque... [more] |
DC2022-85 pp.16-20 |
KBSE |
2023-01-19 15:10 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Fujimoto Masaya, Nakagawa Hiroyuki, Tsuchiya Tatsuhiro (Osaka Univ.) KBSE2022-47 |
(To be available after the conference date) [more] |
KBSE2022-47 pp.25-30 |
KBSE, SC |
2022-11-04 14:05 |
Nagano |
(Primary: On-site, Secondary: Online) |
Soshi Nitta, Hiroyuki Nakagawa (Osaka Univ.), Shinpei Ogata (Shinshu Univ.), Hironori Takeuchi (Musashi Univ.), Haruhiko Kaiya (Kanagawa Univ.), Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-39 SC2022-34 |
[more] |
KBSE2022-39 SC2022-34 pp.48-53 |
KBSE, SC |
2022-11-05 09:00 |
Nagano |
(Primary: On-site, Secondary: Online) |
Proposal of method for extracting goals from specifications based on questions about the direction of the text Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-37 SC2022-32 |
[more] |
KBSE2022-37 SC2022-32 pp.37-42 |
KBSE, SC |
2022-11-05 09:30 |
Nagano |
(Primary: On-site, Secondary: Online) |
Analysis of Parrondo's Paradox using a probabilistic model checker Naoki Nishiguchi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-38 SC2022-33 |
(To be available after the conference date) [more] |
KBSE2022-38 SC2022-33 pp.43-47 |
DC, SS |
2022-10-25 10:00 |
Fukushima |
(Primary: On-site, Secondary: Online) |
A note on performance and sensitivity analysis of self-adaptive systems using parametric Markov decision processes Junjun Zheng, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) SS2022-21 DC2022-27 |
This paper considers the sensitivity analysis for a self-adaptive system with uncertain parameters. The system behavior ... [more] |
SS2022-21 DC2022-27 pp.1-5 |
CPSY, DC, IPSJ-ARC [detail] |
2022-07-27 12:00 |
Yamaguchi |
Kaikyo Messe Shimonoseki (Primary: On-site, Secondary: Online) |
CPSY2022-5 DC2022-5 |
[more] |
CPSY2022-5 DC2022-5 pp.25-30 |
KBSE, SWIM |
2022-05-20 15:00 |
Tokyo |
(Primary: On-site, Secondary: Online) |
Practical Application of Self-Adaptive Anomaly Detection Method Using XAI Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-3 SWIM2022-3 |
In this study, we examine the use of XAI to improve the performance of a self-adaptive anomaly detection method. As a sp... [more] |
KBSE2022-3 SWIM2022-3 pp.13-18 |
KBSE |
2022-03-09 14:55 |
Online |
Online (Zoom) |
KBSE2021-46 |
(To be available after the conference date) [more] |
KBSE2021-46 pp.30-35 |
DC |
2022-03-01 10:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
DC2021-66 |
(To be available after the conference date) [more] |
DC2021-66 pp.13-17 |
NS, NWS (Joint) |
2022-01-28 13:30 |
Online |
Online |
Implementation and Evaluation for A Self-Stabilizing Leader Election Algorithm on the Population Protocol Model Keitaro Watanabe, Hideharu Kojima (Osaka Univ.), Yuichi Sudo (Hosei Univ.), Naoto Yanai, Tatsuhiro Tsuchiya (Osaka Univ.) NS2021-120 |
[more] |
NS2021-120 pp.56-61 |