Abstract is missing.
- The first-order logic of signals: keynoteAlexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic. 1 [doi]
- Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progressYoungho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom. 2 [doi]
- Introspection of the Linux-based embedded firmwares: work-in-progressPavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, Vladimir Makarov. 3 [doi]
- Design of security-critical distributed real-time applications with fault-tolerant constraint: work-in-progressWei Jiang, Haibo Hu, Jinyu Zhan, Ke Jiang. 4 [doi]
- Fast snapshot migration using static code instrumentation: work-in-progressJae Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon. 5 [doi]
- Design concept of a lightweight runtime environment for robot software components onto embedded devices: work-in-progressHideki Takase, Tomoya Mori, Kazuyoshi Takagi, Naofumi Takagi. 6 [doi]
- Hierarchical control of a catoptric surface: work-in-progressRoger D. Chamberlain, Chandler Ahrens, Christopher D. Gill, Scott A. Mitchell. 7 [doi]
- Road context-aware intrusion detection system for autonomous cars: work-in-progressTanya Srivastava, Pryanshu Arora, Chundong Wang 0001, Sudipta Chattopadhyay 0001. 8 [doi]
- Towards optimal scheduling of thermal comfortability and smoothening of load profile in energy efficient buildings: work-in-progressNilotpal Chakraborty, Arijit Mondal, Samrat Mondal. 9 [doi]
- Embedded software for robotics: challenges and future directions: special sessionHoussam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta 0001, Rupak Majumdar, Dogan Ulus. 10 [doi]
- RT: a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progressBo Wan, Bo Zhang, Xi Li, Kaiqi Zhou, Caixu Zhao, Chao Wang, Xuehai Zhou. 11 [doi]
- NVIDIA GPU scheduling details in virtualized environments: work-in-progressNicola Capodieci, Roberto Cavicchioli, Marko Bertogna. 12 [doi]
- Communication-centric analysis of complex embedded computing systems: work-in-progressUraz Odyurt, Hugo Meyer, Simon Polstra, Evangelos Paradas, Ignacio Gonzalez Alonso, Andy D. Pimentel. 13 [doi]
- Fog computing for adaptive human-robot collaboration: work-in-progressVáclav Struhár, Alessandro Vittorio Papadopoulos, Moris Behnam. 14 [doi]
- Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progressJayaraj Poroor. 15 [doi]
- The future of IoT security: special sessionSibin Mohan, Mikael Asplund, Gedare Bloom, Ahmad-Reza Sadeghi, Ahmad Ibrahim 0002, Negin Salajageh, Paul Griffioen, Bruno Sinopoli. 16 [doi]