Publications Sort by Year of Publication Order AscDesc 2017 Dynamics of a human spiral wave , Andrea Welsh, Edwin Greco, Flavio Fenton, (2017) 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 , Nicholas LaVigne, Nathan Holt, Matthew Hoffman, Elizabeth Cherry, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Efficient parameterization of cardiac action potential models using a genetic algorithm , Darby Cairns, Flavio Fenton, E. Cherry, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Improving Invariant Mining via Static Analysis , Christoph Schulze, Rance Cleaveland, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Lagrangian Reachabililty , Jacek Cyranka, Md. Islam, Greg Byrne, Paul Jones, Scott Smolka, Radu Grosu, (2017) 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 , Diandian Chen, Richard Gray, Ilija Uzelac, Conner Herndon, Flavio Fenton, (2017) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Modeling bipolar stimulation of cardiac tissue , Suran Galappaththige, Richard Gray, Bradley Roth, (2017) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Opacity for switched linear systems: Notions and characterization , B. Ramasubramanian, R. Cleaveland, S. Marcus, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Quantitative Regular Expressions for Arrhythmia Detection Algorithms , Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott Smolka, Radu Grosu, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Query Checking for Linear Temporal Logic , Samuel Huang, Rance Cleaveland, (2017) 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 , Ilija Uzelac, Yanyan Ji, Daniel Hornung, Johannes Schröder-Scheteling, Stefan Luther, Richard Gray, ELIZABETH CHERRY, FLAVIO FENTON, (2017) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS The role of conductivity discontinuities in design of cardiac de brillation , HYUNKYUNG LIM, Wenjing Cun, Richard Gray, JAMES GLIMM, (2017) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS 2016 A framework for decentralized opacity in linear systems , B. Ramasubramanian, R. Cleaveland, S. Marcus, (2016) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS A framework for opacity in linear systems , Bhaskar Ramasubramanian, Rance Cleaveland, Steven Marcus, (2016) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS An extensible formal semantics for UML activity diagrams , Zamira Daw, Rance Cleaveland, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees , Zhihao Jiang, Houssam Abbas, Pieter Mosterman, Rahul Mangharam, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. , Md. Islam, Greg Byrne, Soonho Kong, Edmund Clarke, Rance Cleaveland, Flavio Fenton, Radu Grosu, Paul Jones, Scott Smolka, Ezio Bartocci, Pietro Liò, Nicola Paoletti, (2016) 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 , A. Murthy, Md. Islam, S. Smolka, R. Grosu, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Cybercardia project: Modeling, verification and validation of implantable cardiac devices , Md Islam, Hyunkyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund Clarke, Radu Grosu, others, (2016) 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 , Matthew Shotwell, Richard Gray, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus , D. Ganesan, M. Lindvall, S. Hafsteinsson, R. Cleaveland, S. Strege, W. Moleski, (2016) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS High-level modeling for computer-aided clinical trials of medical devices , Houssam Abbas, Zhihao Jiang, Kuk Jang, Marco Beccani, Jackson Liangy, Rahul Mangharam, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS In-silico pre-clinical trials for implantable cardioverter defibrillators , Zhihao Jiang, Houssam Abbas, Kuk Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam, (2016) Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS SHARP BOUNDARY ELECTROCARDIAC SIMULATIONS , SHUAI XUE, HYUNKYUNG LIM, JAMES GLIMM, FLAVIO FENTON, ELIZABETH CHERRY, (2016) DOI Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS The Challenges of High-Confidence Medical Device Software , Z. Jiang, H. Abbas, K. Jang, R. Mangharam, (2016) 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 »
