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 - 20 of 28  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2020-03-06
13:30
Okinawa Tenbusu-Naha
(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 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. 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
ET 2017-12-02
15:45
Ishikawa Kanazawa Institute of Technology Study on System Requirements to Support Curriculum-Management in Japanese New Course of Study
Akina Sugiyama, Yusuke Utsumi (Nihon Unisys), Masashi Muramatsu (Zusi City Board of Education), Jun Takahashi (Tokyo Gakugei University) ET2017-77
The purpose of this research is to examine system requirements to support Curriculum-Management in Japanese new course o... [more] ET2017-77
pp.51-56
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
KBSE 2016-03-03
13:50
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
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, SS, IPSJ-SE [detail] 2014-07-10
15:20
Hokkaido Furano-Bunka-Kaikan A Method of Facilitating Counterexample Analysis in Model Checking
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-16 KBSE2014-19
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] SS2014-16 KBSE2014-19
pp.87-92
DE 2014-06-21
09:05
Tokyo Ricoh IT Solutions A Knowledge Acquisition Method for Decision-making Based on Context Computing
Daisuke Takaoka (PMT), Yasuyuki Jinnouchi (Sumitem), Yasuyuki Sugai (Eagle), Michitaka Aramoto (Ad-Sol), Tomonori Makino (Nihon Unisys), Noriaki Izumi (AIST) DE2014-1
This report provides a reference architecture about Context Computing, as a part of AITC’s proposal, which enables us to... [more] DE2014-1
pp.1-6
KBSE 2014-05-30
13:45
Kanagawa Keio Univ.(Raiou-sha, Hiyoshi Campus) Dissemination and Use of Model Checking Tool in Enterprise
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2014-9
Model checking is a technique superior to inspect the behavior of the system. However, it is difficult writing the appr... [more] KBSE2014-9
pp.47-52
KBSE 2014-03-06
10:35
Okinawa Okinawaken-Seinenkaikan A Method for Facilitating the Analysis of Counterexamples in Model Checking
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2013-79
 [more] KBSE2013-79
pp.1-6
KBSE 2014-01-28
13:40
Tokyo Kikai-Shinko-Kaikan Bldg A Concept of Context Computing -- Methodology about Information sharing and Personalization --
Tomonori Makino (Nihon Unisys), Tadao Michimura (Fuji Xerox), Atsushi Iizawa (RICOH IT Solutions), Shigeru Kobayashi (AITC), Noriaki Izumi (AIST) KBSE2013-76
This report provides a concept model of context computing as a part of a white paper on Context Computing Research Group... [more] KBSE2013-76
pp.65-70
SS, KBSE 2013-07-26
13:10
Hokkaido   Application to Development Site of Model Checking Technology -- Discovery of Inconsistency of Specification and Source Code --
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-28 KBSE2013-28
Software programs often include many defects that are not easy to detect because of the developers’ mistakes, misunderst... [more] SS2013-28 KBSE2013-28
pp.91-96
SS, KBSE 2013-07-26
13:40
Hokkaido   Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model
Yoshitaka Aoki (Nihon Unisys), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-29 KBSE2013-29
A key to success of developing high quality software products is to define valid and feasible requirements specification... [more] SS2013-29 KBSE2013-29
pp.97-102
KBSE 2013-03-14
10:05
Tokyo Shibaura Institute of Technology Verification of Program Defects Based on Model Checking Techniques for Development -- Stable Checking with Inspection Support Tool --
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2012-69
In the development site, difficult defects of detecting occurs when Miss inadequate requirements definition and implem... [more] KBSE2012-69
pp.1-6
PRMU, HIP 2012-03-30
11:10
Hyogo   ThumbPop:Visual Attention Based Pseudo 3D Thumbnail
Keisuke Arai (Waseda Univ), Hiromasa Takei (Waseda Univ/Nihon Unisys), Hayato Yamana (Waseda Univ/NII) PRMU2011-268 HIP2011-96
We propose a pseudo 3D thumbnail generation method to improve the recognizability of visual attention objects by decompo... [more] PRMU2011-268 HIP2011-96
pp.177-182
MSS 2012-03-08
17:00
Tokyo JAIST Tokyo Satellite [Invited Talk] GPGPU for the Industry
Kimikazu Kato (Nihon Unisys) MSS2011-80
GPGPU (General Purpose GPU) is known as an idea to compute a general problem in the GPU, and has been applied mainly to ... [more] MSS2011-80
pp.47-48
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
 Results 1 - 20 of 28  /  [Next]  
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