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: Recent 10 Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 14 of 14  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2025-03-21
11:00
Shizuoka (Shizuoka) Verification Using Model Checking Based on Markov Decision Processes
Yoshitaka Aoki, Yotaro Nakayama (BIPROGY)
 [more]
KBSE 2024-03-14
13:45
Okinawa Okinawa Prefectual General Welfare Center (Okinawa, Online)
(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 (Okinawa, Online)
(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 (Hokkaido, Online)
(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 (Shizuoka, Online)
(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 (Hiroshima, Online)
(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
KBSE 2020-03-06
13:30
Okinawa Tenbusu-Naha (Okinawa)
(Cancelled but technical report was issued)
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis
Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] KBSE2019-47
pp.7-12
KBSE, SC 2019-11-08
11:30
Nagano Shinshu University (Nagano) A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis
Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] KBSE2019-24 SC2019-21
pp.7-12
SWIM, KBSE 2019-05-25
09:45
Tokyo Kikai-Shinko-Kaikan Bldg. (Tokyo) A Proposal of FRAM Support Method using Probabilistic Model Checker
Yoshitaka Aoki (NUL), Shinpei Ogata (Shinshu Univ) KBSE2019-8 SWIM2019-8
FRAM (Functional Resonance Analysis Method) is an analysis method to analyze and model a complex technical system. The F... [more] KBSE2019-8 SWIM2019-8
pp.49-56
KBSE, SS, IPSJ-SE [detail] 2018-07-18
15:50
Hokkaido (Hokkaido) Case Study on a Verification of an IoT Architecture Model Based on Control Loop
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] SS2018-11 KBSE2018-21
pp.61-66
SS, KBSE, IPSJ-SE [detail] 2017-07-19
13:10
Hokkaido (Hokkaido) Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture
Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] SS2017-5 KBSE2017-5
pp.25-30
KBSE 2016-05-27
10:45
Tokyo Doshisha Univ. Tokyo Branch Office (Tokyo) Model Checking of Source Code Based on Design Pattern
Yoshitaka Aoki (NUL) KBSE2016-6
We have proposed the " Discovery of Inconsistency of Behavior of System in Source Code between Specification using Model... [more] KBSE2016-6
pp.31-36
KBSE 2016-03-03
13:50
Oita (Oita) Verification of Goal Satisfaction to Combination of Use Case Components
Saeko Matsuura (Shibaura Inst. of Tech.), Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys) KBSE2015-54
 [more] KBSE2015-54
pp.37-42
KBSE 2015-03-06
15:25
Tokyo The University of Electro-Communications (Tokyo) Verifying Source Code with a Use Case Model using Model Checking -- A Case of an ASP.NET Application --
Yoshitaka Aoki, Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa (VR), Saeko Matsuura (SIT) KBSE2014-64
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] KBSE2014-64
pp.71-76
 Results 1 - 14 of 14  /   
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