Rance Cleaveland

Huang, S., & Cleaveland, R. (2019). A tableau construction for finite linear-time temporal logic. ArXiv Preprint ArXiv:1910.09339.

Islam, M. A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., … Cyranka, J. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.

Keiren, J. J. A., Fontana, P., & Cleaveland, R. (2017). A Menagerie of Timed Automata (vol 50, 42, 2017). ACM COMPUTING SURVEYS, 50.

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169.

Cleaveland, R. (2018). Programming is modeling. International Symposium on Leveraging Applications of Formal Methods. Presented at the. Springer, Cham.

Ferlez, J., Cleaveland, R., & Marcus, S. I. (2018). Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. 2018 IEEE Conference on Decision and Control (CDC). Presented at the. IEEE.

Cleaveland, R. (2019). Scott Smolka and Me. In From Reactive Systems to Cyber-Physical Systems (pp. 1–6). Springer, Cham.

Fontana, P., & Cleaveland, R. (2020). Timed Automata Benchmark Description. ArXiv Preprint ArXiv:2005.13151.

Huang, S., Diep, M., Jang, K., Cherry, E. M., Fenton, F. H., Cleaveland, R., … Porter, A. (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.

Huang, S., & Cleaveland, R. (2020). Temporal-logic query checking over finite data streams. International Conference on Formal Methods for Industrial Critical Systems. Presented at the. Springer, Cham.