High-Confidence Medical Device Software Development,
Jiang, Z., and Mangharam R.
, Foundations and Trends in Electronic Design Automation, Volume 9, (2015)
(14.77 MB) Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation,
Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R.
, Theoretical Computer Science, 09/2015, Volume 599C, (2015)