Follow
Rance Cleaveland
Rance Cleaveland
Department of Computer Science, University of Maryland
Verified email at cs.umd.edu
Title
Cited by
Cited by
Year
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23281986
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
8131993
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
4832009
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
3731993
Tableau-based model checking in the propositional mu-calculus
R Cleaveland
Acta Informatica 27 (8), 725-747, 1990
3561990
The NCSU concurrency workbench
R Cleaveland, S Sims
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
3101996
The concurrency workbench
R Cleaveland, J Parrow, B Steffen
Automatic Verification Methods for Finite State Systems: International …, 1990
2901990
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
2171995
Priorities in process algebras
R Cleaveland, M Hennessy
Information and Computation 87 (1-2), 58-77, 1990
2131990
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
1902006
Faster model checking for the modal mu-calculus
R Cleaveland, M Klein, B Steffen
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
1851993
Testing equivalence as a bisimulation equivalence
R Cleaveland, M Hennessy
Formal Aspects of Computing 5, 1-20, 1993
1741993
A Semantics Based Verification Tool for Finite State Systems.
R Cleaveland, J Parrow, B Steffen
PSTV, 287-302, 1989
1211989
Divergence and fair testing
V Natarajan, R Cleaveland
International Colloquium on Automata, Languages, and Programming, 648-659, 1995
1181995
Computing behavioural relations, logically
R Cleaveland, B Steffen
Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991
1151991
Strategic directions in concurrency research
R Cleaveland, SA Smolka
ACM Computing Surveys (CSUR) 28 (4), 607-625, 1996
1131996
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
1081997
Testing preorders for probabilistic processes
R Cleaveland, SA Smolka, A Zwarico
International Colloquium on Automata, Languages, and Programming, 708-719, 1992
1071992
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
1012000
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
921996
The system can't perform the operation now. Try again later.
Articles 1–20