Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986 | 2320 | 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 | 812 | 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 | 480 | 2009 |

A linear-time model-checking algorithm for the alternation-free modal mu-calculus R Cleaveland, B Steffen Formal methods in system design 2, 121-147, 1993 | 373 | 1993 |

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

The NCSU concurrency workbench R Cleaveland, S Sims Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 310 | 1996 |

The concurrency workbench R Cleaveland, J Parrow, B Steffen Automatic Verification Methods for Finite State Systems: International …, 1990 | 290 | 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 | 217 | 1995 |

Priorities in process algebras R Cleaveland, M Hennessy Information and Computation 87 (1-2), 58-77, 1990 | 213 | 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 | 190 | 2006 |

Faster model checking for the modal mu-calculus R Cleaveland, M Klein, B Steffen Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 185 | 1993 |

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

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

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

Computing behavioural relations, logically R Cleaveland, B Steffen Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991 | 115 | 1991 |

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

Architecture design of a scalable intrusion detection system for the emerging network infrastructure YF Jou, F Gong, C Sargor, SF Wu, WR Cleaveland North Carolina State University Technical Report CDRL A005, 1997 | 107 | 1997 |

Testing preorders for probabilistic processes R Cleaveland, SA Smolka, A Zwarico International Colloquium on Automata, Languages, and Programming, 708-719, 1992 | 107 | 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 | 100 | 2000 |

Efficient model checking via the equational/spl mu/-calculus G Bhat, R Cleaveland Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 304-312, 1996 | 92 | 1996 |