Text

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.

Thursday, July 13, 2017

Deadline Extended to July 23

Following requests for additional time, the submission deadline has been extended to July 23, 2017 (firm). This includes both papers for which an abstract has been received and new papers.

Submission instructions are available here.

Thursday, April 20, 2017

CyPhy part of ESWeek 2017 in Seoul!

We are pleased to announce that CyPhy'17 will be held as part of ESWEEK 2017 in Seoul. The call for papers can be found here.