IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Dependable Computing (DC) [schedule] [select]
Chair Tatsuhiro Tsuchiya (Osaka Univ.)
Vice Chair Toshinori Hosokawa (Nihon Univ.)
Secretary Masayuki Arai (Nihon Univ.), Kazuteru Namba (Chiba Univ.)

Technical Committee on Software Science (SS) [schedule] [select]
Chair Kozo Okano (Shinshu Univ.)
Vice Chair Yoshiki Higo (Osaka Univ.)
Secretary Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant Shinsuke Matsumoto (Osaka Univ.)

Conference Date Wed, Oct 11, 2023 14:30 - 17:15
Thu, Oct 12, 2023 10:00 - 11:55
Conference Place  
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, DC.

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 SS2023-21 DC2023-27 Shogo Kanzaki, Taku Okuno (FUN)
(2) 14:55-15:20 Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications SS2023-22 DC2023-28 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 --
SS2023-23 DC2023-29
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 SS2023-24 DC2023-30 Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.)
(5) 16:25-16:50 Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain SS2023-25 DC2023-31 Nobuho Inamura, Masato Kitakami (Chiba Univ.)
(6) 16:50-17:15 Low power consumption of neural networks using memory bit reduction and sampling SS2023-26 DC2023-32 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 SS2023-27 DC2023-33 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 SS2023-28 DC2023-34 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 SS2023-29 DC2023-35 Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University)
(10) 11:30-11:55 SS2023-30 DC2023-36

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
DC Technical Committee on Dependable Computing (DC)   [Latest Schedule]
Contact Address Masayuki Arai (College of Industrial Technology, Nihon Univ.)
E--mail: ain-u 
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Shinpei Ogata (Shinshu University)
TEL: +81-26-269-5468
E--mail: onshu-u 
Announcement Latest information will be presented on the homepage:

Last modified: 2023-10-08 16:27:59

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]

[Presentation and Participation FAQ] (in Japanese)

[Return to SS Schedule Page]   /   [Return to DC Schedule Page]   /  
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan