Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2016-01-25 09:30 |
Ishikawa |
Shiinoki-Geihin-Kan |
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) MSS2015-35 SS2015-44 |
IoT (Internet of Things) makes it possible that all information connected by the internet is shared at real-time. It is ... [more] |
MSS2015-35 SS2015-44 pp.1-5 |
SS, MSS |
2016-01-25 09:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events Sunseong Choe, Kunihiko Hiraishi, Naoshi Uchihira (JAIST) MSS2015-36 SS2015-45 |
The Smart Voice Messaging System is an information sharing system by voice messaging that encourages knowing situation, ... [more] |
MSS2015-36 SS2015-45 pp.7-11 |
SS, MSS |
2016-01-25 10:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
MSS2015-37 SS2015-46 pp.13-18 |
SS, MSS |
2016-01-25 10:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems Naoki Kushi, Shigemasa Takai (Osaka Univ.) MSS2015-38 SS2015-47 |
In the previous work of bisimilarity control of nondeterministic discrete event systems, a supervisor has the set of mar... [more] |
MSS2015-38 SS2015-47 pp.19-22 |
SS, MSS |
2016-01-25 11:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions Sho Yoshida, Shigemasa Takai (Osaka Univ.) MSS2015-39 SS2015-48 |
In supervisory control of discrete event systems, the generated language of the controlled system does not necessarily c... [more] |
MSS2015-39 SS2015-48 pp.23-28 |
SS, MSS |
2016-01-25 11:45 |
Ishikawa |
Shiinoki-Geihin-Kan |
Application of Transition Predicate Abstraction to Non-Zeno Fairness Verification for Linear Hybrid Automaton Ryo Yanase, Satoshi Yamane (Kanazawa Univ.) MSS2015-40 SS2015-49 |
For verifying fairness properties of a hybrid system, in generally, it is necessary to show that the system also satisfi... [more] |
MSS2015-40 SS2015-49 pp.29-33 |
SS, MSS |
2016-01-25 13:10 |
Ishikawa |
Shiinoki-Geihin-Kan |
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.) MSS2015-41 SS2015-50 |
Java has been educated in many universities and professional schools due to the reliability, portability, and easy learn... [more] |
MSS2015-41 SS2015-50 pp.35-40 |
SS, MSS |
2016-01-25 13:35 |
Ishikawa |
Shiinoki-Geihin-Kan |
Development of a supporting tool for specifying software requirements using functional requirements parts Kenya Kojima, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan U.) MSS2015-42 SS2015-51 |
A software requirements specification (SRS) should be correctly and efficiently specified to develop software smoothly. ... [more] |
MSS2015-42 SS2015-51 pp.41-46 |
SS, MSS |
2016-01-25 14:00 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Verification Tool for k-Secrecy of XML Databases and Its Optimization Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2015-43 SS2015-52 |
An inference attack is a malicious way to obtain the result of an unauthorized query
by combining the database schema,... [more] |
MSS2015-43 SS2015-52 pp.47-52 |
SS, MSS |
2016-01-25 14:25 |
Ishikawa |
Shiinoki-Geihin-Kan |
Specification Mining Technology with Data Flow Visualization Yukiko Abe, Yuuji Tamaki (TOSHIBA) MSS2015-44 SS2015-53 |
In software development, developers often need to understand source code of existing software to reuse its assets. Howev... [more] |
MSS2015-44 SS2015-53 pp.53-57 |
SS, MSS |
2016-01-25 15:00 |
Ishikawa |
Shiinoki-Geihin-Kan |
[Invited Talk]
Robustness Monitoring of Temporal Logic Formulae using Interval Analysis Daisuke Ishii (U. Fukui) MSS2015-45 SS2015-54 |
[more] |
MSS2015-45 SS2015-54 pp.59-62 |
SS, MSS |
2016-01-25 15:45 |
Ishikawa |
Shiinoki-Geihin-Kan |
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.) MSS2015-46 SS2015-55 |
This paper proposes an On-the-fly Linear Temporal Logic (LTL) model checker using state space generation based on the Pe... [more] |
MSS2015-46 SS2015-55 pp.63-68 |
SS, MSS |
2016-01-25 16:10 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Decision Theoretic Characterization of Information Supervisory Control Yasuo Sasaki, Naoshi Uchihira (JAIST) MSS2015-47 SS2015-56 |
We characterize the concept of information supervisory control in terms of mathematical decision theory, formulating the... [more] |
MSS2015-47 SS2015-56 pp.69-74 |
SS, MSS |
2016-01-25 16:45 |
Ishikawa |
Shiinoki-Geihin-Kan |
On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems Yoshifumi Kawamoto, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2015-48 SS2015-57 |
[more] |
MSS2015-48 SS2015-57 pp.75-80 |
SS, MSS |
2016-01-25 17:10 |
Ishikawa |
Shiinoki-Geihin-Kan |
A method for making proof graph finite on disjunctive parameterised Boolean equation systems Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) MSS2015-49 SS2015-58 |
A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixe... [more] |
MSS2015-49 SS2015-58 pp.81-85 |
SS, MSS |
2016-01-25 17:40 |
Ishikawa |
Shiinoki-Geihin-Kan |
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) MSS2015-50 SS2015-59 |
[more] |
MSS2015-50 SS2015-59 pp.87-92 |
SS, MSS |
2016-01-25 18:05 |
Ishikawa |
Shiinoki-Geihin-Kan |
Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems Shota Matsumoto, Kazunori Ueda (Waseda Univ.) MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム
(ハイブリッドシステム)の精度保証シミュレータの開発である.
我々はこれまで制約求解と数式処理に基づき,システムのパラメータ解析を
可能とするシミュレータを開発してきたが,適用... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
SS, MSS |
2016-01-25 18:30 |
Ishikawa |
Shiinoki-Geihin-Kan |
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) MSS2015-52 SS2015-61 |
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. I... [more] |
MSS2015-52 SS2015-61 pp.99-103 |
SS, MSS |
2016-01-26 09:15 |
Ishikawa |
Shiinoki-Geihin-Kan |
Distributed event-triggered output feedback control with minimal-order observer Kohei Fujita, Toshimitsu Ushio (Osaka Univ.) MSS2015-53 SS2015-62 |
In this report, we consider a large-scale linear plant with physically distributed sensors and actuators communicating e... [more] |
MSS2015-53 SS2015-62 pp.105-108 |
SS, MSS |
2016-01-26 09:40 |
Ishikawa |
Shiinoki-Geihin-Kan |
Optimal Control of Weighted Automata with Linear Temporal Logic Constraints Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.) MSS2015-54 SS2015-63 |
We consider a weighted automaton, where each edge has a weight that represents the cost of the transition.
Its event s... [more] |
MSS2015-54 SS2015-63 pp.109-112 |