Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is P and Author is Cleaveland, Rance  [Clear All Filters]
Conference Paper
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)
Journal Article
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, Volume 765, p.158–169, (2019)