Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Nuprl Proof Develop, 1986 | 2180 | 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 | 787 | 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 | 425 | 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 | 360 | 1993 |

Tableau-based model checking in the propositional mu-calculus R Cleaveland Acta Informatica 27 (8), 725-747, 1990 | 336 | 1990 |

The NCSU concurrency workbench R Cleaveland, S Sims International Conference on Computer Aided Verification, 394-397, 1996 | 285 | 1996 |

The concurrency workbench R Cleaveland, J Parrow, B Steffen International Conference on Computer Aided Verification, 24-37, 1989 | 269 | 1989 |

Priorities in process algebras R Cleaveland, M Hennessy Information and Computation 87 (1-2), 58-77, 1990 | 200 | 1990 |

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 | 198 | 1995 |

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 | 174 | 2006 |

Testing equivalence as a bisimulation equivalence R Cleaveland, M Hennessy Formal Aspects of Computing 5 (1), 1-20, 1993 | 169 | 1993 |

Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen International Conference on Computer Aided Verification, 410-422, 1992 | 169 | 1992 |

A Semantics Based Verification Tool for Finite State Systems. R Cleaveland, J Parrow, B Steffen PSTV, 287-302, 1989 | 113 | 1989 |

Divergence and fair testing V Natarajan, R Cleaveland International Colloquium on Automata, Languages, and Programming, 648-659, 1995 | 111 | 1995 |

Computing behavioural relations, logically R Cleaveland, B Steffen International Colloquium on Automata, Languages, and Programming, 127-138, 1991 | 109 | 1991 |

Testing preorders for probabilistic processes R Cleaveland, SA Smolka, A Zwarico International Colloquium on Automata, Languages, and Programming, 708-719, 1992 | 103 | 1992 |

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 | 101 | 1997 |

Strategic directions in concurrency research R Cleaveland, SA Smolka ACM Computing Surveys (CSUR) 28 (4), 607-625, 1996 | 101 | 1996 |

Priority in process algebra R Cleaveland, G Löttgen, V Natarajan Handbook of process algebra, 711-765, 2001 | 93 | 2001 |

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 |