Person: Rance Cleaveland

DBLP: Cleaveland:Rance

Facilitated 3 volumes:

Ed

Ed

PracticalTrackPrCo

Contributed to:

2015

2014

2011

2009

2007

2005

2005

2003

2003

2003

2003

2002

2002

2001

2001

2001

2000

1999

1999

2009

1996

1996

1996

1996

1995

1995

1995

1995

1994

1992

1992

1991

1991

1991

1990

1990

1988

Wrote 42 papers:

SEFM-2015-DawC #diagrams #process #semantics #uml

An Extensible Operational Semantics for UML Activity Diagrams (ZD, RC), pp. 360–368.

FoSSaCS-2014-FerlezCM

Generalized Synchronization Trees (JF, RC, SM), pp. 304–319.

WICSA-2011-GanesanLCJJZ #analysis #architecture #re-engineering

Architecture Reconstruction and Analysis of Medical Device Software (DG, ML, RC, RPJ, PLJ, YZ), pp. 194–203.

ASE-2009-RayMACSM #using #validation #verification

Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.

TACAS-2007-Cleaveland #lessons learnt

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market (RC), p. 1.

ASE-2005-ZhangC #performance #query

Efficient temporal-logic query checking for presburger systems (DZ, RC), pp. 24–33.

IFM-2005-SenguptaC #framework #state machine

An Integrated Framework for Scenarios and State Machines (BS, RC), pp. 366–385.

CAV-2003-SenguptaC #named #sequence chart

TRIM: A Tool for Triggered Message Sequence Charts (BS, RC), pp. 106–109.

ICSE-2003-RayC #architecture #diagrams #interactive #modelling

Architectural Interaction Diagrams: AIDs for System Modeling (AR, RC), pp. 396–407.

RE-2003-SenguptaC #modelling #requirements #sequence chart #using

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.

TACAS-2003-ZhangCS #analysis #concurrent #functional #performance #verification

The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems (DZ, RC, EWS), pp. 431–436.

CAV-2002-TanC #model checking

Evidence-Based Model Checking (LT, RC), pp. 455–470.

FSE-2002-SenguptaC #sequence chart

Triggered message sequence charts (BS, RC), pp. 167–176.

ASE-2001-SimsCBR #automation #modelling #validation

Automated Validation of Software Models (SS, RC, KB, SR), p. 91–?.

CAV-2001-BhatCG #automaton #model checking #performance

Efficient Model Checking Via Büchi Tableau Automata (GB, RC, AG), pp. 38–52.

TACAS-2001-TanC #revisited #simulation

Simulation Revisited (LT, RC), pp. 480–495.

FSE-2000-LuttgenBC #approach #composition #semantics

A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.

FASE-1999-Muller-OlmSC #algebra #approach #component #evolution #on the

On the Evolution of Reactive Components: A Process-Algebraic Approach (MMO, BS, RC), pp. 161–175.

FoSSaCS-1999-NarasimhaCI #calculus #logic #probability #μ-calculus

Probabilistic Temporal Logics via the Modal μ-Calculus (MN, RC, SPI), pp. 288–305.

WCRE-1999-AckermannLC99a #behaviour #interactive

Recovering Views of Inter-System Interaction Behaviors (CA, ML, RC), pp. 53–61.

CAV-1996-CleavelandLSS #concurrent #development

The Concurrency Factory: A Development Environment for Concurrent Systems (RC, PML, SAS, OS), pp. 398–401.

CAV-1996-CleavelandS #concurrent

The NCSU Concurrency Workbench (RC, SS), pp. 394–397.

LICS-1996-BhatC #calculus #equation #model checking #performance #μ-calculus

Efficient Model Checking via the Equational μ-Calculus (GB, RC), pp. 304–312.

LICS-1996-NatarajanC #algebra #performance #process

An Algebraic Theory of Process Efficiency (VN, RC), pp. 63–72.

SEKE-1996-CleavelandLLS #formal method #process #realtime #testing

A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.

TACAS-1996-BhatC #calculus #model checking #μ-calculus

Efficent Local Model-Checking for Fragments of teh Modal μ-Calculus (GB, RC), pp. 107–126.

TACAS-1996-CleavelandLNS #distributed #modelling #verification

Priorities for Modeling and Verifying Distributed Systems (RC, GL, VN, SS), pp. 278–297.

TACAS-1996-CleavelandLSS #concurrent #development

The Concurrency Factory Software Development Environment (RC, PML, SAS, OS), pp. 391–395.

ICALP-1995-NatarajanC #testing

Divergence and Fair Testing (VN, RC), pp. 648–659.

LICS-1995-BhatCG #model checking #on the fly #performance

Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.

SAS-1995-CleavelandIY #abstraction #model checking

Optimality in Abstractions of Model Checking (RC, SPI, DY), pp. 51–63.

TACAS-1995-CleavelandMS #generative #tool support #verification

A Front-End Generator for Verification Tools (RC, EM, SS), pp. 153–173.

POPL-1994-CleavelandY #framework #process

An Operational Framework for Value-Passing Processes (RC, DY), pp. 326–338.

CAV-1992-CelikkanC #behaviour #generative

Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.

CAV-1992-CleavelandKS #calculus #model checking #performance #μ-calculus

Faster Model Checking for the Modal μ-Calculus (RC, MK, BS), pp. 410–422.

ICALP-1992-CleavelandSZ #probability #process #testing

Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.

CAV-1991-CleavelandS #algorithm #calculus #linear #model checking #μ-calculus

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal μ-Calculus (RC, BS), pp. 48–58.

ICALP-1991-CleavelandS #behaviour

Computing Behavioural Relations, Logically (RC, BS), pp. 127–138.

LICS-1991-CleavelandZ #formal method #realtime #testing

A Theory of Testing for Real-Time (RC, AEZ), pp. 110–119.

CAV-1990-Cleaveland #automation #bisimulation #on the

On Automatically Explaining Bisimulation Inequivalence (RC), pp. 364–372.

LICS-1990-CleavelandS #proving #specification #using

When is “Partial” Adequate? A Logic-Based Proof Technique Using Partial Specifications (RC, BS), pp. 440–449.

LICS-1988-CleavelandH #algebra #process

Priorities in Process Algebras (RC, MH), pp. 193–202.