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 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2024-03-14
13:45
Okinawa Okinawa Prefectual General Welfare Center
(Primary: On-site, Secondary: Online)
Consideration on System Safety Verification Based on User Personality Traits
Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72
(To be available after the conference date) [more] KBSE2023-72
pp.43-48
KBSE 2024-03-14
14:10
Okinawa Okinawa Prefectual General Welfare Center
(Primary: On-site, Secondary: Online)
Applying Model Checking to Ethical Judgments
Yoshitaka Aoki, Yotaro Nakayama (BIPROGY) KBSE2023-73
(To be available after the conference date) [more] KBSE2023-73
pp.49-54
SS, KBSE, IPSJ-SE [detail] 2023-07-22
11:25
Hokkaido
(Primary: On-site, Secondary: Online)
Verification of System Behavior using two types of model checking
Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.) SS2023-20 KBSE2023-31
 [more] SS2023-20 KBSE2023-31
pp.110-115
SWIM, KBSE 2023-05-20
14:25
Shizuoka
(Primary: On-site, Secondary: Online)
A Study on Identifying Occurrence of User's Forgetting to Take Items from Interactive Systems
Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-10 SWIM2023-10
(To be available after the conference date) [more] KBSE2023-10 SWIM2023-10
pp.59-64
KBSE 2023-03-17
10:40
Hiroshima JMS ASTERPLAZA
(Primary: On-site, Secondary: Online)
Verification of Interaction between Functions in FRAM using Model Checking
Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) KBSE2022-62
Analysis of FRAM models tends to rely on the domain knowledge of analysts, and it is difficult for anyone to evaluate co... [more] KBSE2022-62
pp.49-54
 Results 1 - 5 of 5  /   
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