| 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) 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.) DATE: Mon, May 11, 2015 12:45 - 18:00 Tue, May 12, 2015 08:45 - 14:00 PLACE: TOPICS: ---------------------------------------- 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 Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) (3) 13:30 - 13:50 Towards the Supervisor Synthesis Using Hybrid Process Calculi 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 Sho Hiraoka, Shoji Yuen (Nagoya Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Mon, May 11 PM (14:25 - 15:25) ---------------------------------------- (5) 14:25 - 15:25 [Invited Lecture] Quantitative Information Flow and Differential Privacy Hiroyuki Seki (Nagoya Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Mon, May 11 PM (15:40 - 16:50) ---------------------------------------- (6) 15:40 - 16:10 Classification of Code Clones in Hardware Description Language 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 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 Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) ----- Break ( 10 min. ) ----- ---------------------------------------- Mon, May 11 PM (17:00 - 18:00) ---------------------------------------- (9) 17:00 - 18:00 [Invited Lecture] Holism and Reductionism in Describing Software 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 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 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 Akihiro Tsuruda, Yuki Manabe, Masayoshi Aritsugi (Kumamoto Univ.) (13) 10:15 - 10:45 Towards to Recover Propagation Process of the Patch for Linux Distribution Yong Jin, Kenji Fujiwara, Hajimu Iida (NAIST) ----- Break ( 10 min. ) ----- ---------------------------------------- Tue, May 12 AM (10:55 - 11:55) ---------------------------------------- (14) 10:55 - 11:55 [Invited Lecture] Software Engineering Embracing Uncertainty Naoyasu Ubayashi (Kyushu Univ.) ----- Break ( 65 min. ) ----- ---------------------------------------- Tue, May 12 PM (13:00 - 14:00) ---------------------------------------- (15) 13:00 - 13:30 Query-Based l-Diversity 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 Takatoshi Asai, Masanori Uesugi, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) # Information for speakers General Talk will have 25 minutes for presentation and 5 minutes for discussion. Young Researcher's Talk will have 10 minutes for presentation and 10 minutes for discussion. Young Researcher's Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Wed, Jul 22, 2015 - Fri, Jul 24, 2015: [Tue, May 19] # SECRETARY: Takashi Kobayashi (Tokyo Insitute of Technology) TEL: 03-5734-3471 FAX: 03-5734-3471 E-mail: 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 |
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]