| Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Nuprl Proof Develop, 1986 | 2216 | 1986 |
| The concurrency workbench: A semantics-based tool for the verification of concurrent systems R Cleaveland, J Parrow, B Steffen ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 36-72, 1993 | 780 | 1993 |
| Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009 | 437 | 2009 |
| A linear-time model-checking algorithm for the alternation-free modal mu-calculus R Cleaveland, B Steffen Formal methods in system design 2 (2), 121-147, 1993 | 362 | 1993 |
| Tableau-based model checking in the propositional mu-calculus R Cleaveland Acta Informatica 27 (8), 725-747, 1990 | 339 | 1990 |
| The NCSU concurrency workbench R Cleaveland, S Sims International Conference on Computer Aided Verification, 394-397, 1996 | 289 | 1996 |
| The concurrency workbench R Cleaveland, J Parrow, B Steffen International Conference on Computer Aided Verification, 24-37, 1989 | 271 | 1989 |
| Efficient on-the-fly model checking for CTL G Bhat, R Cleaveland, O Grumberg Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 388-397, 1995 | 208 | 1995 |
| Priorities in process algebras R Cleaveland, M Hennessy Information and Computation 87 (1-2), 58-77, 1990 | 202 | 1990 |
| High-confidence medical device software and systems I Lee, GJ Pappas, R Cleaveland, J Hatcliff, BH Krogh, P Lee, H Rubin, ... Computer 39 (4), 33-38, 2006 | 180 | 2006 |
| Testing equivalence as a bisimulation equivalence R Cleaveland, M Hennessy Formal Aspects of Computing 5 (1), 1-20, 1993 | 177 | 1993 |
| Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen International Conference on Computer Aided Verification, 410-422, 1992 | 176 | 1992 |
| A Semantics Based Verification Tool for Finite State Systems. R Cleaveland, J Parrow, B Steffen PSTV, 287-302, 1989 | 124 | 1989 |
| Divergence and fair testing V Natarajan, R Cleaveland International Colloquium on Automata, Languages, and Programming, 648-659, 1995 | 113 | 1995 |
| Computing behavioural relations, logically R Cleaveland, B Steffen International Colloquium on Automata, Languages, and Programming, 127-138, 1991 | 110 | 1991 |
| Strategic directions in concurrency research R Cleaveland, SA Smolka ACM Computing Surveys (CSUR) 28 (4), 607-625, 1996 | 106 | 1996 |
| Architecture design of a scalable intrusion detection system for the emerging network infrastructure YF Jou, F Gong, C Sargor, SF Wu, WR Cleaveland Technical Report CDRL, 1997 | 103 | 1997 |
| Testing preorders for probabilistic processes R Cleaveland, SA Smolka, A Zwarico International Colloquium on Automata, Languages, and Programming, 708-719, 1992 | 102 | 1992 |
| A compositional approach to statecharts semantics G Lüttgen, M Von der Beeck, R Cleaveland ACM SIGSOFT Software Engineering Notes 25 (6), 120-129, 2000 | 93 | 2000 |
| Priority in process algebra R Cleaveland, G Löttgen, V Natarajan Handbook of process algebra, 711-765, 2001 | 92 | 2001 |
