IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
    [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)
 30件中 1~20件目  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
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)
 [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)
 [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)
 [more] SS2017-77
pp.75-80
SS 2017-03-09
10:20
Okinawa   Debugging Pure Strategy Games
Shin Nakajima (NII)
 [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)
 [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)
 [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)
 [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)
 [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)
 [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)
 [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.)
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)
 [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)
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)
 [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)
 [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)
 [more] CST2009-37
pp.1-6
SS 2009-10-15
15:30
Nagano Shinshu University Aspectual Encapsulation of Web Application Features
Reda Ahroum (NII), Keiji Hokamura (Kyusyu Inst. of Tech.), Daniel Balouek, Shin Nakajima (NII), Naoyasu Ubayashi (Kyusyu Inst. of Tech.)
 [more] SS2009-31
pp.13-18
SS 2009-10-16
10:00
Nagano Shinshu University Runtime Monitoring of Behavioral Specification
Shin Nakajima (NII), Katsunori Imai (GLATTS Corp.), Tetsuo Tamai (Univ. of Tokyo)
 [more] SS2009-32
pp.19-24
SS 2009-10-16
10:30
Nagano Shinshu University A Study of Model Transformation Method Between UML and Simulink
Satoshi Yoshida, Yoshikazu Ueda (Ibaraki Univ.), Shin Nakajima (NII)
Simulink, widely used in the development of embedded systems, is able to generate code automatically and simulate system... [more] SS2009-33
pp.25-30
 30件中 1~20件目  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan