Thu, Jan 18 AM
09:50 - 11:30 |
| (1) |
09:50-10:15 |
|
|
| (2) |
10:15-10:40 |
|
|
| (3) |
10:40-11:05 |
|
Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, Shinji Kusumoto (Osaka Univ.) |
| (4) |
11:05-11:30 |
|
Masayuki Doi, Yoshiki Higo, Ryo Arima, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.) |
| |
11:30-12:45 |
( 75 min. ) |
Thu, Jan 18 PM
12:45 - 14:00 |
| (5) |
12:45-13:10 |
Verification of an Approach to Find Determiner Set of Graphs |
Koki Tanaka, Takafumi Goto, Mituru Nakata (Yamaguchi Univ.), Chiranut Sa-ngiamsak (Khon Kaen Univ.), Qi-Wei Ge (Yamaguchi Univ.) |
| (6) |
13:10-13:35 |
Weighted Potential for Multipopulation Access Point Selection Games |
Yuki Kodera, Takafumi Kanazawa (Osaka Univ.) |
| (7) |
13:35-14:00 |
Stack queue mixed layout of graphs using stack number |
Miki Miyauchi (NTT) |
| |
14:00-14:15 |
( 15 min. ) |
Thu, Jan 18 PM
14:15 - 15:30 |
| (8) |
14:15-14:40 |
Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars |
Ryoma Senda, Hiroyuki Seki (Nagoya Univ.) |
| (9) |
14:40-15:05 |
Design of concurrent processing by an interpreter for the functional programming language in continuation passing style |
Nagisa Kojima, Kazuyuki Shima (HCU) |
| (10) |
15:05-15:30 |
Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling |
Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) |
| |
15:30-15:45 |
( 15 min. ) |
Thu, Jan 18 PM
15:45 - 17:25 |
| (11) |
15:45-16:10 |
Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits |
Tsutomu Inamoto, Yoshinobu Higami (Ehime Univ.) |
| (12) |
16:10-16:35 |
A Proposal of Generating Paths of Program Net and Its Application to Software Testing |
Biao Wu (Yamaguchi Univ.), Xiaoan Bao, Na Zhang (ZSTU), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (13) |
16:35-17:00 |
Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine |
Quan Gan, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (14) |
17:00-17:25 |
Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation |
Thi-Thuy Nguyen, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| |
17:25-17:35 |
( 10 min. ) |
Thu, Jan 18 PM
17:35 - 18:00 |
| (15) |
17:35-18:00 |
[Invited Talk]
Recent Trends in the Development of Programming Language Ruby
-- An Improvement of Code Coverage Feature as a Case Study, and the Goals of Ruby 3 -- |
Yusuke Endoh (Cookpad) |
| |
- |
|
Fri, Jan 19 AM
09:50 - 11:30 |
| (16) |
09:50-10:15 |
Data-Aware Service Orchestration of IoT Service with Data Workflow Net |
Mohd Anuaruddin Bin Ahmadon, Naofumi Yamaguchi, Shingo Yamaguchi (Yamaguchi Univ.) |
| (17) |
10:15-10:40 |
On Modeling of Infection Phenomenon and Evaluation of Countermeasure for IoT Malware Mirai by Agent-Oriented Petri Net PN2 |
Shingo Yamaguchi, Hiroaki Tanaka (Yamaguchi Univ.) |
| (18) |
10:40-11:05 |
On Extraction of Gap Service between Design and Operation by Process Mining |
Ryosuke Wada, Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Mohd Anuaruddin Bin Ahmadon (TOSHIBA Energy Systems & Solutions Corporation), Yamaguchi Shingo (Yamaguchi Univ.) |
| (19) |
11:05-11:30 |
An Analysis of Prosumers' Benefit on Peer-to-Peer Energy Trading |
Mitsue Imahori, Ryo Hase, Norihiko Shinomiya (Soka Univ.) |
| |
11:30-12:45 |
( 75 min. ) |
Fri, Jan 19 PM
12:45 - 14:25 |
| (20) |
12:45-13:10 |
Classification of problem detection for incomplete software requirements using the development standard process |
Toma Miyamura (NAIST), Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto (JAXA), Hajimu Iida (NAIST), Masafumi Katahira (JAXA) |
| (21) |
13:10-13:35 |
|
|
| (22) |
13:35-14:00 |
A Visualization Method of Compliance Status of Software Development Flow when using Version Control System |
Takumi Inoue, Yoichiro Kojima (OIT), Kenji Fujiwara (NITTC), Hiroshi Igaki (OIT) |
| (23) |
14:00-14:25 |
An Extension of Test Code Generation Support Tool Using Test Log to Java Method with Returning Value |
Ryota Kusaka, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) |
| |
14:25-14:40 |
( 15 min. ) |
Fri, Jan 19 PM
14:40 - 16:20 |
| (24) |
14:40-15:05 |
Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers |
Itsuki Okubo, Shigemasa Takai (Osaka Univ.) |
| (25) |
15:05-15:30 |
Application of M-Matrices to Stabilization of Composite Systems via Decentralized Event-Triggered Control |
Kenichi Fukuda, Toshimitsu Ushio (Osaka Univ.) |
| (26) |
15:30-15:55 |
Mathematical Analysis of Phase Resetting Control Mechanism during Rhythmic Movements |
Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.) |
| (27) |
15:55-16:20 |
Common Sub-Graph Extraction from Idiom Networks of Amino Acid Short Constituent Sequences |
Kentaro Maeshiro (Ryukyu Univ), Takeshi Tengan (Meio Univ), Morikazu Nakamura (Ryukyu Univ) |
| |
16:20-16:35 |
( 15 min. ) |
Fri, Jan 19 PM
16:35 - 17:50 |
| (28) |
16:35-17:00 |
Consideration of User Behavior History Collection System for Server Management Exercise |
Kazuki Nisimura, Hirosi Igaki (OIT) |
| (29) |
17:00-17:25 |
A Proposal of Code Correction Problem for Test Code Study in Java Programming Learning Assistant System |
He Sai, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ) |
| (30) |
17:25-17:50 |
An Introduction of Source Code Management System for Java Programming Learning Assistant System: JPLAS |
Shimpei Matsumoto, Nobuo Hunabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.) |
: i
-u