Rance Cleaveland - Concepedia

Author

Rance Cleaveland

North Carolina State University ORCID

Also Known As

Bhaskar Ramasubramanian, Cleaveland, Rance, R. Cleaveland, Ramasubramanian, Bhaskar, Rance Cleaveland

199

Publications

4.7K

Citations

H-Index

101

Concepts

All Affiliations

North Carolina State University Stony Brook University University of Maryland, College Park Fraunhofer USA Center Mid-Atlantic CMA State University of New York

About

Rance Cleaveland is an author at North Carolina State University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	38	2.2K
2	Business	2	2	45
3	Arts	1	1	16
4	Health Sciences	1	1	124
5	Management	1	1	33

Rance Cleaveland

Publications

2.5K

Citations

H-Index

Page 1

	Year	Citations
The concurrency workbench Rance Cleaveland, Joachim Parrow, Bernhard Steffen ACM Transactions on Programming Languages and Systems EngineeringVerificationComputer ArchitectureSoftware EngineeringConcurrency Workbench	1993	553
A linear-time model-checking algorithm for the alternation-free modal mu-calculus Rance Cleaveland, Bernhard Steffen Formal Methods in System Design EngineeringAutomated ReasoningModal LogicVerificationFormal Methods	1993	223
Tableau-based model checking in the propositional mu-calculus Rance Cleaveland Acta Informatica EngineeringAutomated ReasoningTableau-based Model CheckingPropositional LogicVerification	1990	196
Priorities in process algebras Rance Cleaveland, Matthew Hennessy Information and Computation Process AlgebrasEngineeringAutomated ReasoningProcess ControlFormal Methods	1990	131
High-Confidence Medical Device Software and Systems Insup Lee, George J. Pappas, Rance Cleaveland, Computer EngineeringMedical TechnologyWearable TechnologyClinical SystemMedical Devices	2006	124
Testing equivalence as a bisimulation equivalence Rance Cleaveland, Matthew Hennessy Formal Aspects of Computing	1993	118
Efficient on-the-fly model checking for CTL Girish Bhat, Rance Cleaveland, Orna Grümberg EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	2002	117
Testing Preorders for Probabilistic Processes Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Information and Computation EngineeringProbabilistic SystemSoftware TestingVerificationProbabilistic Verification	1999	71
A Semantics Based Verification Tool for Finite State Systems Rance Cleaveland, Joachim Parrow, Bernhard Steffen EngineeringFinite State SystemsAutomated ReasoningVerificationFormal Methods	1989	65
Efficient model checking via the equational μ-calculus Girish Bhat, Rance Cleaveland EngineeringEquational μ-CalculusVerificationComputer-aided VerificationModel Checking	2002	55

Page 1