Concepedia

Rance Cleaveland

RC

46

Publications

2.5K

Citations

25

H-Index

1988

Active since

Affiliations

North Carolina State University(Current)

Stony Brook University

University of Maryland, College Park

Fraunhofer USA Center Mid-Atlantic CMA

State University of New York

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationSoftware AnalysisAutomated ReasoningProgram AnalysisSoftware Testing

Publications per year

1988–2024

46

Publications

46

The concurrency workbench

Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 553 citations · Full text

Engineering, Verification, Computer Architecture +19

A linear-time model-checking algorithm for the alternation-free modal mu-calculus

Rance Cleaveland, Bernhard Steffen · Formal Methods in System Design · 1993 · 223 citations

Engineering, Automated Reasoning, Modal Logic +7

Tableau-based model checking in the propositional mu-calculus

Rance Cleaveland · Acta Informatica · 1990 · 196 citations

Engineering, Automated Reasoning, Tableau-based Model Checking +7

Priorities in process algebras

Rance Cleaveland, Matthew Hennessy · Information and Computation · 1990 · 131 citations · Full text

Process Algebras, Engineering, Automated Reasoning +6

High-Confidence Medical Device Software and Systems

Insup Lee, George J. Pappas, Rance Cleaveland et al. · Computer · 2006 · 124 citations

Engineering, Medical Technology, Wearable Technology +19

Rows per page

1–5 of 46