Rance Cleaveland
University of Maryland
H-index: 48
North America-United States
Top articles of Rance Cleaveland
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Quantum Abstract Machine | arXiv preprint arXiv:2402.13469 | Liyi Li Le Chang Rance Cleaveland Mingwei Zhu Xiaodi Wu | 2024/2/21 |
Expressiveness Results for Timed Modal Mu-Calculi | arXiv preprint arXiv:2310.04100 | Rance Cleaveland Jeroen JA Keiren Peter Fontana | 2023/10/6 |
Extensible proof systems for infinite-state systems | ACM Transactions on Computational Logic | Rance Cleaveland Jeroen JA Keiren | 2023/11/18 |
Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic | arXiv preprint arXiv:2211.06411 | Liyi Li Mingwei Zhu Rance Cleaveland Alexander Nicolellis Yi Lee | 2022/11/11 |
Better Automata Through Process Algebra | Rance Cleaveland | 2022/9/7 | |
Temporal-logic query checking over finite data streams | International Journal on Software Tools for Technology Transfer | Samuel Huang Rance Cleaveland | 2022/6 |
A tableau construction for finite linear-time temporal logic | Journal of Logical and Algebraic Methods in Programming | Samuel Huang Rance Cleaveland | 2022/2/1 |
Resilience to denial-of-service and integrity attacks: A structured systems approach | European Journal of Control | Bhaskar Ramasubramanian MA Rajan M Girish Chandra Rance Cleaveland Steven I Marcus | 2022/1/1 |
Towards automated comprehension and alignment of cardiac models at the system invariant level | Samuel Huang Madeline Diep Kuk Jang Elizabeth M Cherry Flavio H Fenton | 2020/11/19 | |
Timed Automata Benchmark Description | arXiv preprint arXiv:2005.13151 | Peter Fontana Rance Cleaveland | 2020/5/27 |