Publications Sort by Year of Publication Order AscDesc 2017 Dynamics of a human spiral wave , Andrea Welsh, Edwin Greco, Flavio Fenton, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Effects of model error on cardiac electrical wave state reconstruction using data assimilation , Nicholas LaVigne, Nathan Holt, Matthew Hoffman, Elizabeth Cherry, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Efficient parameterization of cardiac action potential models using a genetic algorithm , Darby Cairns, Flavio Fenton, E. Cherry, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Improving Invariant Mining via Static Analysis , Christoph Schulze, Rance Cleaveland, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Lagrangian Reachabililty , Jacek Cyranka, Md. Islam, Greg Byrne, Paul Jones, Scott Smolka, Radu Grosu, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos , Diandian Chen, Richard Gray, Ilija Uzelac, Conner Herndon, Flavio Fenton, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Modeling bipolar stimulation of cardiac tissue , Suran Galappaththige, Richard Gray, Bradley Roth, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Opacity for switched linear systems: Notions and characterization , B. Ramasubramanian, R. Cleaveland, S. Marcus, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Quantitative Regular Expressions for Arrhythmia Detection Algorithms , Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott Smolka, Radu Grosu, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Query Checking for Linear Temporal Logic , Samuel Huang, Rance Cleaveland, (2017) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS The role of conductivity discontinuities in design of cardiac debrillation , HYUNKYUNG LIM, Wenjing Cun, Richard Gray, JAMES GLIMM, (2017) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 2016 A framework for decentralized opacity in linear systems , B. Ramasubramanian, R. Cleaveland, S. Marcus, (2016) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS A framework for opacity in linear systems , Bhaskar Ramasubramanian, Rance Cleaveland, Steven Marcus, (2016) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS An extensible formal semantics for UML activity diagrams , Zamira Daw, Rance Cleaveland, (2016) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees , Zhihao Jiang, Houssam Abbas, Pieter Mosterman, Rahul Mangharam, (2016) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability , A. Murthy, Md. Islam, S. Smolka, R. Grosu, (2016) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology , Matthew Shotwell, Richard Gray, (2016) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS 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 ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS SHARP BOUNDARY ELECTROCARDIAC SIMULATIONS , SHUAI XUE, HYUNKYUNG LIM, JAMES GLIMM, FLAVIO FENTON, ELIZABETH CHERRY, (2016) DOIGoogle ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS The Challenges of High-Confidence Medical Device Software , Z. Jiang, H. Abbas, K. Jang, R. Mangharam, (2016) Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS Pagination First page « First Previous page ‹‹ Page 1 Page 2 Page 3 Current page 4 Page 5 Next page ›› Last page Last »