Publications

Export 8 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is E  [Clear All Filters]
2020
Excitable dynamics in neural and cardiac systems, Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther , Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
2018
Electromechanical vortex filaments during cardiac fibrillation, Christoph, Jan, Chebbok M., Richter Carl, Schröder-Schetelig Johannes, Bittihn Philip, Stein Seth, Uzelac Ilija, FENTON FLAVIO H., Hasenfuss Gerd, Gilmour Robert F., et al. , Nature, Volume 555, p.667+, (2018)  (11.33 MB)
2017
Effects of model error on cardiac electrical wave state reconstruction using data assimilation, LaVigne, Nicholas S., Holt Nathan, Hoffman Matthew J., and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093911, (2017)
Efficient parameterization of cardiac action potential models using a genetic algorithm, Cairns, Darby I., Fenton Flavio H., and Cherry E. M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093922, (2017)
2016
Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology, Shotwell, Matthew S., and Gray Richard A. , Journal of Agricultural, Biological, and Environmental Statistics, p.1–16, (2016)
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus, Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W. , 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)  (976.61 KB)
An extensible formal semantics for UML activity diagrams, Daw, Zamira, and Cleaveland Rance , arXiv preprint arXiv:1604.02386, (2016)
2015
An Extensible Operational Semantics for UML Activity Diagrams, Daw, Zamira, and Cleaveland Rance , Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings, (2015)