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 »
