Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2024-03-14 13:45 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Consideration on System Safety Verification Based on User Personality Traits Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72 |
(To be available after the conference date) [more] |
KBSE2023-72 pp.43-48 |
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 |
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 |
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 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-22 11:25 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Verification of System Behavior using two types of model checking Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.) SS2023-20 KBSE2023-31 |
[more] |
SS2023-20 KBSE2023-31 pp.110-115 |
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 |
SWIM, KBSE |
2023-05-19 15:55 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
Method for Modeling of Anti Patterns for Machine Learning Projects Hironori Takeuchi (Musashi Univ.), Shinpei Ogata (Shinshu Univ.), Haruhiko Kaiya (Kanagawa Univ.), Hiroyuki Nakagawa (Osaka Univ.), Shuichiro Yamamoto (ITPUTN) KBSE2023-4 SWIM2023-4 |
[more] |
KBSE2023-4 SWIM2023-4 pp.21-26 |
SWIM, KBSE |
2023-05-20 14:25 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
A Study on Identifying Occurrence of User's Forgetting to Take Items from Interactive Systems Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-10 SWIM2023-10 |
(To be available after the conference date) [more] |
KBSE2023-10 SWIM2023-10 pp.59-64 |
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 |
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 |
SC |
2022-05-27 13:00 |
Online |
Online |
Constructing Knowledge for Machine Learning Projects Using Decision Process Model Hironori Takeuchi (Musashi Univ.), Shinpei Ogata (Shinshu Univ.), Haruhiko Kaiya (Kanagawa Univ.), Hiroyuki Nakagawa (Osaka Univ.) SC2022-6 |
[more] |
SC2022-6 pp.31-36 |
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 |
KBSE, SC |
2021-11-05 14:20 |
Online |
Online + Morioka City (KBSE) (Primary: Online, Secondary: On-site) |
Ikeda Hikaru, Nakagawa Hiroyuki, Sekimoto Fumi, Akagi Hiromasa, Tsuchiya Tatsuhiro () KBSE2021-26 SC2021-25 |
(To be available after the conference date) [more] |
KBSE2021-26 SC2021-25 pp.7-12 |
KBSE |
2021-03-05 13:05 |
Online |
Online |
Performance Comparison of Natural Language Processing Model for Traceability Link Creation Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2020-34 |
(To be available after the conference date) [more] |
KBSE2020-34 pp.1-6 |
KBSE |
2021-01-23 14:15 |
Online |
Online |
A study of the framework with runtime verification treating time constraints for self-adaptive systems Hideharu Kojima, Hiroyuki Nakagawa (Osaka Univ.) KBSE2020-31 |
[more] |
KBSE2020-31 pp.13-18 |