Thu, Jan 26 AM 09:30 - 12:15 |
(1) |
09:30-10:00 |
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving
-- Proposal of Information Supervisory Control -- |
Naoshi Uchihira, Kentaro Torii (Toshiba), Kunihiko Hiraishi, Sunseong Choe, Tetsuro Chino (JAIST), Yuji Hirabayashi (Shimizu Corp.), Taro Sugihara (JAIST) |
(2) |
10:00-10:30 |
A smartphone-based programming environment for a physical computing platform |
Yuka Kamimura, Yoshiaki Takata (KUT) |
(3) |
10:30-11:00 |
Evaluation of Identification of Variables to Transform into Logarithmic in Cost Prediction |
Kenta Miyoshi (Kagawa NCT), Katsuma Ubukata (NRI), Takeshi Kakimoto (Kagawa NCT), Shinji Kusumoto (Osaka Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
(4) |
11:15-11:45 |
Architectual Point Mapping for Bidirectional Traceability between Design and Code |
Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
(5) |
11:45-12:15 |
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers |
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) |
|
12:15-13:15 |
Lunch Break ( 60 min. ) |
Thu, Jan 26 PM 13:15 - 18:15 |
(6) |
13:15-13:45 |
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics |
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) |
(7) |
13:45-14:15 |
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets |
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) |
(8) |
14:15-14:45 |
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls |
Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
(9) |
14:45-15:15 |
On class of equation sets whose word problems are reducible to those of ground equation sets |
Toshimitsu Sakai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.) |
|
15:15-15:30 |
Break ( 15 min. ) |
(10) |
15:30-16:00 |
On Rewriting Induction for Simply-typed Term Rewriting Systems |
Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
(11) |
16:00-16:30 |
On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems |
Kazuhiro Ooi, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
(12) |
16:30-17:00 |
A Decomposition Approach to the Bi-Objective Traveling Salesman Problem and Its Evaluation |
Hiroya Inamoto, Satoru Hashizume, Tomoyuki Yajima, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.) |
|
17:00-17:15 |
Break ( 15 min. ) |
(13) |
17:15-18:15 |
[Invited Talk]
Towards Mathematical Foundation of Cyber-Physical Systems |
Yuichi Tazaki (Nagoya Univ) |
Fri, Jan 27 AM 09:00 - 12:15 |
(14) |
09:00-10:00 |
[Invited Talk]
Research Cases on Interval Constraint Programming
-- A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems -- |
Daisuke Ishii (NII) |
|
10:00-10:15 |
Break ( 15 min. ) |
(15) |
10:15-10:45 |
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance |
Koji Takahashi (Tokyo Tech.) |
(16) |
10:45-11:15 |
Control of Uncertain Networked Systems with Multiple Random Delays |
Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |
(17) |
11:15-11:45 |
A Framework for Creating Automatically Software Requirements Specification to Meet Elicited User's Requirements |
Shuhei Murayama, Hiroaki Iizuka, Fuminori Hirose (SIT), Takatoshi Yamanaka (FUJITSU LABORATORIES), Seiichi Komiya (SIT) |
(18) |
11:45-12:15 |
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems |
Shuhei Nakata, Shigemasa Takai (Osaka Univ.) |