|
|
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-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 |
|
|
|
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]
|