Publications Sort by Year of Publication Order AscDesc 2017 Dynamics of a human spiral wave (2017) Andrea Welsh – Edwin Greco – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Effects of model error on cardiac electrical wave state reconstruction using data assimilation (2017) Nicholas LaVigne – Nathan Holt – Matthew Hoffman – Elizabeth Cherry DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Efficient parameterization of cardiac action potential models using a genetic algorithm (2017) Darby Cairns – Flavio Fenton – E. Cherry DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Improving Invariant Mining via Static Analysis (2017) Christoph Schulze – Rance Cleaveland DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Lagrangian Reachabililty (2017) Jacek Cyranka – Md. Islam – Greg Byrne – Paul Jones – Scott Smolka – Radu Grosu DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos (2017) Diandian Chen – Richard Gray – Ilija Uzelac – Conner Herndon – Flavio Fenton Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Modeling bipolar stimulation of cardiac tissue (2017) Suran Galappaththige – Richard Gray – Bradley Roth Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Opacity for switched linear systems: Notions and characterization (2017) B. Ramasubramanian – R. Cleaveland – S. Marcus DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Quantitative Regular Expressions for Arrhythmia Detection Algorithms (2017) Houssam Abbas – Alena Rodionova – Ezio Bartocci – Scott Smolka – Radu Grosu DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Query Checking for Linear Temporal Logic (2017) Samuel Huang – Rance Cleaveland DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Simultaneous Quantification of Spatially Discordant Alternans in Voltage and Intracellular Calcium in Langendorff-Perfused Rabbit Hearts and Inconsistencies with Models of Cardiac Action Potentials and Ca Transients (2017) Ilija Uzelac – Yanyan Ji – Daniel Hornung – Johannes Schröder-Scheteling – Stefan Luther – Richard Gray – Elizabeth Cherry – Flavio Fenton DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS The role of conductivity discontinuities in design of cardiac de brillation (2017) Hyunkyung Lim – Wenjing Cun – Richard Gray – James Glimm Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2016 A framework for decentralized opacity in linear systems (2016) B. Ramasubramanian – R. Cleaveland – S. Marcus DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A framework for opacity in linear systems (2016) Bhaskar Ramasubramanian – Rance Cleaveland – Steven Marcus DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS An extensible formal semantics for UML activity diagrams (2016) Zamira Daw – Rance Cleaveland Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees (2016) Zhihao Jiang – Houssam Abbas – Pieter Mosterman – Rahul Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. (2016) Md. Islam – Greg Byrne – Soonho Kong – Edmund Clarke – Rance Cleaveland – Flavio Fenton – Radu Grosu – Paul Jones – Scott Smolka – Ezio Bartocci – Pietro Liò – Nicola Paoletti Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability (2016) A. Murthy – Md. Islam – S. Smolka – R. Grosu Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Cybercardia project: Modeling, verification and validation of implantable cardiac devices (2016) Md Islam – Hyunkyung Lim – Nicola Paoletti – Houssam Abbas – Zhihao Jiang – Jacek Cyranka – Rance Cleaveland – Sicun Gao – Edmund Clarke – Radu Grosu – others Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology (2016) Matthew Shotwell – Richard Gray Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus (2016) D. Ganesan – M. Lindvall – S. Hafsteinsson – R. Cleaveland – S. Strege – W. Moleski DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS High-level modeling for computer-aided clinical trials of medical devices (2016) Houssam Abbas – Zhihao Jiang – Kuk Jang – Marco Beccani – Jackson Liangy – Rahul Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS In-silico pre-clinical trials for implantable cardioverter defibrillators (2016) Zhihao Jiang – Houssam Abbas – Kuk Jang – Marco Beccani – Jackson Liang – Sanjay Dixit – Rahul Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS SHARP BOUNDARY ELECTROCARDIAC SIMULATIONS (2016) Shuai Xue – Hyunkyung Lim – James Glimm – Flavio Fenton – Elizabeth Cherry DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS The Challenges of High-Confidence Medical Device Software (2016) Z. Jiang – H. Abbas – K. Jang – R. Mangharam Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Page 3 Current page 4 Page 5 Next page ›› Last page Last »
