1 | -- | 0 | Ji Eun Kim, Daniel Mossé. Generic framework for design, modeling and simulation of cyber physical systems |
2 | -- | 0 | Vibha Prasad, Sang Hyuk Son. Design suite for deeply embedded cyber physical systems |
3 | -- | 0 | Woochul Kang, Sang Hyuk Son. The design of an open data service architecture for cyber-physical systems |
4 | -- | 0 | Terry Tidwell, Christopher D. Gill. Towards verifiable deeply embedded systems |
5 | -- | 0 | Honguk Woo, Aloysius K. Mok, James C. Browne. A hybrid framework for resource verification in executable model-based embedded system development |
6 | -- | 0 | Arvind Easwaran, Insup Lee. Compositional schedulability analysis for cyber-physical systems |
7 | -- | 0 | Gabor Madl, Nikil Dutt. Real-time analysis of resource-constrained distributed systems by simulation-guided model checking |
8 | -- | 0 | Sibin Mohan. Worst-case execution time analysis of security policies for deeply embedded real-time systems |
9 | -- | 0 | Nathan Cooprider, John Regehr. Using sequencing to trigger a better analysis |
10 | -- | 0 | Antino Kim, Kang G. Shin. Impact of RTOS parameters on end-to-end timing performance |
11 | -- | 0 | Borzoo Bonakdarpour. Challenges in transformation of existing real-time embedded systems to cyber-physical systems |
12 | -- | 0 | Yunbo Wang, Mehmet C. Vuran, Steve Goddard. Cyber-physical systems in industrial process control |
13 | -- | 0 | Xuan Qi. Exploring chip-multiprocessors in deeply-embedded real-time computing |
14 | -- | 0 | Greg Hoover, Forrest Brewer, Timothy Sherwood. Structural integrity: safety in miniature technology |
15 | -- | 0 | Octav Chipara, Chenyang Lu. Towards predictable wireless cyber-physical applications |
16 | -- | 0 | Niwaer Ai, Ying Lu, Jitender S. Deogun. The smart phones of tomorrow |
17 | -- | 0 | Wenbo He, Klara Nahrstedt. MobileAds: advertisement on mobile devices |
18 | -- | 0 | Pascal Vicaire, John A. Stankovic. Physicalnet: cross-network applications for multi-user sensor and actuator networks |
19 | -- | 0 | Devdatta Kulkarni. Programming framework for sensor-data driven context-aware applications |
20 | -- | 0 | Anthony D. Wood, John A. Stankovic. Human in the loop: distributed data streams for immersive cyber-physical systems |
21 | -- | 0 | Jatindera Singh Walia, Rong Zheng. Work in progress: wiser distributed file system for heterogeneous sensor platforms |
22 | -- | 0 | Shan Lin, Tian He, John A. Stankovic. CPS-IP: cyber physical systems interconnection protocol |
23 | -- | 0 | MyungJoo Ham, Gul Agha. Market-based coordination strategies for physical multi-agent systems |
24 | -- | 0 | Minyoung Kim. xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems |
25 | -- | 0 | Madhukar Anand, Insup Lee. Challenges and opportunities in deeply embedded systems security |
26 | -- | 0 | Ying Tan, Steve Goddard, Lance C. Pérez. A prototype architecture for cyber-physical systems |
27 | -- | 0 | Zhibin Zhou, Dijiang Huang. Computing cryptographic pairing in sensors |
28 | -- | 0 | Vijay Srinivasan, John A. Stankovic, Kamin Whitehouse. A fingerprint and timing-based snooping attack on residential sensor systems |
29 | -- | 0 | Youngwoo Ahn, Riccardo Bettati. Thermal effects on real-time systems |