Rance Cleaveland

Ferlez, J., Cleaveland, R., & Marcus, S. I. (2017). Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS SOS} 2017, Berlin, Germany, 4th September 2017. Presented at the. https://doi.org/10.4204/EPTCS.255.3

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

Cleaveland, R., Roscoe, A. W., & Smolka, S. A. (2018). Process Algebra and Model Checking. In Handbook of Model Checking. (pp. 1149–1195). N/A. https://doi.org/10.1007/978-3-319-10575-8\_32

Schulze, C., Cleaveland, R., & Lindvall, M. (2018). Automated Specification Extraction and Analysis with Specstractor. Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held As Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings. Presented at the. https://doi.org/10.1007/978-3-319-92970-5\_3

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005 (Original work published 2018)

Huang, S., & Cleaveland, R. (2017). Query Checking for Linear Temporal Logic. N/A. Presented at the. Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_3 (Original work published 2017)