Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SITE, LOIS, ISEC |
2024-11-14 10:30 |
Fukuoka |
|
Proposal of the Facility Layout Generation System using Hierarchical Reinforcement Learning Shunsuke Furuta (Osaka Univ.), Hiroyuki Nakagawa (Okayama Univ.), Tatsuhiro Tsuchiya (Osaka Univ.) ISEC2024-63 SITE2024-60 LOIS2024-27 |
[more] |
ISEC2024-63 SITE2024-60 LOIS2024-27 pp.5-10 |
SITE, LOIS, ISEC |
2024-11-15 10:00 |
Fukuoka |
|
Self-adaptive framework for machine learning systems under conditions where ground truth data is unavailable during operation Kento Furukawa (Osaka Univ.), Hiroyuki Nakagawa (Okayama Univ.), Tatsuhiro Tsuchiya (Osaka Univ.) ISEC2024-76 SITE2024-73 LOIS2024-40 |
[more] |
ISEC2024-76 SITE2024-73 LOIS2024-40 pp.95-100 |
DC, SS |
2024-10-17 13:55 |
Shizuoka |
|
SS2024-15 DC2024-43 |
This paper presents two constraint-handling methods using binary decision diagrams (BDD) for combinatorial interaction t... [more] |
SS2024-15 DC2024-43 pp.6-9 |
CPSY, DC, RECONF, IPSJ-ARC [detail] |
2024-08-09 14:50 |
Tokushima |
Awagin Hall (Primary: On-site, Secondary: Online) |
CPSY2024-36 DC2024-36 RECONF2024-36 |
This study focuses on interdependent networks. The objective of this study is to solve the problem of selecting a given ... [more] |
CPSY2024-36 DC2024-36 RECONF2024-36 pp.112-117 |
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 |