IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev DC Conf / Next DC Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
Technical Committee on Dependable Computing (DC)
Chair: Michiko Inoue (NAIST) Vice Chair: Satoshi Fukumoto (Tokyo Metropolitan Univ.)
Secretary: Masayoshi Yoshimura (Kyoto Sangyo Univ.), Haruhiko Kaneko (Tokyo Inst. of Tech.)

===============================================
Technical Committee on Software Science (SS)
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.)

DATE:
Thu, Oct 27, 2016 11:00 - 16:45
Fri, Oct 28, 2016 09:30 - 12:35

PLACE:
(http://tachibana.html.xdomain.jp/access/. Prof. Tatsuhiro Tsuchiya. +81-749-23-4141)

TOPICS:
Software System and Dependability on Network, etc

----------------------------------------
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
Teru Ohashi, Tatsuhiro Tsuchiya (Osaka Univ)

(2) 11:25 - 11:50
Model Checking of Fault Tolerant Systems Using Abstract Timestamps
Shinya Nakano, Tatsuhiro Tsuchiya (Osaka Univ.)

(3) 11:50 - 12:15
Faster Wait-free Randomized Consensus with an Oblivious Adversary for MRSW Register Model
Sen Moriya (Kindai Univ.), Michiko Inoue (NAIST)

----- Lunch Break ( 60 min. ) -----

(4) 13:15 - 13:40
Error Correction Method for Interblock Burst Error of PPM Compression
Takuya Muroi, Masato Kitakami (Chiba Univ.)

(5) 13:40 - 14:05
Single Limited-Magnitude Error Correcting Codes Using Integer Residue Ring of Large Order
Shohei Kotaki, Masato Kitakami (Chiba Univ.)

(6) 14:05 - 14:30
Note on Data Aggregation on Smart Grid Communications Considering Fault Tolerance and Privacy
Ryota Ogasawara, Masayuki Arai (Nihon Univ.)

(7) 14:30 - 14:55
Model Based Test Case Generation for Web Application Using Model Checking
Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.)

----- Break ( 10 min. ) -----

(8) 15:05 - 15:30
Towards a Zone-based Verification for DTPDA with Clock Freezing
Sho Hiraoka, Shoji Yuen (Nagoya Univ.)

(9) 15:30 - 15:55
Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis
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
Ryunosuke Takayama, Kenji Hashimoto, Seki Hiroyuki (Nagoya Univ.)

(11) 16:20 - 16:45

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
(See Japanese page.)

(13) 09:55 - 10:20

Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)

(14) 10:20 - 10:45
Software Reuse Detection Focusing on Text in Binary Code
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
Kosuke Kamimura (NAIST), Akito Monden (Okayama Univ.), Hideaki Hata, Kenichi Matsumoto (NAIST)

----- Break ( 10 min. ) -----

(16) 11:20 - 11:45
Software Bug Analysis Based on Archetypal Analysis
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
Yusaku Noriyuki, Takao Nakagawa, Hideaki Hata, Kenichi Matsumoto (NAIST)

(18) 12:10 - 12:35

Naoto Ogura, Shinsuke Matsumoto (Osaka Univ.), Hideaki Hata (NAIST), Shinji Kusumoto (Osaka Univ.)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.


=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:

Mon, Nov 28, 2016 - Wed, Nov 30, 2016: Ritsumeikan University, Osaka Ibaraki Campus [Sun, Sep 11], Topics: Design Gaia 2016 -New Field of VLSI Design-
Fri, Dec 16, 2016: Sakata Sogo-Bunka Center(Sakata-City) [Wed, Oct 12], Topics: Winter Workshop on safety

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, Jan 26, 2017 - Fri, Jan 27, 2017: Kyoto Institute of Technology [Thu, Nov 17]

# SECRETARY:
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E-mail: ist-u

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


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.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

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