|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
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.) KBSE2023-87 |
The analysis and verification of variability models are often based on logic, but the number of configurations of a vari... [more] |
KBSE2023-87 pp.120-125 |
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 |
|
|
|
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]
|