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 - 20 of 89  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, DC 2023-10-11
16:00
Nagano
(Primary: On-site, Secondary: Online)
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion
Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.)
(To be available after the conference date) [more]
AI 2023-09-12
16:30
Hokkaido   Exploring the Potential of LLM for Review-driven Goal Model Generation
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) AI2023-20
User reviews play a crucial role for developers as they contain expectations regarding new features and bug reports. The... [more] AI2023-20
pp.109-116
SWIM, KBSE 2023-05-19
14:00
Shizuoka
(Primary: On-site, Secondary: Online)
Group detection method from medium-density crowd using DeepSort and discussion on its accuracy improvement
Naojiro Ueno, Hiroyuki Nakagawa (Osaka Univ.), Tomizawa Tetsuo (NITTC), Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2023-1 SWIM2023-1
(To be available after the conference date) [more] KBSE2023-1 SWIM2023-1
pp.1-6
DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] 2023-03-24
09:25
Kagoshima Amagi Town Disaster Prevention Center (Tokunoshima)
(Primary: On-site, Secondary: Online)

Cai Wenxi, Tatsuhiro Tsuchiya (Osaka Univ.) CPSY2022-43 DC2022-102
(To be available after the conference date) [more] CPSY2022-43 DC2022-102
pp.55-59
LOIS 2023-03-14
12:05
Okinawa
(Primary: On-site, Secondary: Online)
LOIS2022-64 (To be available after the conference date) [more] LOIS2022-64
pp.120-125
DC 2023-02-28
13:00
Tokyo Kikai-Shinko-Kaikan Bldg
(Primary: On-site, Secondary: Online)

Taito Asaji, Tatsuhiro Tsuchiya (Osaka Univ.) DC2022-84
(To be available after the conference date) [more] DC2022-84
pp.12-15
DC 2023-02-28
13:25
Tokyo Kikai-Shinko-Kaikan Bldg
(Primary: On-site, Secondary: Online)
A Clear and Understandable Notation for Expressing T-Way Test Sequence Generation Constraints
Lele Jiang, Tatsuhiro Tsuchiya (Osaka Univ.) DC2022-85
This paper focuses on the problem of constraint representation for the generation of t-way test sequences.
T-way seque... [more]
DC2022-85
pp.16-20
KBSE, SC 2022-11-04
14:05
Nagano  
(Primary: On-site, Secondary: Online)

Soshi Nitta, Hiroyuki Nakagawa (Osaka Univ.), Shinpei Ogata (Shinshu Univ.), Hironori Takeuchi (Musashi Univ.), Haruhiko Kaiya (Kanagawa Univ.), Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-39 SC2022-34
 [more] KBSE2022-39 SC2022-34
pp.48-53
KBSE, SC 2022-11-05
09:00
Nagano  
(Primary: On-site, Secondary: Online)
Proposal of method for extracting goals from specifications based on questions about the direction of the text
Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-37 SC2022-32
 [more] KBSE2022-37 SC2022-32
pp.37-42
KBSE, SC 2022-11-05
09:30
Nagano  
(Primary: On-site, Secondary: Online)
Analysis of Parrondo's Paradox using a probabilistic model checker
Naoki Nishiguchi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-38 SC2022-33
(To be available after the conference date) [more] KBSE2022-38 SC2022-33
pp.43-47
DC, SS 2022-10-25
10:00
Fukushima  
(Primary: On-site, Secondary: Online)
A note on performance and sensitivity analysis of self-adaptive systems using parametric Markov decision processes
Junjun Zheng, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) SS2022-21 DC2022-27
This paper considers the sensitivity analysis for a self-adaptive system with uncertain parameters. The system behavior ... [more] SS2022-21 DC2022-27
pp.1-5
CPSY, DC, IPSJ-ARC [detail] 2022-07-27
12:00
Yamaguchi Kaikyo Messe Shimonoseki
(Primary: On-site, Secondary: Online)
CPSY2022-5 DC2022-5  [more] CPSY2022-5 DC2022-5
pp.25-30
KBSE, SWIM 2022-05-20
15:00
Tokyo
(Primary: On-site, Secondary: Online)
Practical Application of Self-Adaptive Anomaly Detection Method Using XAI
Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2022-3 SWIM2022-3
In this study, we examine the use of XAI to improve the performance of a self-adaptive anomaly detection method. As a sp... [more] KBSE2022-3 SWIM2022-3
pp.13-18
DC 2022-03-01
10:20
Tokyo Kikai-Shinko-Kaikan Bldg.
(Primary: On-site, Secondary: Online)
DC2021-66 (To be available after the conference date) [more] DC2021-66
pp.13-17
NS, NWS
(Joint)
2022-01-28
13:30
Online Online Implementation and Evaluation for A Self-Stabilizing Leader Election Algorithm on the Population Protocol Model
Keitaro Watanabe, Hideharu Kojima (Osaka Univ.), Yuichi Sudo (Hosei Univ.), Naoto Yanai, Tatsuhiro Tsuchiya (Osaka Univ.) NS2021-120
 [more] NS2021-120
pp.56-61
DC 2021-12-10
14:20
Kagawa
(Primary: On-site, Secondary: Online)

Kyozo Hida, Tatsuhiro Tsuchiya (Osaka Univ) DC2021-58
This paper addresses the problem of finding the set of the most vulnerable nodes in interdependent networks where initia... [more] DC2021-58
pp.19-23
SS, DC 2021-10-19
15:00
Online Online SS2021-16 DC2021-21 (To be available after the conference date) [more] SS2021-16 DC2021-21
pp.19-22
NS 2021-10-06
15:45
Online Online Implementation of smart contracts with an access control by attribute based encryption
Takumi Okano, Hideharu Kojima, Naoto Yanai, Tatsuhiro Tsuchiya (Osaka Univ.)
 [more]
ITS, IEE-ITS 2021-03-15
15:05
Online Online Model Checking-Based Verification of Token-Based Traffic Control for Roundabouts
Tatsuhiro Tsuchiya (Osaka Univ.), Satoshi Otsuka (Hitachi) ITS2020-43
This paper reports the results of model checking-based verification of a traffic control mechanism for roundabouts. This... [more] ITS2020-43
pp.41-44
KBSE 2021-03-05
13:05
Online Online Performance Comparison of Natural Language Processing Model for Traceability Link Creation
Soshi Nitta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2020-34
(To be available after the conference date) [more] KBSE2020-34
pp.1-6
 Results 1 - 20 of 89  /  [Next]  
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