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 |
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 |
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 |
SWIM, KBSE |
2023-05-19 14:00 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
Group detection method from medium-density crowd using DeepSort and discussion on its accuracy improvement Naojiro Ueno, Hiroyuki Nakagawa (Osaka Univ.), Tomizawa Tetsuo (NITTC), Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2023-1 SWIM2023-1 |
(To be available after the conference date) [more] |
KBSE2023-1 SWIM2023-1 pp.1-6 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2023-03-24 09:25 |
Kagoshima |
Amagi Town Disaster Prevention Center (Tokunoshima) (Primary: On-site, Secondary: Online) |
Cai Wenxi, Tatsuhiro Tsuchiya (Osaka Univ.) CPSY2022-43 DC2022-102 |
(To be available after the conference date) [more] |
CPSY2022-43 DC2022-102 pp.55-59 |
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, 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 |
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 |
DC |
2021-12-10 14:20 |
Kagawa |
(Primary: On-site, Secondary: Online) |
Kyozo Hida, Tatsuhiro Tsuchiya (Osaka Univ) DC2021-58 |
This paper addresses the problem of finding the set of the most vulnerable nodes in interdependent networks where initia... [more] |
DC2021-58 pp.19-23 |
SS, DC |
2021-10-19 15:00 |
Online |
Online |
SS2021-16 DC2021-21 |
(To be available after the conference date) [more] |
SS2021-16 DC2021-21 pp.19-22 |