IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
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.)

Technical Committee on Dependable Computing (DC) [schedule] [select]
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. (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 TalkEach 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


Notification: Mail addresses are partially hidden against SPAM.

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

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Return to SS Schedule Page]   /   [Return to DC Schedule Page]   /  
 
 Go Top  Go Back   / [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