Held in conjunction with ESWEEK 2017 on during October 15-20 2017, Seoul, South Korea.

Saturday, September 30, 2017

CyPhy 2017 Program

Session 1. 9:00 am - 10:00 am.

Keynote Address.

Ichiro Hasuo. Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid.

Session 2. 10:30 am – 12:00 pm.

Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi and Toshiaki Aoki. Template-Based Monte-Carlo Test Generation for Simulink Models.

Shakiba Yaghoubi and Georgios Fainekos. Local Descent for Temporal Logic Falsification of Cyber-Physical Systems.

Daisuke Ishii, Alexandre Goldsztejn and Naoki Yonezaki. Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis.

Session 3. 1:30 pm - 3:00 pm.

Hokeun Kim, Edward A. Lee and Armin Wasicek. An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems.

Jeongyoon Eo, Kang-Wook Kim and Chang-Gun Lee. Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems.

Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li and Xuehai Zhou. FPGA based Big Data Accelerator Design in Teaching Computer Architecture and Organization.

3:30 pm - 4:30 pm — Panel and Conclusion.