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 - 7 of 7  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SWIM, KBSE 2019-05-25
09:45
Tokyo Kikai-Shinko-Kaikan Bldg. 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   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   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 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
MICT, ASN, MoNA
(Joint)
2015-01-27
13:30
Wakayama Nanki Shirahama Research and development of the platform technology for a mesh type regional network
Yasushi Nakagawa (NUL), Hirotsugu Takahashi (FJ), Tohru Sanefuji (NSC), Tetsuo Kinoshita (TOHOKU Univ.) MoNA2014-86
The purpose of research and development of platform technology of the mesh type regional network is as follows. Deployme... [more] MoNA2014-86
pp.129-134
KBSE 2012-01-23
16:20
Tokyo Kikai-Shinko-Kaikan Bldg. A Method for Detecting Defects of Program Based on Model Checking Techniques for Development Site
Yoshitaka Aoki (NUL), Saeko Matsuura (S.I.T) KBSE2011-60
 [more] KBSE2011-60
pp.43-48
KBSE 2011-05-27
10:30
Kagawa Kagawa University Supporting Method to Solve Problems in Organization
Toshihiko Tsumaki (NII), Shoji Tsuji (NUL) KBSE2011-8
As organizations are constructed with many kinds of members with different viewpoints, the organizational problems solvi... [more] KBSE2011-8
pp.43-48
 Results 1 - 7 of 7  /   
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