Rance Cleaveland

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

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

Daw, Z., Mangino, J., & Cleaveland, R. (2015). UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@ MoDELS. Presented at the.

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.

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

Schulze, C., & Cleaveland, R. (2017). Improving Invariant Mining via Static Analysis. ACM Trans. Embed. Comput. Syst., 16, 167:1–167:20. https://doi.org/10.1145/3126504