| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| 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 |
|
[Return to Top Page]