Visible to the public Biblio

Filters: Keyword is 1446832  [Clear All Filters]
2018-05-11
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
Jiang, Zhihao, Abbas, Houssam, and Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
Abbas, Houssam, Jang, K.J., Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2017.  A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias. Heart Rhythm Society Scientific Sessions.
Abbas, Houssam, Alur, Rajeev, Mamouras, Konstantinos, Mangharam, Rahul, Rodionova, Alena.  2017.  Real-time Decision Policies with Predictable Performance. Proceedings of the IEEE.

Submitted

Mangharam, Rahul, Abbas, Houssam, Behl, Madhur, Jang, Kuk Jin Pajic, Miroslav, Jiang, Zhihao.  2016.  Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul.  2016.  Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
Jiang, Zhihao, Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  The Challenges of High-Confidence Medical Device Software. IEEE Computer January Outlook.
Jiang, Zhihao, Mangharam, Rahul.  2015.  High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
Shotwell, Matthew S, Gray, Richard A.  2016.  Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology. Journal of Agricultural, Biological, and Environmental Statistics. :1–16.
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani.  2017.  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin.  2017.  Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska.  2017.  Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
Galappaththige, Suran K, Gray, Richard A, Roth, Bradley J.  2017.  Modeling bipolar stimulation of cardiac tissue. Chaos: An Interdisciplinary Journal of Nonlinear Science. 27:093920.
Chen, Diandian Diana, Gray, Richard A, Uzelac, Ilija, Herndon, Conner, Fenton, Flavio H.  2017.  Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos. Physical Review Letters. 118:168101.