Concept-based partitioning for large multidomain multifunctional embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A platform for implantable medical device validation
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
Medical cyber physical systems
Proceedings of the 47th Design Automation Conference
Evolution of an international collaborative student project
ACE '09 Proceedings of the Eleventh Australasian Conference on Computing Education - Volume 95
A platform for implantable medical device validation: demo abstract
WH '10 Wireless Health 2010
Digital mockups for the testing of a medical ventilator
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Design challenges for secure implantable medical devices
Proceedings of the 49th Annual Design Automation Conference
Formalization of heart models based on the conduction of electrical impulses and cellular automata
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Computers in Biology and Medicine
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
A low complexity coordination architecture for networked supervisory medical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
BodyNets '13 Proceedings of the 8th International Conference on Body Area Networks
Safety-critical medical device development using the UPP2SF model translation tool
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 4.10 |
Given the shortage of caregivers and the increase in an aging US population, the future of US healthcare quality does not look promising and definitely is unlikely to be cheaper. Advances in health information systems and healthcare technology offer a tremendous opportunity for improving the quality of care while reducing costs.