Rance Cleaveland
Affiliations: | Computer Science | University of Maryland, College Park, College Park, MD |
Area:
Software EngineeringGoogle:
"Rance Cleaveland"Children
Sign in to add trainee| Christopher F. Ackermann | grad student | 2010 | University of Maryland |
| Peter C. Fontana | grad student | 2014 | University of Maryland |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ramasubramanian B, Cleaveland R, Marcus SI. (2020) Notions of Centralized and Decentralized Opacity in Linear Systems Ieee Transactions On Automatic Control. 65: 1442-1455 |
| Schulze C, Cleaveland R. (2017) Improving Invariant Mining via Static Analysis Acm Transactions in Embedded Computing Systems. 16: 167 |
| Keiren JJA, Fontana P, Cleaveland R. (2017) Corrections to “A Menagerie of Timed Automata” Acm Computing Surveys. 50: 42 |
| Daw Z, Cleaveland R. (2015) Comparing model checkers for timed UML activity diagrams Science of Computer Programming. 111: 277-299 |
| Daw Z, Cleaveland R, Vetter M. (2014) Integrating model checking and UML based model-driven development for embedded systems Electronic Communication of the European Association of Software Science and Technology. 66 |
| Fontana P, Cleaveland R. (2014) A menagerie of timed automata Acm Computing Surveys. 46: 40 |
| Ray A, Ackermann C, Cleaveland R, et al. (2011) Functional and Nonfunctional Design Verification for Embedded Software Systems Advances in Computers. 83: 277-321 |
| Hierons RM, Bogdanov K, Bowen JP, et al. (2009) Using formal specifications to support testing Acm Computing Surveys. 41 |
| Ray A, Cleaveland R. (2008) Executable Specifications for Real-Time Distributed Systems Electronic Notes in Theoretical Computer Science. 203: 3-17 |
| Cleaveland R, Lüttgen G, Natarajan V. (2007) Priority and abstraction in process algebra Information & Computation. 205: 1426-1458 |