Takip et
Rance Cleaveland
Rance Cleaveland
Department of Computer Science, University of Maryland
cs.umd.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23271986
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
8031993
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
5042009
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
3511990
The NCSU concurrency workbench
R Cleaveland, S Sims
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
3061996
The concurrency workbench
R Cleaveland, J Parrow, B Steffen
Automatic Verification Methods for Finite State Systems: International …, 1990
2891990
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
2161995
Priorities in process algebras
R Cleaveland, M Hennessy
Information and Computation 87 (1-2), 58-77, 1990
2101990
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
1912006
Faster model checking for the modal mu-calculus
R Cleaveland, M Klein, B Steffen
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
1831993
Testing equivalence as a bisimulation equivalence
R Cleaveland, M Hennessy
Formal Aspects of Computing 5, 1-20, 1993
1721993
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
1151995
Computing behavioural relations, logically
R Cleaveland, B Steffen
Automata, Languages and Programming: 18th International Colloquium Madrid …, 1991
1141991
Strategic directions in concurrency research
R Cleaveland, SA Smolka
ACM Computing Surveys (CSUR) 28 (4), 607-625, 1996
1111996
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
1061992
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
Priority in process algebra
R Cleaveland, G Löttgen, V Natarajan
Handbook of process algebra, 711-765, 2001
892001
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20