W. Rance Cleaveland, II

Works (5)

Updated: July 5th, 2023 16:04

2005 article

Probabilistic temporal logics via the modal mu-calculus

Cleaveland, R., Iyer, S. P., & Narasimha, M. (2005, April 21). Theoretical Computer Science.

By: R. Cleaveland*, S. Iyer n & M. Narasimha*

author keywords: probabilistic transition systems; reactive systems; probabilistic temporal logic; model-checking; Probabilistic bisimulation
topics (OpenAlex): Formal Methods in Verification; Logic, Reasoning, and Knowledge
TL;DR: A mu-calculus-based modal logic for describing properties of probabilistic labeled transition systems (PLTSs) and a model-checking algorithm for determining whether or not states in finite-state PLTSs satisfy formulas in the logic are presented. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

1999 chapter

Probabilistic temporal logics via the modal mu-calculus

In Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings (Vol. 1578, pp. 288–305). Berlin; New York: Springer.

By: M. Narasimha, R. Cleaveland & P. Iyer

Ed(s):

Source: NC State University Libraries
Added: August 6, 2018

1999 article

Testing Preorders for Probabilistic Processes

Cleaveland, R., Dayar, Z., Smolka, S. A., & Yuen, S. (1999, November 1). Information and Computation.

By: R. Cleaveland*, Z. Dayar n, S. Smolka * & S. Yuen *

topics (OpenAlex): Formal Methods in Verification; Petri Nets in System Modeling; Healthcare Technology and Patient Monitoring
TL;DR: The theory of testing is extended to substochastic processes, in which the sum of the probabilities of a process's outgoing transitions may be strictly less than 1, with the deficit representing the process' capacity for undefined behavior. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: August 6, 2018

1998 article

A process algebra with distributed priorities

Cleaveland, R., Lüttgen, G., & Natarajan, V. (1998, March 1). Theoretical Computer Science.

By: R. Cleaveland n, G. Lüttgen * & V. Natarajan*

author keywords: process algebra; distributed priority; bisimulation; localized pre-emption; axiomatization
topics (OpenAlex): Formal Methods in Verification; Logic, programming, and type systems; Distributed systems and fault tolerance
TL;DR: A process algebra for distributed systems in which some actions may take precedence over others, which captures a notion of localized preemption and develops a behavioral congruence and axiomatize it for finite processes. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

1997 article

Modeling and verifying active structural control systems

Elseaidy, W. M., Cleaveland, R., & Baugh, J. W. (1997, July 1). Science of Computer Programming, Vol. 29, pp. 99–122.

By: W. Elseaidy*, R. Cleaveland n & J. Baugh n 

author keywords: active structural control systems; safety critical; component-wise state space reduction
topics (OpenAlex): Real-time simulation and control systems; Hydraulic and Pneumatic Systems; Probabilistic and Robust Engineering Design
TL;DR: A case study involving the use of a formal graphical notation, Modechart, and an automatic verification tool, the Concurrency Workbench, in the analysis of the design of a fault-tolerant active structural control system shows the importance of compositionality for reasoning about large and complex systems. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.