Biblio
Filters: Keyword is 1035715 [Clear All Filters]
.
2014. Functional Alarms for Systems of Interoperable Medical Devices. 15th International {IEEE} Symposium on High-Assurance Systems Engineering ({HASE} 2014). :247–248.
.
2014. From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
.
2014. Exploring the twin peaks using probabilistic verification techniques. Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014. :18–23.
.
2014. Design Pillars for Medical Cyber-Physical System Middleware. Proceedings of the 5th Workshop on Medical Cyber-Physical Systems (MCPS 2014). :124–132.
.
2014. A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. Workshop on Medical Cyber Physical Systems.
.
2014. A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
.
2013. Distributed Control for Cyber-Physical Systems. Journal of the Indian Institute of Science, Special Issue on Cyber-Physical Systems. 93
.
2013. Circumvention of Security: Good Users Do Bad Things.. IEEE Security & Privacy. 11:80–83.
.
2013. Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. Proceedings of the 2013 IEEE International Conference on Healthcare Informatics (ICHI '13). :307–316.
.
2013. Compositional verification of a medical device system. Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013. :51–64.
.
2013. Modes, features, and state-based modeling for clarity and flexibility. Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013. :13–17.
.
2013. Modeling and requirements on the physical side of cyber-physical systems. 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks@ICSE 2013. :1–7.
.
2013. Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers. Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13).
.
2014. Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
.
2013. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. :81–90.
.
2013. Model-based development of the Generic PCA infusion pump user interface within PVS. Proceedings of the 32$^{nd}$ International Conference on Computer Safety, Reliability and Security (SAFECOMP '13).
.
2014. Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions on Industrial Informatics. 10:3–16.
.
2013. Your "What" Is My "How": Iteration and Hierarchy in System Design. {IEEE} Software. 30:54–60.
.
2014. Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2012. Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences and Classifications.. IEEE Security and Privacy. 10:70–73.
.
2012. Security and Interoperable-Medical-Device Systems, Part 1. IEEE Security and Privacy. 10:61–63.
.
2013. Platform-dependent code generation for embedded real-time software. 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). :1-10.
.
2013. Assuring the Safety of On-Demand Medical Cyber-Physical Systems. Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) 2013.
.
2013. A modal specification approach for on-demand medical systems. Foundations of Health Information Engineering and Systems. :199–216.