|
|
| 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.) |
|
|
|
| Chair |
|
Michiko Inoue (NAIST) |
| Vice Chair |
|
Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
| Secretary |
|
Masayoshi Yoshimura (Kyoto Sangyo Univ.), Haruhiko Kaneko (Tokyo Inst. of Tech.) |
|
| Conference Date |
Thu, Oct 27, 2016 11:00 - 16:45
Fri, Oct 28, 2016 09:30 - 12:35 |
| Topics |
Software System and Dependability on Network, etc |
| Conference Place |
|
| Transportation Guide |
http://tachibana.html.xdomain.jp/access/ |
Contact
Person |
Prof. Tatsuhiro Tsuchiya
+81-749-23-4141 |
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) |
Thu, Oct 27 AM
11:00 - 16:45 |
| (1) |
11:00-11:25 |
ZDD-based test case generation method for high strength combinatorial interaction testing  SS2016-18 DC2016-20 |
Teru Ohashi, Tatsuhiro Tsuchiya (Osaka Univ) |
| (2) |
11:25-11:50 |
Model Checking of Fault Tolerant Systems Using Abstract Timestamps SS2016-19 DC2016-21 |
Shinya Nakano, Tatsuhiro Tsuchiya (Osaka Univ.) |
| (3) |
11:50-12:15 |
Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model SS2016-20 DC2016-22 |
Sen Moriya (Kindai Univ.), Michiko Inoue (NAIST) |
| |
12:15-13:15 |
Lunch Break ( 60 min. ) |
| (4) |
13:15-13:40 |
Error Correction Method for Interblock Burst Error of PPM Compression SS2016-21 DC2016-23 |
Takuya Muroi, Masato Kitakami (Chiba Univ.) |
| (5) |
13:40-14:05 |
Single Limited-Magnitude Error Correcting Codes Using Integer Residue Ring of Large Order SS2016-22 DC2016-24 |
Shohei Kotaki, Masato Kitakami (Chiba Univ.) |
| (6) |
14:05-14:30 |
Note on Data Aggregation on Smart Grid Communications Considering Fault Tolerance and Privacy SS2016-23 DC2016-25 |
Ryota Ogasawara, Masayuki Arai (Nihon Univ.) |
| (7) |
14:30-14:55 |
Model Based Test Case Generation for Web Application Using Model Checking SS2016-24 DC2016-26 |
Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) |
| |
14:55-15:05 |
Break ( 10 min. ) |
| (8) |
15:05-15:30 |
Towards a Zone-based Verification for DTPDA with Clock Freezing SS2016-25 DC2016-27 |
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) |
| (9) |
15:30-15:55 |
Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis SS2016-26 DC2016-28 |
Masato Nakashima, Trung Chu Bao, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) |
| (10) |
15:55-16:20 |
A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars SS2016-27 DC2016-29 |
Ryunosuke Takayama, Kenji Hashimoto, Seki Hiroyuki (Nagoya Univ.) |
| (11) |
16:20-16:45 |
SS2016-28 DC2016-30 |
Koichi Asano, Shinya Masuda, Mitsuhiro Ogata, Kazumasa Kobayashi (NTT DOCOMO), Atsufumi Tate, Satoru Hirayama (SEC) |
Fri, Oct 28 AM
09:30 - 12:35 |
| (12) |
09:30-09:55 |
SS2016-29 DC2016-31 |
|
| (13) |
09:55-10:20 |
SS2016-30 DC2016-32 |
Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (14) |
10:20-10:45 |
Software Reuse Detection Focusing on Text in Binary Code SS2016-31 DC2016-33 |
Satoshi Watanabe, Akito Monden (Okayama U.), Haruaki Tamada (Kyoto Sangyo U.), Yuichiro Kanzaki (NIT, Kumamoto College) |
| (15) |
10:45-11:10 |
Software Reuse Detection Using Binary Program Compression SS2016-32 DC2016-34 |
Kosuke Kamimura (NAIST), Akito Monden (Okayama Univ.), Hideaki Hata, Kenichi Matsumoto (NAIST) |
| |
11:10-11:20 |
Break ( 10 min. ) |
| (16) |
11:20-11:45 |
Software Bug Analysis Based on Archetypal Analysis SS2016-33 DC2016-35 |
Keisuke Takimoto, Akito Monden (Okayama U.), Saya Onoue, Hideaki Hata (NAIST), Yasutaka Kamei (Kyushu U.) |
| (17) |
11:45-12:10 |
A Study of the Growth of Programmers with Online Judge Archives SS2016-34 DC2016-36 |
Yusaku Noriyuki, Takao Nakagawa, Hideaki Hata, Kenichi Matsumoto (NAIST) |
| (18) |
12:10-12:35 |
SS2016-35 DC2016-37 |
Naoto Ogura, Shinsuke Matsumoto (Osaka Univ.), Hideaki Hata (NAIST), Shinji Kusumoto (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 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- :    ist  -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
| DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2016-10-26 19:11:27
|