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.
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)
