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  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 33  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, MSS 2022-01-12
09:15
Nagasaki Nagasakiken-Kensetsu-Sogo-Kaikan Bldg.
(Primary: On-site, Secondary: Online)
Execution-trace convolution using word-proximity metric for a method to automatically classify test results
Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII)
 [more]
SS 2020-03-04
14:20
Okinawa
(Cancelled but technical report was issued)
Distortion Metrics for Trained Machine Learning Models
Shin Nakajima (NII) SS2019-44
 [more] SS2019-44
pp.19-24
SS, MSS 2020-01-15
10:30
Hiroshima   MSS2019-51 SS2019-35  [more] MSS2019-51 SS2019-35
pp.61-66
SS 2019-03-05
15:00
Okinawa   Quality Evaluation Asssurance Levels for Machine Learning Software
Shin Nakajima (NII), Yoshiki Seo, Yutaka Oiwa, Yoshinao Isobe (AIST) SS2018-79
 [more] SS2018-79
pp.163-168
KBSE, SC 2018-11-09
13:00
Hyogo   Quality of Machine Learning Software: Products, Services, Platform
Shin Nakajima (NII) KBSE2018-31 SC2018-26
 [more] KBSE2018-31 SC2018-26
pp.19-24
SS 2018-03-07
15:30
Okinawa   Uncertainty in Machine Learning Software from Quality Assurance Viewpoints
Shin Nakajima (NII) SS2017-77
 [more] SS2017-77
pp.75-80
SS 2017-03-09
10:20
Okinawa   Debugging Pure Strategy Games
Shin Nakajima (NII) SS2016-62
 [more] SS2016-62
pp.13-18
KBSE, SS, IPSJ-SE [detail] 2016-07-13
09:50
Hokkaido   Testing Quasi-testable Core of Non-testable Program
Shin Nakajima (NII), Bui Ngoc Hai (VNU) SS2016-1 KBSE2016-7
 [more] SS2016-1 KBSE2016-7
pp.1-6
KBSE, SS, IPSJ-SE [detail] 2015-07-24
10:40
Hokkaido   Two-Staged Modeling Method with Alloy and Event-B
Shin Nakajima (NII) SS2015-32 KBSE2015-25
 [more] SS2015-32 KBSE2015-25
pp.161-166
SS 2015-03-09
10:20
Okinawa OKINAWAKEN SEINENKAIKAN SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed Lamraoui, Shin Nakajima (NII) SS2014-57
 [more] SS2014-57
pp.13-18
SS 2014-10-24
10:00
Kochi Kochi city culture-plaza cul-port Energy Consumption Analysis as a Duration-Bounded Cost Constraint Problem
Shin Nakajima (NII) SS2014-30
 [more] SS2014-30
pp.29-34
SS 2014-03-11
14:00
Okinawa Tenbusu Naha Influence of Power-Saving Processor on Power Consumption Model of Android Applications
Shin Nakajima (NII) SS2013-78
 [more] SS2013-78
pp.37-42
SS, KBSE 2013-07-25
11:30
Hokkaido   Automated Error Localization with Weighted Partial Maximum Satisfiability
Si-Mohamed Lamraoui, Shin Nakajima (NII) SS2013-13 KBSE2013-13
 [more] SS2013-13 KBSE2013-13
pp.1-6
SS 2013-01-10
14:00
Okinawa   Refinement Planning
Shin Nakajima (NII)
 [more] SS2012-48
pp.13-18
SS 2011-10-28
11:15
Ishikawa JAIST Iterative Construction of Finite Alloy Descriptions
Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] SS2011-36
pp.55-60
SS 2011-06-30
11:00
Overseas Korea Univ. (Seoul) Verification of BPEL Workflows Design using Model Checking
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso) SS2011-2
 [more] SS2011-2
pp.7-10
SS 2011-03-08
09:00
Okinawa Okinawa-ken Seinen Kaikan Modular Verification using Bounded Model Checking technique with Test Case Generation
Yuusuke Hashimoto (Sokendai), Shin Nakajima (NII) SS2010-68
In bounded model checking technique, some approximation is introduced during the translation from a program to a finite ... [more] SS2010-68
pp.91-96
SS 2010-08-05
15:30
Hokkaido Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) Validation of System Requirements written in Event-B
Shin Nakajima (NII) SS2010-23
 [more] SS2010-23
pp.41-46
KBSE, SS 2010-05-28
11:50
Kyoto Doshisha University, Imadegawa Campus Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification
Xiaoxi Dong, Shin Nakajima (NII) SS2010-11 KBSE2010-11
 [more] SS2010-11 KBSE2010-11
pp.63-68
MSS 2010-01-21
13:00
Aichi Toyota Central R&D Labs. A Comparative Study on Modeling for Verification -- Cases from Embedded Sysitems Design --
Shin Nakajima (NII), Hirokazu Yatsu, Akira Nonaka, Shin Sahara (Tao Bears) CST2009-37
 [more] CST2009-37
pp.1-6
 Results 1 - 20 of 33  /  [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