IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 8 of 8  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2024-03-15
13:20
Okinawa Okinawa Prefectual General Welfare Center
(Primary: On-site, Secondary: Online)
On Improvement of Variability Model Division Method
Tomoji Kishi (Waseda Univ.)
(To be available after the conference date) [more]
KBSE 2024-01-24
13:20
Kagoshima
(Primary: On-site, Secondary: Online)
A method for designing a secure IoT system using security patterns
Yutsuki Mori, Tomoji Kishi (Waseda Univ) KBSE2023-60
 [more] KBSE2023-60
pp.55-60
KBSE 2024-01-24
15:10
Kagoshima
(Primary: On-site, Secondary: Online)
A Proposal for Source Code Defect Prediction Method Using GraphCodeBERT
Yu Saito, Tomoji Kishi (Waseda Univ.) KBSE2023-63
(To be available after the conference date) [more] KBSE2023-63
pp.73-78
KBSE 2024-01-24
15:40
Kagoshima
(Primary: On-site, Secondary: Online)
Improvement of learning method using intermediate representation in machine learning method for code smell detection
Risa Hirahara, Tomoji Kishi (Waseda Univ.) KBSE2023-64
In recent years,methods for detecting code smells have mainly been researched using machine learning.However,the disadva... [more] KBSE2023-64
pp.79-84
KBSE, SC 2023-11-17
15:30
Miyagi Sento Kaikan Variability Model Division for Scalability Improvement
Tomoji Kishi (WU) KBSE2023-37 SC2023-20
Variability models have been used for logic-based analysis and verification, but the number of variations is combinatori... [more] KBSE2023-37 SC2023-20
pp.31-36
KBSE 2023-03-17
12:50
Hiroshima JMS ASTERPLAZA
(Primary: On-site, Secondary: Online)
On Family-based Model Checking based on Probabilistic Model Checker
Tomoji Kishi (Waseda Univ) KBSE2022-64
Family-based model checking is a technique to verify the properties of multiple product variations at once by performing... [more] KBSE2022-64
pp.61-66
KBSE 2017-03-03
13:35
Ishikawa   A Product Derivation Method based on Feature Model Approximation
Tomoji Kishi (Waseda Univ.), Natsuko Noda (Shibaura Tech) KBSE2016-41
(To be available after the conference date) [more] KBSE2016-41
pp.13-18
KBSE 2016-03-03
14:30
Oita   On Feature Model Approximation and Product Derivation Cost
Tomoji Kishi, Kohei Takamatsu (Waseda Univ.) KBSE2015-55
 [more] KBSE2015-55
pp.43-47
 Results 1 - 8 of 8  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : 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)


[Return to Top Page]

[Return to IEICE Web Page]


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