. (2017). Query Checking for Linear Temporal Logic. Presented at the. Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67113-0_3 (Original work published 25 August 2017 C.E.)
Rance Cleaveland
First name
Rance
Last name
Cleaveland
. (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)
. (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
. (2018). Process Algebra and Model Checking. In Handbook of Model Checking. (pp. 1149–1195). https://doi.org/10.1007/978-3-319-10575-8\_32
. (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
. (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
. (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