IEICE Technical Committee

Information and Systems-Software Science(Date:2016/01/25)

Presentation

Application of Transition Predicate Abstraction to Non-Zeno Fairness Verification for Linear Hybrid Automaton

Ryo Yanase(Kanazawa Univ.), Satoshi Yamane(Kanazawa Univ.),

[Date]2016-01-25
[Paper #]MSS2015-40,SS2015-49

On-the-fly Model Checker for a Petri Net Verification Tool(HiPS) by using Replacement LTL Formula to Event-Based Automaton

Yojiro Harie(Shinshu Univ.), Katsumi Wasaki(Shinshu Univ.),

[Date]2016-01-25
[Paper #]MSS2015-46,SS2015-55

A Decision Theoretic Characterization of Information Supervisory Control

Yasuo Sasaki(JAIST), Naoshi Uchihira(JAIST),

[Date]2016-01-25
[Paper #]MSS2015-47,SS2015-56

A Proposal of Readable Code Learning Tool in Java Programming

Takuya Ogawa(Okayama Univ.), Nobuo Funabiki(Okayama Univ.), Minoru Kuribayashi(Okayama Univ.), Nobuya Ishihara(Okayama Univ.), Noriki Amano(Mukogawa Women's Univ.),

[Date]2016-01-25
[Paper #]MSS2015-41,SS2015-50

Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions

Sho Yoshida(Osaka Univ.), Shigemasa Takai(Osaka Univ.),

[Date]2016-01-25
[Paper #]MSS2015-39,SS2015-48

Translation Method for SysML State Machine Diagram into Sequential SPIN Model

Yuya Miyamoto(Kyushu Univ.), Takahiro Ando(Kyushu Univ.), Kenji Hisazumi(Kyushu Univ.), Hirokazu Yatsu(Kyushu Univ.), Akira Fukuda(Kyushu Univ.), Yasutaka Michiura(JAMSS), Keita Sakemi(JAMSS), Michihiro Matsumoto(JAMSS),

[Date]2016-01-25
[Paper #]MSS2015-50,SS2015-59

Naoki Kushi(Osaka Univ.), Shigemasa Takai(Osaka Univ.),

[Date]2016-01-25
[Paper #]MSS2015-38,SS2015-47

Development of a supporting tool for specifying software requirements using functional requirements parts

Kenya Kojima(Ritsumeikan U.), Takayuki Omori(Ritsumeikan U.), Hiroya Itoga(Ritsumeikan U.), Atsushi Ohnishi(Ritsumeikan U.),

[Date]2016-01-25
[Paper #]MSS2015-42,SS2015-51

A Verification Tool for k-Secrecy of XML Databases and Its Optimization

Takatoshi Asai(Nagoya Univ.), Kenji Hashimoto(Nagoya Univ.), Hiroyuki Seki(Nagoya Univ.),

[Date]2016-01-25
[Paper #]MSS2015-43,SS2015-52

Simulation Case Study on Irrational Trade Behavior and Market Growth

Naoshi Uchihira(JAIST), Yasuo Sasaki(JAIST),

[Date]2016-01-25
[Paper #]MSS2015-35,SS2015-44

Effectiveness of Staff Cooperation by Smart Voice Messaging System under Unpredictable Events

Sunseong Choe(JAIST), Kunihiko Hiraishi(JAIST), Naoshi Uchihira(JAIST),

[Date]2016-01-25
[Paper #]MSS2015-36,SS2015-45

Specification Mining Technology with Data Flow Visualization

Yukiko Abe(TOSHIBA), Yuuji Tamaki(TOSHIBA),

[Date]2016-01-25
[Paper #]MSS2015-44,SS2015-53

Choreography Realization by Re-constructible Decomposition of Acyclic Relations

Toshiyuki Miyamoto(Osaka Univ.),

[Date]2016-01-25
[Paper #]MSS2015-37,SS2015-46

Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems

Shota Matsumoto(Waseda Univ.), Kazunori Ueda(Waseda Univ.),

[Date]2016-01-25
[Paper #]MSS2015-51,SS2015-60

A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing

Junya Matsubara(Denso Create), Rieko Takagi(Denso Create), Teruyuki Nakazawa(Denso Create), Tetsuya Tohdo(Denso), Hiroyuki Ihara(Denso), Yukinori Kawaai(Denso),

[Date]2016-01-25
[Paper #]MSS2015-52,SS2015-61

[Invited Talk] Robustness Monitoring of Temporal Logic Formulae using Interval Analysis

Daisuke Ishii(U. Fukui),

[Date]2016-01-25
[Paper #]MSS2015-45,SS2015-54

On Proving Termination and Inductive Theorems Simultaneously for Constrained Term Rewriting Systems

Yoshifumi Kawamoto(Nagoya Univ.), Naoki Nishida(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.),

[Date]2016-01-25
[Paper #]MSS2015-48,SS2015-57

A method for making proof graph finite on disjunctive parameterised Boolean equation systems

Yutaro Nagae(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.), Hiroyuki Seki(Nagoya Univ.),

[Date]2016-01-25
[Paper #]MSS2015-49,SS2015-58

Implementation of Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs

Riku Asayama(Kanazawa Univ.), Kohei Sakurai(Kanazawa Univ.), Satoshi Yamane(Kanazawa Univ.),