Information and Systems-Software Science(Date:2023/10/11)

Presentation
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion

Naoki Nishiguchi(Osaka Univ.),  Tatsuhiro Tsuchiya(Osaka Univ.),  

[Date]2023-10-11
[Paper #]SS2023-24,DC2023-30
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning

Kazuhiro Mukaida(Shinshu Univ.),  Seiji Fukui(TOSHIBA),  Takeshi Nagaoka(TOSHIBA),  Takayuki Kitagawa(TOSHIBA),  Shinpei Ogata(Shinshu Univ.),  Kozo Okano(Shinshu Univ.),  

[Date]2023-10-11
[Paper #]SS2023-23,DC2023-29
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT

Shogo Kanzaki(FUN),  Taku Okuno(FUN),  

[Date]2023-10-11
[Paper #]SS2023-21,DC2023-27
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications

Takeki Ninomiya(Shinshu Univ),  Masanosuke Ohto(Shinshu Univ),  Toshiki Takaoka(Shinshu Univ),  Shinpei Ogata(Shinshu Univ),  Kozo Okano(Shinshu Univ),  

[Date]2023-10-11
[Paper #]SS2023-22,DC2023-28
Low power consumption of neural networks using memory bit reduction and sampling

Hirokazu Kodachi(Chiba Univ.),  Masato Kitakami(Chiba Univ.),  

[Date]2023-10-11
[Paper #]SS2023-26,DC2023-32
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain

Nobuho Inamura(Chiba Univ.),  Masato Kitakami(Chiba Univ.),  

[Date]2023-10-11
[Paper #]SS2023-25,DC2023-31
A game-theoretic approach to indistinguishability of winning objectives as user privacy

Rindo Nakanishi(Nagoya Univ.),  Yoshiaki Takata(KUT),  Hiroyuki Seki(Nagoya Univ.),  

[Date]2023-10-12
[Paper #]SS2023-27,DC2023-33
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies

Jun Ishida(Nanzan University),  Sota Sakai(Nanzan University),  Yasunori Ishihara(Nanzan University),  

[Date]2023-10-12
[Paper #]SS2023-29,DC2023-35
R言語に対する欠陥データセット構築の試み

,  ,  ,  

[Date]2023-10-12
[Paper #]SS2023-30,DC2023-36
Robustness trends of DP-SGD, a machine learning with differential privacy

Takahiro Kanki(Sinshu Univ),  Shinpei Ogata(Sinshu Univ),  Kozo Okano(Sinshu Univ),  Shin Nakajima(NII),  

[Date]2023-10-12
[Paper #]SS2023-28,DC2023-34