Rance Cleaveland

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.

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., 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.

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., … Paoletti, N. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved from http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16

Ray, A., & Cleaveland, R. (2015). Security assurance cases for medical cyber–physical systems. IEEE Design & Test, 32, 56–65.

Daw, Z., & Cleaveland, R. (2016). An extensible formal semantics for UML activity diagrams. ArXiv Preprint ArXiv:1604.02386.

Daw, Z., & Cleaveland, R. (2015). Comparing model checkers for timed UML activity diagrams. Science of Computer Programming, 111, 277–299.

Daw, Z., & Cleaveland, R. (2015). An Extensible Operational Semantics for {UML} Activity Diagrams. Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings. Presented at the. https://doi.org/10.1007/978-3-319-22969-0\_25

Ramasubramanian, B., Cleaveland, R., & Marcus, S. I. (2016). A framework for opacity in linear systems. 2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016. Presented at the. https://doi.org/10.1109/ACC.2016.7526666

Keiren, J. J. A., Fontana, P., & Cleaveland, R. (2017). Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv., 50, 42:1–42:8. https://doi.org/10.1145/3078809