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


Technical Committee on Mathematical Systems Science and its applications (MSS) [schedule] [select]
Chair Satoshi Yamane (Kanazawa Univ.)
Vice Chair Morikazu Nakamura (Univ. of Ryukyus)
Secretary Mitsuru Nakata (Yamaguchi Univ.), Ichiro Toyoshima (Toshiba)
Assistant Hideki Kinjo (Okinawa Univ.)

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 25, 2016 09:30 - 18:55
Tue, Jan 26, 2016 09:15 - 16:25
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 25 AM  MSS1
09:30 - 10:45
(1) 09:30-09:55 Simulation Case Study on Irrational Trade Behavior and Market Growth
-- Rational Trade Behavior with Perfect Information May Sometime Hinder Market Growth in IoT Era --
MSS2015-35 SS2015-44
Naoshi Uchihira, Yasuo Sasaki (JAIST)
(2) 09:55-10:20 Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events MSS2015-36 SS2015-45 Sunseong Choe, Kunihiko Hiraishi, Naoshi Uchihira (JAIST)
(3) 10:20-10:45 Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines --
MSS2015-37 SS2015-46
Toshiyuki Miyamoto (Osaka Univ.)
  10:45-10:55 Break ( 10 min. )
Mon, Jan 25 AM  MSS2
10:55 - 12:10
(4) 10:55-11:20 A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems MSS2015-38 SS2015-47 Naoki Kushi, Shigemasa Takai (Osaka Univ.)
(5) 11:20-11:45 Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions MSS2015-39 SS2015-48 Sho Yoshida, Shigemasa Takai (Osaka Univ.)
(6) 11:45-12:10 Application of Transition Predicate Abstraction to Non-Zeno Fairness Verification for Linear Hybrid Automaton MSS2015-40 SS2015-49 Ryo Yanase, Satoshi Yamane (Kanazawa Univ.)
  12:10-13:10 Lunch Break ( 60 min. )
Mon, Jan 25 PM  SS1
13:10 - 14:50
(7) 13:10-13:35 A Proposal of Readable Code Learning Tool in Java Programming MSS2015-41 SS2015-50 Takuya Ogawa, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.), Noriki Amano (Mukogawa Women's Univ.)
(8) 13:35-14:00 Development of a supporting tool for specifying software requirements using functional requirements parts MSS2015-42 SS2015-51 Kenya Kojima, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan U.)
(9) 14:00-14:25 A Verification Tool for k-Secrecy of XML Databases and Its Optimization MSS2015-43 SS2015-52 Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
(10) 14:25-14:50 Specification Mining Technology with Data Flow Visualization MSS2015-44 SS2015-53 Yukiko Abe, Yuuji Tamaki (TOSHIBA)
  14:50-15:00 Break ( 10 min. )
Mon, Jan 25 PM 
15:00 - 15:45
(11) 15:00-15:45 [Invited Talk]
Robustness Monitoring of Temporal Logic Formulae using Interval Analysis MSS2015-45 SS2015-54
Daisuke Ishii (U. Fukui)
Mon, Jan 25 PM  MSS3
15:45 - 16:35
(12) 15:45-16:10 On-the-fly Model Checker for a Petri Net Verification Tool(HiPS) by using Replacement LTL Formula to Event-Based Automaton MSS2015-46 SS2015-55 Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)
(13) 16:10-16:35 A Decision Theoretic Characterization of Information Supervisory Control MSS2015-47 SS2015-56 Yasuo Sasaki, Naoshi Uchihira (JAIST)
  16:35-16:45 Break ( 10 min. )
Mon, Jan 25 PM  SS2
16:45 - 17:35
(14) 16:45-17:10 On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems MSS2015-48 SS2015-57 Yoshifumi Kawamoto, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
(15) 17:10-17:35 A method for making proof graph finite on disjunctive parameterised Boolean equation systems MSS2015-49 SS2015-58 Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.)
  17:35-17:40 Break ( 5 min. )
Mon, Jan 25 PM  SS3
17:40 - 18:55
(16) 17:40-18:05 Translation Method for SysML State Machine Diagram into Sequential SPIN Model MSS2015-50 SS2015-59 Yuya Miyamoto, Takahiro Ando, Kenji Hisazumi, Hirokazu Yatsu, Akira Fukuda (Kyushu Univ.), Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto (JAMSS)
(17) 18:05-18:30 Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems MSS2015-51 SS2015-60 Shota Matsumoto, Kazunori Ueda (Waseda Univ.)
(18) 18:30-18:55 A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing MSS2015-52 SS2015-61 Junya Matsubara, Rieko Takagi, Teruyuki Nakazawa (Denso Create), Tetsuya Tohdo, Hiroyuki Ihara, Yukinori Kawaai (Denso)
Tue, Jan 26 AM  MSS4
09:15 - 10:55
(19) 09:15-09:40 Distributed event-triggered output feedback control with minimal-order observer MSS2015-53 SS2015-62 Kohei Fujita, Toshimitsu Ushio (Osaka Univ.)
(20) 09:40-10:05 Optimal Control of Weighted Automata with Linear Temporal Logic Constraints MSS2015-54 SS2015-63 Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.)
(21) 10:05-10:30 Application of reinforcement learning to output feedback networked control systems with network delay MSS2015-55 SS2015-64 Taishi Fujita, Toshimitsu Ushio (Osaka Univ.)
(22) 10:30-10:55 Active damping control for Automatic drive wagon MSS2015-56 SS2015-65 Kosuke Kishimoto, Manabu Kosaka (Kinki Univ)
  10:55-11:05 Break ( 10 min. )
Tue, Jan 26 AM  SS4
11:05 - 12:20
(23) 11:05-11:30 Transforming Constrained Dependency Pairs by Narrowing MSS2015-57 SS2015-66 Tomohiro Sasano, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
(24) 11:30-11:55 Towards an Extension of CCS for Hybrid Systems MSS2015-58 SS2015-67 Yuto Kawakita, Shoji Yuen (Ngagoya Univ.)
(25) 11:55-12:20 Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets MSS2015-59 SS2015-68 Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.)
  12:20-13:20 Lunch Break ( 60 min. )
Tue, Jan 26 PM  MSS5
13:20 - 14:35
(26) 13:20-13:45 Implementation of Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs MSS2015-60 SS2015-69 Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(27) 13:45-14:10 Elastic WLAN System Model and Its Implementation on Linux-PC MSS2015-61 SS2015-70 Md. Ezharul Islam, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
(28) 14:10-14:35 A Proposal of Job Scheduling with Performance Measurements by Benchmarks for User PC Computing System MSS2015-62 SS2015-71 Yuki Aoyagi, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
  14:35-14:45 Break ( 10 min. )
Tue, Jan 26 PM  SS5
14:45 - 16:25
(29) 14:45-15:10 A Study of Value Trace Problems for Graph Theory Algorithms in Java Programming Learning Assistant System MSS2015-63 SS2015-72 Khin Khin Zaw, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
(30) 15:10-15:35 Identifying Generated Code by Using Machine Learning Techniques MSS2015-64 SS2015-73 Kento Shimonaka, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(31) 15:35-16:00 An Automatic Repair Method Based on Genetic Programming Using Selective Crossover MSS2015-65 SS2015-74 Ryotaro Kou, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(32) 16:00-16:25 An Empirical Study of Uncertainty in OSS Development Based on Commit Log MSS2015-66 SS2015-75 Kazuhiro Yamashita, Guanda Jiang, Takuya Fukamachi, Yasutaka Kamei, Noyasu Ubayashi (Kyushu Univ.)

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 Mitsuru Nakata (Yamaguchi Univ.)
Tel: +81-83-933-5402
E--mail: mgu-u 
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--mail: tba 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/


Last modified: 2016-01-14 20:42:29


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