IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [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  

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 --
Naoshi Uchihira, Yasuo Sasaki (JAIST)
(2) 09:55-10:20 Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events 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 --
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 Naoki Kushi, Shigemasa Takai (Osaka Univ.)
(5) 11:20-11:45 Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions 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 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 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 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 Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
(10) 14:25-14:50 Specification Mining Technology with Data Flow Visualization 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
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 Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)
(13) 16:10-16:35 A Decision Theoretic Characterization of Information Supervisory Control 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 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 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 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 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 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 Kohei Fujita, Toshimitsu Ushio (Osaka Univ.)
(20) 09:40-10:05 Optimal Control of Weighted Automata with Linear Temporal Logic Constraints 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 Taishi Fujita, Toshimitsu Ushio (Osaka Univ.)
(22) 10:30-10:55 Active damping control for Automatic drive wagon 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 Tomohiro Sasano, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
(24) 11:30-11:55 Towards an Extension of CCS for Hybrid Systems 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 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 Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(27) 13:45-14:10 Elastic WLAN System Model and Its Implementation on Linux-PC 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 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 Khin Khin Zaw, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
(30) 15:10-15:35 Identifying Generated Code by Using Machine Learning Techniques 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 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 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   / [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