Rance Cleaveland

Available identifiers

zbMath Open cleaveland.ranceMaRDI QIDQ234678

List of research outcomes

Publication	Date of Publication	Type
Extensible Proof Systems for Infinite-State Systems	2024-02-21	Paper
Better automata through process algebra	2023-07-26	Paper
An algebraic theory of multiple clocks	2023-05-17	Paper
Resilience to denial-of-service and integrity attacks: a structured systems approach	2022-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q5014799	2021-12-08	Paper
Generating diagnostic information for behavioral preorders	2020-11-30	Paper
Notions of Centralized and Decentralized Opacity in Linear Systems	2020-10-07	Paper
Testing preorders for probabilistic processes	2019-12-04	Paper
Corrections to “A Menagerie of Timed Automata”	2019-08-09	Paper
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans	2019-06-18	Paper
Process Algebra and Model Checking	2018-07-20	Paper
The Power of Proofs: New Algorithms for Timed Automata Model Checking	2015-08-06	Paper
A menagerie of timed automata	2015-03-02	Paper
Generalized Synchronization Trees	2014-04-16	Paper
An Instrumentation-Based Approach to Controller Validation	2010-06-02	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
An Integrated Framework for Scenarios and State Machines	2007-11-29	Paper
Probabilistic I/O Automata: Theories of Two Equivalences	2007-09-04	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Probabilistic temporal logics via the modal mu-calculus	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4472454	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417945	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4804916	2003-05-01	Paper
Testing preorders for probabilistic processes.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4551132	2002-09-04	Paper
Hiding resources that can fail: An axiomatic perspective	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536610	2002-06-25	Paper
Generic tools for verifying concurrent systems	2002-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q2771063	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2760243	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4499172	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4260713	1999-09-01	Paper
Pragmatics of model checking: An STTT special section	1999-01-01	Paper
Local model checking and protocol analysis	1999-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4763314	1995-04-11	Paper
A linear-time model-checking algorithm for the alternation-free modal mu- calculus	1993-08-17	Paper
Testing equivalence as a bisimulation equivalence	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4036558	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037118	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037401	1993-05-18	Paper
Priorities in process algebras	1990-01-01	Paper
Tableau-based model checking in the propositional mu-calculus	1990-01-01	Paper
Type theory and concurrency	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rance Cleaveland