Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [Japanese] / [English]
SS2015-44
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)
pp. 1 - 5
SS2015-45
Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events
Sunseong Choe, Kunihiko Hiraishi, Naoshi Uchihira (JAIST)
pp. 7 - 11
SS2015-46
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines --
Toshiyuki Miyamoto (Osaka Univ.)
pp. 13 - 18
SS2015-47
A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems
Naoki Kushi, Shigemasa Takai (Osaka Univ.)
pp. 19 - 22
SS2015-48
Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions
Sho Yoshida, Shigemasa Takai (Osaka Univ.)
pp. 23 - 28
SS2015-49
Application of Transition Predicate Abstraction to Non-Zeno Fairness Verification for Linear Hybrid Automaton
Ryo Yanase, Satoshi Yamane (Kanazawa Univ.)
pp. 29 - 33
SS2015-50
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.)
pp. 35 - 40
SS2015-51
Development of a supporting tool for specifying software requirements using functional requirements parts
Kenya Kojima, Takayuki Omori, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan U.)
pp. 41 - 46
SS2015-52
A Verification Tool for k-Secrecy of XML Databases and Its Optimization
Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
pp. 47 - 52
SS2015-53
Specification Mining Technology with Data Flow Visualization
Yukiko Abe, Yuuji Tamaki (TOSHIBA)
pp. 53 - 57
SS2015-54
[Invited Talk]
Robustness Monitoring of Temporal Logic Formulae using Interval Analysis
Daisuke Ishii (U. Fukui)
pp. 59 - 62
SS2015-55
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.)
pp. 63 - 68
SS2015-56
A Decision Theoretic Characterization of Information Supervisory Control
Yasuo Sasaki, Naoshi Uchihira (JAIST)
pp. 69 - 74
SS2015-57
On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems
Yoshifumi Kawamoto, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
pp. 75 - 80
SS2015-58
A method for making proof graph finite on disjunctive parameterised Boolean equation systems
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.)
pp. 81 - 85
SS2015-59
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)
pp. 87 - 92
SS2015-60
Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems
Shota Matsumoto, Kazunori Ueda (Waseda Univ.)
pp. 93 - 98
SS2015-61
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)
pp. 99 - 103
SS2015-62
Distributed event-triggered output feedback control with minimal-order observer
Kohei Fujita, Toshimitsu Ushio (Osaka Univ.)
pp. 105 - 108
SS2015-63
Optimal Control of Weighted Automata with Linear Temporal Logic Constraints
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.)
pp. 109 - 112
SS2015-64
Application of reinforcement learning to output feedback networked control systems with network delay
Taishi Fujita, Toshimitsu Ushio (Osaka Univ.)
pp. 113 - 118
SS2015-65
Active damping control for Automatic drive wagon
Kosuke Kishimoto, Manabu Kosaka (Kinki Univ)
pp. 119 - 122
SS2015-66
Transforming Constrained Dependency Pairs by Narrowing
Tomohiro Sasano, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
pp. 123 - 128
SS2015-67
Towards an Extension of CCS for Hybrid Systems
Yuto Kawakita, Shoji Yuen (Ngagoya Univ.)
pp. 129 - 134
SS2015-68
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.)
pp. 135 - 140
SS2015-69
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.)
pp. 141 - 146
SS2015-70
Elastic WLAN System Model and Its Implementation on Linux-PC
Md. Ezharul Islam, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
pp. 147 - 152
SS2015-71
A Proposal of Job Scheduling with Performance Measurements by Benchmarks for User PC Computing System
Yuki Aoyagi, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.)
pp. 153 - 158
SS2015-72
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.)
pp. 159 - 164
SS2015-73
Identifying Generated Code by Using Machine Learning Techniques
Kento Shimonaka, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 165 - 170
SS2015-74
An Automatic Repair Method Based on Genetic Programming Using Selective Crossover
Ryotaro Kou, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 171 - 175
SS2015-75
An Empirical Study of Uncertainty in OSS Development Based on Commit Log
Kazuhiro Yamashita, Guanda Jiang, Takuya Fukamachi, Yasutaka Kamei, Noyasu Ubayashi (Kyushu Univ.)
pp. 177 - 182
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.