IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
Chair Kazuhiro Ogata (JAIST)
Vice Chair Akio Nakata (Hiroshima City Univ.)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.)
Assistant Kazuyuki Shima (Hiroshima City Univ.)

Conference Date Tue, Mar 6, 2018 11:30 - 17:00
Wed, Mar 7, 2018 10:00 - 16:00
Topics  
Conference Place  
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)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS.

Tue, Mar 6 AM 
11:30 - 13:00
(1) 11:30-12:00 Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton SS2017-64 Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.)
(2) 12:00-12:30 A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks SS2017-65 Shoji Yuen, Sho Hiraoka (Nagoya Univ.)
(3) 12:30-13:00 Packer identification based on Malware analyzer BE-PUM SS2017-66 Mizuhito Ogawa (JAIST)
  13:00-14:30 Lunch ( 90 min. )
Tue, Mar 6 PM 
14:30 - 15:30
(4) 14:30-15:00 SS2017-67
(5) 15:00-15:30 An Investigation into the Characteristics of Source Code for Supporting Inline Method SS2017-68 Yuki Yamada, Kyohei Uemura, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST)
  15:30-16:00 Break ( 30 min. )
Tue, Mar 6 PM 
16:00 - 17:00
(6) 16:00-16:30 SS2017-69 Junnosuke Matsumoto, Yoshiki Higo, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.)
(7) 16:30-17:00 Toward Visualization of Discussions about Software Quality in OSS Development SS2017-70 Shunta Nakanishi, Eunjong Choi, Hajimu Iida (NAIST)
Wed, Mar 7 AM 
10:00 - 11:00
(8) 10:00-10:30 SS2017-71 Hiroto Tanaka, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
(9) 10:30-11:00 SS2017-72 Ryo Arima, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
  11:00-11:30 Break ( 30 min. )
Wed, Mar 7 AM 
11:30 - 13:00
(10) 11:30-12:00 SS2017-73
(11) 12:00-12:30 A Determination Method of Locality Sensitive Hashing Parameters for Code Clone Detection SS2017-74 Shogo Tokui (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Eunjong Choi (NAIST), Katsuro Inoue (Osaka Univ.)
(12) 12:30-13:00 Termination Verification of Functional Programs via Regression Prediction of Ranking Function SS2017-75 Daiki Muramoto, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
  13:00-15:00 Lunch ( 120 min. )
Wed, Mar 7 PM 
15:00 - 16:00
(13) 15:00-15:30 Suggestion of Test Case Generation Method with Priority Based on Use Case of User for System Test SS2017-76 Emi Saito, Ai Toshikuni, Yuichiroh Nakagawa (Hitachi)
(14) 15:30-16:00 Uncertainty in Machine Learning Software from Quality Assurance Viewpoints SS2017-77 Shin Nakajima (NII)
  16:00-16:30 Closing ( 30 min. )

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E--mail: ist-u 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2018-01-16 17:45:21


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


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