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 Shoji Yuen (Nagoya Univ.)
Vice Chair Kazuhiro Ogata (JAIST)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Hironobu Washizaki (Waseda Univ.)
Assistant Yoshiki Higo (Osaka Univ.)

Conference Date Mon, May 11, 2015 12:45 - 18:00
Tue, May 12, 2015 08:45 - 14: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)

Mon, May 11 AM 
12:45 - 13:00
(1) 12:45-13:00  
Mon, May 11 PM 
13:00 - 14:10
(2) 13:00-13:30 Towards Applications of FRP in Small-Scale Embedded Systems SS2015-1 Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.)
(3) 13:30-13:50 Towards the Supervisor Synthesis Using Hybrid Process Calculi SS2015-2 Yuto Kawakita, Shoji Yuen (Nagoya Univ.)
(4) 13:50-14:10 An Implementation of Computing Optimal Mean-payoff Values for Non-terminating Scheduling by Double Priced Timed Automata SS2015-3 Sho Hiraoka, Shoji Yuen (Nagoya Univ.)
  14:10-14:25 Break ( 15 min. )
Mon, May 11 PM 
14:25 - 15:25
(5) 14:25-15:25 [Invited Lecture]
Quantitative Information Flow and Differential Privacy SS2015-4
Hiroyuki Seki (Nagoya Univ.)
  15:25-15:40 Break ( 15 min. )
Mon, May 11 PM 
15:40 - 16:50
(6) 15:40-16:10 Classification of Code Clones in Hardware Description Language SS2015-5 Kyohei Uemura, Kenji Fujiwara, Hajimu Iida (NAIST)
(7) 16:10-16:30 An Approach for Software Repository Mining Using a Natural Langage Processing Method, Word2Vec SS2015-6 Takeru Uchiyama, Toshihiro Kamiya (FUN)
(8) 16:30-16:50 Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets SS2015-7 Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.)
  16:50-17:00 Break ( 10 min. )
Mon, May 11 PM 
17:00 - 18:00
(9) 17:00-18:00 [Invited Lecture]
Holism and Reductionism in Describing Software SS2015-8
Tsuneo Ajisaka (Wakayama Univ.)
Tue, May 12 AM 
08:45 - 10:45
(10) 08:45-09:15 Coding Pattern Detection for C Programs Using Pattern Mining Technique SS2015-9 Yuta Nakamura, Eunjong Choi (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Shusuke Haruna, Katsuro Inoue (Osaka Univ.)
(11) 09:15-09:45 Investigation for Reducing Reuse Candidates on Reuse-based Automated Program Repair SS2015-10 Haruki Yokoyama, Takafumi Ohta, Keisuke Hotta, Yoshiki Higo (Osaka Univ.), Kozo Okano (Shinshu Univ.), Shinji Kusumoto (Osaka Univ.)
(12) 09:45-10:15 Influence of the number of words in a bug report on accuracy in duplicate bug report detection SS2015-11 Akihiro Tsuruda, Yuki Manabe, Masayoshi Aritsugi (Kumamoto Univ.)
(13) 10:15-10:45 Towards to Recover Propagation Process of the Patch for Linux Distribution SS2015-12 Yong Jin, Kenji Fujiwara, Hajimu Iida (NAIST)
  10:45-10:55 Break ( 10 min. )
Tue, May 12 PM 
10:55 - 11:55
(14) 10:55-11:55 [Invited Lecture]
Software Engineering Embracing Uncertainty SS2015-13
Naoyasu Ubayashi (Kyushu Univ.)
  11:55-13:00 Break ( 65 min. )
Tue, May 12 PM 
13:00 - 14:00
(15) 13:00-13:30 Query-Based l-Diversity SS2015-14 Chittaphone Phonharath (NAIST), Ryunosuke Takayama, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
(16) 13:30-14:00 A Verification Method for k-Secrecy of XML Databases by Model Counting SS2015-15 Takatoshi Asai, Masanori Uesugi, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)

Announcement for Speakers
General TalkEach speech will have 25 minutes for presentation and 5 minutes for discussion.
Young Researcher's TalkEach speech will have 10 minutes for presentation and 10 minutes for discussion.
Young Researcher's 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 Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E-: tba 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2015-05-11 13:23:18


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[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