Denial of Service in Sensor Networks
Computer
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Periodic Resource Model for Compositional Real-Time Guarantees
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Security in wireless sensor networks
Communications of the ACM - Wireless sensor networks
Design Trade-Offs for Networks with Soft End-to-End Timing Constraints
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Remote health-care monitoring using personal care connect
IBM Systems Journal
Challenges in transformation of existing real-time embedded systems to cyber-physical systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Communications of the ACM - Security in the Browser
Introducing embedded systems: a cyber-physical approach: extended abstract
WESE '09 Proceedings of the 2009 Workshop on Embedded Systems Education
Telematics and Informatics
Engineering the development of embedded systems
Formal methods and hybrid real-time systems
A reduced complexity design pattern for distributed hierarchical command and control system
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Dimensioning and worst-case analysis of cluster-tree sensor networks
ACM Transactions on Sensor Networks (TOSN)
A high speed reconfigurable USART IP core with support for multi-drop networks
WSEAS TRANSACTIONS on SYSTEMS
An introductory textbook on cyber-physical systems
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
Security Issues and Challenges for Cyber Physical System
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Hybrid systems tools for compiling controllers for cyber-physical systems
Discrete Event Dynamic Systems
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Real-time linux framework for designing parallel mobile robotic applications
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II
The low-power wireless bus: simplicity is (again) the soul of efficiency
Proceedings of the 11th international conference on Information Processing in Sensor Networks
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Pacemaker control of heart rate variability: A cyber physical system perspective
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
| Hi-index | 4.10 |
Seamlessly integrating computing with the physical world via sensors and actuators, physical computing systems promise to give society an improved living standard, greater security, and unparalleled convenience and efficiency