| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Yuichi Nakamaura (NEC) |
| Vice Chair |
|
Satoshi Yamane (Kanazawa Univ.) |
| Secretary |
|
Shinnosuke Yamaguchi (Kyushu Inst. of Tech.), Mitsuru Nakata (Yamaguchi Univ.) |
| Assistant |
|
Daisuke Nishiwaki (NEC) |
|
|
|
| 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, Jan 26, 2015 13:30 - 18:35
Tue, Jan 27, 2015 08:30 - 15:30 |
| 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, Jan 26 PM
13:30 - 18:35 |
| (1) |
13:30-13:55 |
Evaluation of clone extraction method with code shape  MSS2014-69 SS2014-33 |
Kouki Kakiya, Kazuki Nakatani, MasayukiHirayama (Nihon Univ.), Nahomi Kikuchi (OKI) |
| (2) |
13:55-14:20 |
Applying Code Clone Analysis Techniques to Derivation Software MSS2014-70 SS2014-34 |
Yoshiki Higo, Keisuke Hotta, Hiroaki Murakami, Shinji Kusumoto (Osaka Univ.), Nobuhiro Nakamura (SEI), Takanori Katou, Yukinari Muta, Kenji Nishikawa (SIS) |
| (3) |
14:20-14:45 |
An empirical study on code clone detection using supercomputer techniques MSS2014-71 SS2014-35 |
Ataru Osaka, Yasutaka Kamei (Kyushu Univ), Keisuke Hotta (Osaka Univ), Naoyasu Ubayashi (Kyushu Univ) |
| (4) |
14:45-15:10 |
Just-In-Time Defect Prediction Tool anko MSS2014-72 SS2014-36 |
Shutaro Tanaka, Takafumi Fukushima, Kazuhiro Yamashita, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| |
15:10-15:25 |
Break ( 15 min. ) |
| (5) |
15:25-15:50 |
Approximate Simulation Based Verification of Automation Surprises in Human-machine Systems MSS2014-73 SS2014-37 |
Daiki Ishii, Toshimitsu Ushio (Osaka Univ.) |
| (6) |
15:50-16:15 |
Optimal Sampling for Kalman Filtering by Sensor Network Based on Energy Consumption and Information Entropy MSS2014-74 SS2014-38 |
Ken Imai, Toshimitsu Ushio (Osaka Univ.) |
| (7) |
16:15-16:40 |
A Two Phase Scheme for De Novo Genome Assembly based on de Bruijn Graphs for Multiple Short Read Sets MSS2014-75 SS2014-39 |
Takuto Shigenobu, Morikazu Nakamura (Univ. of the Ryukyus) |
| |
16:40-16:55 |
Break ( 15 min. ) |
| (8) |
16:55-17:20 |
On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems MSS2014-76 SS2014-40 |
Tomoya Ueyama, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
| (9) |
17:20-17:45 |
A Consideration on How to Model Check Distributed Snapshot Reachability Property MSS2014-77 SS2014-41 |
Wenjie Zhang, Kazuhiro Ogata (JAIST), Min Zhang (ECNU) |
| (10) |
17:45-18:10 |
Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling MSS2014-78 SS2014-42 |
Koichi Ota, Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.), Akihisa Yamada (AIST), Naoki Nishida, Toshiki Sakabe (Nagoya Univ.) |
| (11) |
18:10-18:35 |
An approach to Application of Inductive Logic Programming to Characterization of Reachable States MSS2014-79 SS2014-43 |
Dung Tuan Ho (JAIST), Min Zhang (ECNU), Kazuhiro Ogata (JAIST) |
Tue, Jan 27 AM
08:30 - 15:30 |
| (12) |
08:30-08:55 |
Statistical Model Checking of Hybrid Systems using Interval Analysis MSS2014-80 SS2014-44 |
Daisuke Ishii, Naoki Yonezaki (Titech) |
| (13) |
08:55-09:20 |
Direct Update of XML Documents Compressed by Tree Grammars MSS2014-81 SS2014-45 |
Takeshi Goto (Nagoya Univ.), Takahiro Onoue (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
| (14) |
09:20-09:45 |
A supervisor synthesis by MaxSAT solvers under partial observation MSS2014-82 SS2014-46 |
Tatsuki Hirota, Shoji Yuen (Nagoya Univ), Tetsuya Tohdo (DENSO) |
| |
09:45-10:00 |
Break ( 15 min. ) |
| (15) |
10:00-10:25 |
Extract Superclass Problem of Workow Nets and Refining the Solution MSS2014-83 SS2014-47 |
Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.) |
| (16) |
10:25-10:50 |
An approach based on implicit places to refactoring problem of workflow nets MSS2014-84 SS2014-48 |
Jia Zhang, Ichiro Toyoshima, Shingo Yamaguchi (Yamaguchi Univ.) |
| (17) |
10:50-11:15 |
Considerations on a Statistical Reduct Method for the Decision Table MSS2014-85 SS2014-49 |
Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.), Shoutaro Mizuno (Shimane Univ.) |
| |
11:15-12:30 |
Lunch ( 75 min. ) |
| (18) |
12:30-12:55 |
Discussion of a Tool for Supporting Pull Request Driven Software Development MSS2014-86 SS2014-50 |
Yusuke Saito, Kenji Fujiwara (NAIST), Hiroshi Igaki (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST) |
| (19) |
12:55-13:20 |
Towards Security Analysis based on Traceability |
Hirokazu Yatsu (Kyushu Univ.), Masaru Matsunami (SDNA), Toshimi Sawada (Thinker's craft house), Takahiro Ando, Kenji Hisazumi (Kyushu Univ.), Kong Weiqiang (DLUT), Akira Fukuda (Kyushu Univ.) |
| |
13:20-13:35 |
Break ( 15 min. ) |
| (20) |
13:35-14:00 |
Towards the Development of a Formal Language for Frequency of Events MSS2014-87 SS2014-51 |
Osamu Takaki (Gunma Univ.) |
| (21) |
14:00-14:25 |
On Conformance Checking of SOA-based Systems MSS2014-88 SS2014-52 |
Hiroyuki Oimura, Toshiyuki Miyamoto (Osaka Univ.) |
| |
14:25-14:40 |
Break ( 15 min. ) |
| (22) |
14:40-15:05 |
A Source-Code Searching for a Dynamically-Typed Programming Language Based on Arbitrary-Granularity Function Model MSS2014-89 SS2014-53 |
Toshihiro Kamiya (Fun) |
| (23) |
15:05-15:30 |
Toward to exploit interaction history in change guide method based on version history MSS2014-90 SS2014-54 |
Akihiro Yamamori (Titech), Anders Mikael Hagward (Titech/KTH), Takashi Kobayashi (Titech) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E- :   s ltc k   |
| 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-01-15 20:15:44
|