Wed, Oct 11 PM 14:30 - 15:45 |
(1) |
14:30-14:55 |
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT |
Shogo Kanzaki, Taku Okuno (FUN) |
(2) |
14:55-15:20 |
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications |
Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ) |
(3) |
15:20-15:45 |
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 -- |
Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
|
15:45-16:00 |
Break ( 15 min. ) |
Wed, Oct 11 PM 16:00 - 17:15 |
(4) |
16:00-16:25 |
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion |
Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.) |
(5) |
16:25-16:50 |
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain |
Nobuho Inamura, Masato Kitakami (Chiba Univ.) |
(6) |
16:50-17:15 |
Low power consumption of neural networks using memory bit reduction and sampling |
Hirokazu Kodachi, Masato Kitakami (Chiba Univ.) |
Thu, Oct 12 AM 10:00 - 10:50 |
(7) |
10:00-10:25 |
A game-theoretic approach to indistinguishability of winning objectives as user privacy |
Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) |
(8) |
10:25-10:50 |
Robustness trends of DP-SGD, a machine learning with differential privacy |
Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII) |
|
10:50-11:05 |
Break ( 15 min. ) |
Thu, Oct 12 AM 11:05 - 11:55 |
(9) |
11:05-11:30 |
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies |
Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University) |
(10) |
11:30-11:55 |
|
|