| DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems L Chang, S Yavvari, R Cleaveland, S Basu, L Li arXiv preprint arXiv:2407.09710, 2024 | | 2024 |
| The Quantum Abstract Machine L Li, L Chang, R Cleaveland, M Zhu, X Wu arXiv preprint arXiv:2402.13469, 2024 | 1 | 2024 |
| Extensible proof systems for infinite-state systems R Cleaveland, JJA Keiren ACM Transactions on Computational Logic 25 (1), 1-60, 2023 | 1 | 2023 |
| Expressiveness Results for Timed Modal Mu-Calculi R Cleaveland, JJA Keiren, P Fontana arXiv preprint arXiv:2310.04100, 2023 | | 2023 |
| Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic L Li, M Zhu, R Cleaveland, A Nicolellis, Y Lee, L Chang, X Wu arXiv preprint arXiv:2211.06411, 2022 | | 2022 |
| Better Automata Through Process Algebra R Cleaveland A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 1 | 2022 |
| Extensible proof systems for infinite-state systems JJA Keiren, R Cleaveland arXiv preprint arXiv:2207.12953, 2022 | 1 | 2022 |
| Temporal-logic query checking over finite data streams S Huang, R Cleaveland International Journal on Software Tools for Technology Transfer 24 (3), 473-492, 2022 | 7 | 2022 |
| A tableau construction for finite linear-time temporal logic S Huang, R Cleaveland Journal of Logical and Algebraic Methods in Programming 125, 100743, 2022 | 7 | 2022 |
| Resilience to denial-of-service and integrity attacks: A structured systems approach B Ramasubramanian, MA Rajan, MG Chandra, R Cleaveland, SI Marcus European Journal of Control 63, 61-69, 2022 | 7 | 2022 |
| Towards automated comprehension and alignment of cardiac models at the system invariant level S Huang, M Diep, K Jang, EM Cherry, FH Fenton, R Cleaveland, ... CSBio'20: Proceedings of the Eleventh International Conference on …, 2020 | 2 | 2020 |
| Timed Automata Benchmark Description P Fontana, R Cleaveland arXiv preprint arXiv:2005.13151, 2020 | | 2020 |
| Notions of centralized and decentralized opacity in linear systems B Ramasubramanian, R Cleaveland, SI Marcus IEEE Transactions on Automatic Control 65 (4), 1442-1455, 2019 | 30 | 2019 |
| Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans MA Islam, R Cleaveland, FH Fenton, R Grosu, PL Jones, SA Smolka Theoretical Computer Science 765, 158-169, 2019 | 5 | 2019 |
| From Reactive Systems to Cyber-Physical Systems E Bartocci, R Cleaveland, R Grosu, O Sokolsky Springer International Publishing, 2019 | 1 | 2019 |
| Scott Smolka and Me R Cleaveland From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019 | | 2019 |
| Bisimulation in behavioral dynamical systems and generalized synchronization trees J Ferlez, R Cleaveland, SI Marcus 2018 IEEE Conference on Decision and Control (CDC), 751-758, 2018 | 1 | 2018 |
| Programming is modeling R Cleaveland Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 3 | 2018 |
| Automated Specification Extraction and Analysis with Specstractor C Schulze, R Cleaveland, M Lindvall Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 1 | 2018 |
| Process algebra and model checking R Cleaveland, AW Roscoe, SA Smolka Handbook of Model Checking, 1149-1195, 2018 | 9 | 2018 |
