Biblio
Filters: First Letter Of Last Name is L [Clear All Filters]
.
2017. Minimal Input Selection for Robust Control. To appear in 56th IEEE Conference on Decision and Control (CDC).
.
2015. Jamming-based adversarial control of network flow allocation: A passivity approach. American Control Conference (ACC). :4710–4716.
.
2016. Distributed adaptive patching strategies against malware propagation: A passivity approach. IEEE 55th Conference on Decision and Control (CDC). :2587–2594.
.
2017. Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. To appear in IEEE Transactions on Control of Networked Systems (TCNS).
.
2014. A passivity framework for modeling and mitigating wormhole attacks on networked control systems. IEEE Transactions on Automatic Control. 59:3224–3237.
.
2015. Passivity-Based Distributed Strategies for Stochastic Stackelberg Security Games. IEEE Conference on Decision and Game Theory for Security. :113–129.
.
2015. Passivity framework for composition and mitigation of multi-virus propagation in networked systems. American Control Conference (ACC). :2453–2460.
.
2015. A host takeover game model for competing malware. 54th IEEE Conference on Decision and Control (CDC). :4523–4530.
.
2015. A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps. Proceedings of the 2015 International Conference on Healthcare Informatics. :213–222.
.
2015. Towards a Model-Based Meal Detector for Type I Diabetics. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
.
2015. Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
.
2015. Towards Assurance for Plug & Play Medical Systems. International Conference on Computer Safety, Reliability and Security ({SAFECOMP 2015}). :228-242.
.
2015. Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
.
2015. Early Detection of Critical Pulmonary Shunts in Infants. Proceedings of the 6th International Conference on Cyber-Physical Systems. :110-119.
.
2015. An Intraoperative Glucose Control Benchmark for Formal Verification. IFAC-PapersOnLine. 48:211–217.
.
2014. Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
.
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.
.
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. 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. 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. 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.
.
2012. Evaluation of a smart alarm for intensive care using clinical data. 34$^{th}$ Annual International Conference of the IEEE Engineering in Medicine and Biology Society.. :166–169.