| 1471 | -- | 1478 | H. Troy Nagle, Susan S. Schiffman. Electronic Taste and Smell: The Case for Performance Standards [Point of View] |
| 1479 | -- | 1483 | Qi Zhu 0002, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li 0001. Design Automation for Cyber-Physical Systems [Scanning the Issue] |
| 1484 | -- | 1500 | Qi Zhu 0002, Alberto L. Sangiovanni-Vincentelli. Codesign Methodologies and Tools for Cyber-Physical Systems |
| 1501 | -- | 1526 | Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson. Model and Tool Integration Platforms for Cyber-Physical System Design |
| 1527 | -- | 1542 | Christopher X. Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvelletz, Beth Osyk, Matthew Weber. A Component Architecture for the Internet of Things |
| 1543 | -- | 1567 | Mischa Möstl, Johannes Schlatow, Rolf Ernst, Nikil D. Dutt, Ahmed Nassar, Amir-Mohammad Rahmani, Fadi J. Kurdahi, Thomas Wild, Armin Sadighi, Andreas Herkersdorf. Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS |
| 1568 | -- | 1592 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet. Building a Hybrid Systems Modeler on Synchronous Languages Principles |
| 1593 | -- | 1615 | Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alena Rodionova. Real-Time Decision Policies With Predictable Performance |
| 1616 | -- | 1654 | Ioannis Filippidis, Richard M. Murray. Layering Assume-Guarantee Contracts for Hierarchical System Design |
| 1655 | -- | 1679 | Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada. SMC: Satisfiability Modulo Convex Programming |
| 1680 | -- | 1699 | Ruoxi Jia, Baihong Jin, Ming Jin 0002, Yuxun Zhou, Ioannis C. Konstantakopoulos, Han Zou, Joyce Kim, Dan Li, Weixi Gu, Reza Arghandeh, Pierluigi Nuzzo, Stefano Schiavon, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos. Design Automation for Smart Building Systems |
| 1700 | -- | 1716 | Anand Bhat, Shunsuke Aoki 0001, Ragunathan Rajkumar. Tools and Methodologies for Autonomous Driving Systems |
| 1717 | -- | 1743 | Mohamed Ibrahim, Krishnendu Chakrabarty. Cyber-Physical Digital-Microfluidic Biochips: Bridging the Gap Between Microfluidics and Microbiology |
| 1744 | -- | 1759 | Chih-Chuan Cheng, Pi-Cheng Hsiu, Ting-Kuei Hu, Tei-Wei Kuo. Oasis: A Mobile Cyber-Physical System for Accessible Location Exploration |
| 1760 | -- | 1770 | Brian L. Stuart. Programming the ENIAC [Scanning our Past] |