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.) |
: m
gu
-u
ba
