| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| 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 |
[Return to Top Page]