Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is P and Author is Cleaveland, Rance  [Clear All Filters]
2019
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)
2018
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)