| 697 | -- | 698 | Shiyan Hu, Xiaobo Sharon Hu, Albert Y. Zomaya. Guest Editorial Leveraging Design Automation Techniques for Cyber-Physical System Design |
| 699 | -- | 711 | Bowen Zheng, Peng Deng, Anguluri Rajasekhar, Qi Zhu, Fabio Pasqualetti. Cross-Layer Codesign for Secure Cyber-Physical Systems |
| 712 | -- | 723 | Mianxiong Dong, Kaoru Ota, Laurence T. Yang, Anfeng Liu, Minyi Guo. LSCD: A Low-Storage Clone Detection Protocol for Cyber-Physical Systems |
| 724 | -- | 737 | Daming Zhang, Yongpan Liu, Jinyang Li, Chun Jason Xue, Xueqing Li, Yu Wang, Huazhong Yang. Solar Power Prediction Assisted Intra-task Scheduling for Nonvolatile Sensor Nodes |
| 738 | -- | 749 | Domenico Balsamo, Anup Das 0001, Alex S. Weddell, Davide Brunelli, Bashir M. Al-Hashimi, Geoff V. Merrett, Luca Benini. Graceful Performance Modulation for Power-Neutral Transient Computing Systems |
| 750 | -- | 763 | Hyung-Chan An, Hoeseok Yang, Soonhoi Ha. A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness |
| 764 | -- | 777 | Mirela Alistar, Paul Pop, Jan Madsen. Synthesis of Application-Specific Fault-Tolerant Digital Microfluidic Biochip Architectures |
| 778 | -- | 791 | Muhammad Umer Khan, Shuai Li, Qixin Wang, Zili Shao. CPS Oriented Control Design for Networked Surveillance Robots With Multiple Physical Constraints |
| 792 | -- | 805 | Bin Zhou, Wei Zhang, Thambipillai Srikanthan, Jason Teo Kian Jin, Vivek Chaturvedi, Tao Luo. Cost-efficient Acceleration of Hardware Trojan Detection Through Fan-Out Cone Analysis and Weighted Random Pattern Technique |
| 806 | -- | 819 | Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli. Majority-Inverter Graph: A New Paradigm for Logic Optimization |
| 820 | -- | 831 | Subhendu Roy, Mihir R. Choudhury, Ruchir Puri, David Z. Pan. Polynomial Time Algorithm for Area and Power Efficient Adder Synthesis in High-Performance Designs |
| 832 | -- | 843 | Qinggao Mei, Wim Schoenmaker, Shih-Hung Weng, Hao Zhuang, Chung-Kuan Cheng, Quan Chen. An Efficient Transient Electro-Thermal Simulation Framework for Power Integrated Circuits |
| 844 | -- | 857 | Anastasios Psarras, JungHee Lee, Ioannis Seitanidis, Chrysostomos Nicopoulos, Giorgos Dimitrakopoulos. PhaseNoC: Versatile Network Traffic Isolation Through TDM-Scheduled Virtual Channels |
| 858 | -- | 871 | Seyed Nematollah Adel Ahmadyan, Shobha Vasudevan. Automated Transient Input Stimuli Generation for Analog Circuits |
| 872 | -- | 0 | Emad Ebeid, Franco Fummi, Davide Quaglia. Erratum to "Model-Driven Design of Network Aspects of Distributed Embedded Systems" |