Biblio
Filters: First Letter Of Last Name is M [Clear All Filters]
.
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.
.
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.
.
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. Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :188–203.
.
2011. Challenges in the regulatory approval of medical cyber-physical systems. Proceedings of the 11$^{th}$ International Conference on Embedded Software EMSOFT '11). :227–232.
.
2012. Smart alarms: multivariate medical alarm integration for post CABG surgery patients. {IHI}. :533-542.
.
2012. From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
.
2012. The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :667–672.
.
2011. On Effective Testing of Health Care Simulation Software. Proceedings of the 3rd Workshop on Software Engineering in Health Care (SEHC '11). :40–47.
.
2012. Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proceedings of the IEEE. 100:122-137.
.
2012. Challenges and Research Directions in Medical Cyber-Physical Systems. Proceedings of the {IEEE} (special issue on Cyber-Physical Systems). 100:75–90.
.
2011. Model-based Closed-loop Testing of Implantable Pacemakers. Proceedings of the 2$^{nd}$ International Conference on Cyber-Physical Systems (ICCPS).
.
2010. GSA: A framework for rapid prototyping of smart alarm systems. Proceedings of the 1st ACM International Health Informatics Symposium (IHI '10). :487–491.
.
2016. Production as a Service Framework for Optimizing the Sourcing of Manufacturing Processes, and the Utilization of Unused Manufacturing Resources. Dynamic Systems and Control Conference.
.
2017. Production as a Service: A Centralized Framework for Small Batch Manufacturing. Conference on Automation Science and Engineering.
.
2016. Attackers can spoof navigation signals without our knowledge. Here's how to fight back GPS lies. IEEE Spectrum. 53:26-53.
.
2017. An aerial phytobiopsy system: Design, evaluation, and lessons learned. 2017 International Conference on Unmanned Aircraft Systems (ICUAS). :188-195.
.
2016. Visualization-aware sampling for very large databases. Proceedings of 32nd IEEE International Conference on Data Engineering (ICDE). :755–766.
.
2017. Database learning: Toward a database that becomes smarter every time. Proceedings of the ACM International Conference on Management of Data. :587–602.
.
2017. SnappyData: A Unified Cluster for Streaming, Transactions and Interactice Analytics. Proceedings of Conference on Innovative Data Systems Research (CIDR).