Automated Specification Extraction and Analysis with Specstractor,
Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael
, Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)
An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models,
Ulysses, Jesuliana N., Berg Lucas A., CHERRY ELIZABETH M., Liu Ben R., Santos Rodrigo W. dos, de Barros Bruno G., Rocha Bernardo M., and de Queiroz Rafael A. B.
, IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
Programming is modeling,
Cleaveland, Rance
, International Symposium on Leveraging Applications of Formal Methods, (2018)
The role of conductivity discontinuities in design of cardiac defibrillation,
Lim, Hyunkyung, Cun Wenjing, Wang Yue, Gray Richard A., and Glimm James
, Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 28, p.013106, (2018)
(3 MB)
(552.91 KB)