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
21521986
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
7821993
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
4152009
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
3651993
Tableau-based model checking in the propositional mu-calculus
R Cleaveland
Acta Informatica 27 (8), 725-747, 1990
3331990
The NCSU concurrency workbench
R Cleaveland, S Sims
International Conference on Computer Aided Verification, 394-397, 1996
2751996
The concurrency workbench
R Cleaveland, J Parrow, B Steffen
International Conference on Computer Aided Verification, 24-37, 1989
2721989
Priorities in process algebras
R Cleaveland, M Hennessy
Information and Computation 87 (1-2), 58-77, 1990
2001990
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
1931995
Testing equivalence as a bisimulation equivalence
R Cleaveland, M Hennessy
Formal Aspects of Computing 5 (1), 1-20, 1993
1661993
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
1652006
Faster model checking for the modal mu-calculus
R Cleaveland, M Klein, B Steffen
International Conference on Computer Aided Verification, 410-422, 1992
1621992
A Semantics Based Verification Tool for Finite State Systems.
R Cleaveland, J Parrow, B Steffen
PSTV, 287-302, 1989
1171989
Divergence and fair testing
V Natarajan, R Cleaveland
International Colloquium on Automata, Languages, and Programming, 648-659, 1995
1151995
Computing behavioural relations, logically
R Cleaveland, B Steffen
International Colloquium on Automata, Languages, and Programming, 127-138, 1991
1071991
Strategic directions in concurrency research
R Cleaveland, SA Smolka
ACM Computing Surveys (CSUR) 28 (4), 607-625, 1996
1011996
Testing preorders for probabilistic processes
R Cleaveland, SA Smolka, A Zwarico
International Colloquium on Automata, Languages, and Programming, 708-719, 1992
1001992
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
991997
Dissociable neural systems supporting knowledge about human character and appearance in ourselves and others
JM Moran, SM Lee, JDE Gabrieli
Journal of cognitive neuroscience 23 (9), 2222-2230, 2011
93*2011
Priority in process algebra
R Cleaveland, G Löttgen, V Natarajan
Handbook of process algebra, 711-765, 2001
922001
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20