. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169.
Rance Cleaveland
First name
Rance
Last name
Cleaveland
. (2020). Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level. CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics. Presented at the.
. (2020). Temporal-logic query checking over finite data streams. International Conference on Formal Methods for Industrial Critical Systems. Presented at the. Springer, Cham.
. (2020). Timed Automata Benchmark Description. Arxiv Preprint Arxiv:2005.13151.
. (2020). Better Automata through Process Algebra. Arxiv Preprint Arxiv:2002.07562.
. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.
. (2019). A tableau construction for finite linear-time temporal logic. Arxiv Preprint Arxiv:1910.09339.
. (2019). Scott Smolka and Me. In From Reactive Systems to Cyber-Physical Systems (pp. 1–6). Springer, Cham.
. (2018). Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. 2018 IEEE Conference on Decision and Control (CDC). Presented at the. IEEE.
. (2018). Programming is modeling. International Symposium on Leveraging Applications of Formal Methods. Presented at the. Springer, Cham.