|
|
| 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 AM
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 Talk | Each speech will have 25 minutes for presentation and 5 minutes for discussion. |
| Young Researcher's Talk | Each speech will have 10 minutes for presentation and 10 minutes for discussion. |
| Young Researcher's Talk | Each 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- : t ba       |
| 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
|