Publications

Export 19 results:
Author Title [ Type(Desc)] Year
Filters: Author is Cleaveland, Rance  [Clear All Filters]
Book Chapter
Scott Smolka and Me, Cleaveland, Rance , From Reactive Systems to Cyber-Physical Systems, p.1–6, (2019)
Conference Paper
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 KB)
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)
Cybercardia project: Modeling, verification and validation of implantable cardiac devices, Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al. , 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (2016)
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)
Temporal-logic query checking over finite data streams, Huang, Samuel, and Cleaveland Rance , International Conference on Formal Methods for Industrial Critical Systems, (2020)
Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level, Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam , CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)
UML-VT: A Formal Verification Environment for UML Activity Diagrams., Daw, Zamira, Mangino John, and Cleaveland Rance , P&D@ MoDELS, (2015)
Journal Article
Better Automata through Process Algebra, Cleaveland, Rance , arXiv preprint arXiv:2002.07562, (2020)
Comparing model checkers for timed UML activity diagrams, Daw, Zamira, and Cleaveland Rance , Science of Computer Programming, Volume 111, p.277–299, (2015)
Corrections to "A Menagerie of Timed Automata", Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM Comput. Surv., Volume 50, p.42:1–42:8, (2017)  (221.78 KB)
An extensible formal semantics for UML activity diagrams, Daw, Zamira, and Cleaveland Rance , arXiv preprint arXiv:1604.02386, (2016)
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
A Menagerie of Timed Automata (vol 50, 42, 2017), Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM COMPUTING SURVEYS, Volume 50, (2017)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, Volume 765, p.158–169, (2019)
Security assurance cases for medical cyber–physical systems, Ray, Arnab, and Cleaveland Rance , IEEE Design & Test, Volume 32, p.56–65, (2015)
A tableau construction for finite linear-time temporal logic, Huang, Samuel, and Cleaveland Rance , arXiv preprint arXiv:1910.09339, (2019)
Timed Automata Benchmark Description, Fontana, Peter, and Cleaveland Rance , arXiv preprint arXiv:2005.13151, (2020)