What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Software
His scientific interests lie mostly in Theoretical computer science, Model checking, Concurrency, Programming language and Temporal logic.
Rance Cleaveland combines subjects such as Operational semantics and Preorder with his study of Theoretical computer science.
His study in Model checking is interdisciplinary in nature, drawing from both Fixed point, Finite-state machine, Calculus, Calculus and Equational system.
Rance Cleaveland carries out multidisciplinary research, doing studies in Concurrency and Workbench.
His Formal methods course of study focuses on State and Software engineering.
The Calculus of communicating systems study combines topics in areas such as Rotation formalisms in three dimensions, Formal equivalence checking and Communications protocol.
His most cited work include:
- The concurrency workbench: a semantics-based tool for the verification of concurrent systems (516 citations)
- Using formal specifications to support testing (287 citations)
- A linear-time model-checking algorithm for the alternation-free modal mu-calculus (221 citations)
What are the main themes of his work throughout his whole career to date?
Rance Cleaveland mainly investigates Theoretical computer science, Programming language, Model checking, Process calculus and Concurrency.
His Theoretical computer science research includes themes of Finite-state machine, Set, Probabilistic logic and Preorder.
His research investigates the connection between Model checking and topics such as Temporal logic that intersect with problems in Linear temporal logic and Time complexity.
His research investigates the connection between Process calculus and topics such as Bisimulation that intersect with issues in Algebra.
The concepts of his Concurrency study are interwoven with issues in Concurrent computing and Communications protocol.
His work investigates the relationship between Formal specification and topics such as Formal methods that intersect with problems in Software and Runtime verification.
He most often published in these fields:
- Theoretical computer science (30.39%)
- Programming language (25.41%)
- Model checking (22.65%)
What were the highlights of his more recent work (between 2012-2020)?
- Theoretical computer science (30.39%)
- Model checking (22.65%)
- Automaton (7.18%)
In recent papers he was focusing on the following fields of study:
Rance Cleaveland mostly deals with Theoretical computer science, Model checking, Automaton, Set and Programming language.
His Theoretical computer science study frequently draws connections between adjacent fields such as Data stream mining.
His work carried out in the field of Model checking brings together such families of science as Process calculus and Correctness.
His Set research includes elements of Software system, Linear system, Temporal logic and Directed graph.
Fiber Distributed Data Interface, Data structure and Real-time computing is closely connected to Benchmark in his research, which is encompassed under the umbrella topic of Programming language.
As a member of one scientific family, Rance Cleaveland mostly works in the field of Mathematical proof, focusing on Algorithm and, on occasion, Discrete mathematics.
Between 2012 and 2020, his most popular works were:
- Assessing model-based testing: an empirical study conducted in industry (24 citations)
- Security Assurance Cases for Medical Cyber–Physical Systems (15 citations)
- Comparing model checkers for timed UML activity diagrams (12 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Software
His primary areas of investigation include Linear system, Directed graph, Set, Opacity and Automaton.
His research in Property intersects with topics in Model checking and Algorithm.
While working in this field, Rance Cleaveland studies both Model checking and Power.
His work carried out in the field of Algorithm brings together such families of science as Discrete mathematics and LTI system theory.
His studies link Theoretical computer science with Baseline.
Rance Cleaveland combines topics linked to Extension with his work on Theoretical computer science.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
