Suivre
Rance Cleaveland
Rance Cleaveland
Department of Computer Science, University of Maryland
Adresse e-mail validée de cs.umd.edu
Titre
Citée par
Citée par
Année
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23201986
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
8121993
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
4802009
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
3551990
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
1171995
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
1121996
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
1071997
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
1002000
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20