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 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)

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

Mon, Jan 26 PM 
13:30 - 18:35
(1) 13:30-13:55 Evaluation of clone extraction method with code shape Kouki Kakiya, Kazuki Nakatani, MasayukiHirayama (Nihon Univ.), Nahomi Kikuchi (OKI)
(2) 13:55-14:20 Applying Code Clone Analysis Techniques to Derivation Software 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 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 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 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 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 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 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 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 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 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 Daisuke Ishii, Naoki Yonezaki (Titech)
(13) 08:55-09:20 Direct Update of XML Documents Compressed by Tree Grammars 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 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 Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.)
(16) 10:25-10:50 An approach based on implicit places to refactoring problem of workflow nets Jia Zhang, Ichiro Toyoshima, Shingo Yamaguchi (Yamaguchi Univ.)
(17) 10:50-11:15 Considerations on a Statistical Reduct Method for the Decision Table 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 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 Osamu Takaki (Gunma Univ.)
(21) 14:00-14:25 On Conformance Checking of SOA-based Systems 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 Toshihiro Kamiya (Fun)
(23) 15:05-15:30 Toward to exploit interaction history in change guide method based on version history Akihiro Yamamori (Titech), Anders Mikael Hagward (Titech/KTH), Takashi Kobayashi (Titech)

Announcement for Speakers
General TalkEach 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-: sltck 
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-: tba 
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


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 MSS Schedule Page]   /   [Return to SS 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