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

DATE:
Mon, Jan 25, 2016 09:30 - 18:55
Tue, Jan 26, 2016 09:15 - 16:25

PLACE:


TOPICS:


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

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

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

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

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

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

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

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

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

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


=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:

Thu, Mar 3, 2016 - Fri, Mar 4, 2016: KAIKYO MESSE SHIMONOSEKI [Sun, Jan 17]

# SECRETARY:
Mitsuru Nakata (Yamaguchi Univ.)
Tel: +81-83-933-5402
E-mail: mgu-u

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

Thu, Mar 10, 2016 - Fri, Mar 11, 2016: [Tue, Jan 12]

# SECRETARY:
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