- Testing Preorders for Probabilistic Processes Rance Cleaveland Scott A. Smolka Amy Zwarico
- Computing Behavioural Relations, Logically Rance Cleaveland \Lambda
- On Automatically Explaining Bisimulation Inequivalence \Lambda
- Efficient Model Checking via the Equational Calculus Girish Bhat \Lambda
- The NCSU Concurrency Workbench ? Rance Cleaveland Steve Sims
- The Concurrency Workbench \Lambda Rance Cleaveland y Joachim Parrow z
- Computing Diagnostic Tests for Incorrect Processes \Lambda Ufuk Celikkan, Rance Cleaveland
- An Algebraic Theory of Process Efficiency \Lambda V. Natarajan Rance Cleaveland
- Generating Diagnostic Information for Behavioral Preorders ? Ufuk Celikkan, Rance Cleaveland
- TwoTowers: A Tool Integrating Functional and Performance
- Analyzing Concurrent Systems Using the Concurrency Workbench ?
- A Theory of Testing for Soft RealTime Processes Rance Cleaveland \Lambda Insup Lee y Phil Lewis z & Scott A. Smolka x
- Faster Model Checking for the Modal Calculus Rance Cleaveland \Lambda
- A Theory of Testing for RealTime \Lambda Rance Cleaveland
- A SemanticsBased Verification Tool for FiniteState Systems \Lambda
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- An Operational Semantics of Value Passing \Lambda Rance Cleaveland
- A Theory of Testing for Markovian Processes Marco Bernardo 1 and Rance Cleaveland 2
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes
- Testing Preorders for Probabilistic Processes \Lambda Rance Cleaveland y Zeynep Dayar
- Type Theory and Concurrency Rance Cleaveland \Lambda Prakash Panangaden y
- Generic Tools for Verifying Concurrent Rance Cleaveland a Steven T. Sims b
- The Concurrency Factory Software Development
- Hiding Resources that Can Fail: An Axiomatic Perspective \Lambda
- Formal Timing Analysis for FaultTolerant Active Structural Control Systems Wael M. Elseaidy \Lambda Rance Cleaveland y John W. Baugh Jr. z
- Short Running Title: Implementing RealTime Semantics Contact Author: Gerald Luttgen
- A Process-Algebraic Language for Probabilistic I/O Automata
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Ecient Model Checking Via Buchi Tableau Automata ? Girish S. Bhat 1 , Rance Cleaveland 2 , and Alex Groce 3
- TableauBased Model Checking in the Propositional MuCalculus \Lambda
- On the Evolution of Reactive Components { A Process-Algebraic Approach {
- A LinearTime ModelChecking Algorithm for the AlternationFree Modal MuCalculus
- Verifying an Intelligent Structural Control System: A Case Study \Lambda
- Simulation Revisited Li Tan and Rance Cleaveland
- Towards Formal but Flexible Scenarios Bikram Sengupta Rance Cleaveland
- A Compositional Approach to Statecharts Semantics \Lambda ICASE, NASA Langley
- Efficient Local ModelChecking for Fragments of the Modal
- Optimality in Abstractions of Model Checking Rance Cleaveland 1? , Purush Iyer 1?? and Daniel Yankelevich 2
- Triggered Message Sequence Charts # Bikram Sengupta Rance Cleaveland
- BranchingTime Probabilistic Model R. CLEAVELAND
- A Software Architectural Approach to Security By Design Arnab Ray Rance Cleaveland
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Divergence and Fair Testing \Lambda V. Natarajan Rance Cleaveland
- GCCS: A Graphical Coordination Language for System Speci cation
- The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems \Lambda
- Modeling and Verifying Distributed Systems Using
- A Process Algebra with Distributed Priorities Rance Cleaveland 1 Gerald Luttgen 2 V. Natarajan 1
- A Semantic Theory for Heterogeneous System Design ?
- Priority and Abstraction in Process Algebra ? V. Natarajan ?? I. Christoff ??? L. Christoff ?? R. Cleaveland ?
- Probabilistic Resource Failure in RealTime Process Algebra ?
- Equivalence and Preorder Checking for Finite-State Systems
- The Concurrency Factory: A Development Environment for Concurrent Systems ?
- TRIM: A Tool for Triggered Message Sequence Charts # Bikram Sengupta Rance Cleaveland
- RTSL: A Formal Language for Real-Time Schedulability Analysis Andre N. Fredette # Rance Cleaveland #
- Fast Generic Model-Checking for Data-Based Systems Dezhuang Zhang and Rance Cleaveland
- An Algebraic Theory of Multiple Clocks Rance Cleaveland 1;? , Gerald Luttgen 2;?? , and Michael Mendler 3;? ? ?
- A FrontEnd Generator for Verification Tools \Lambda Rance Cleaveland y Eric Madelaine z Steve Sims y
- Priorities in Process Algebras Rance Cleaveland
- HighConfidence Operating Systems Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, and Yanhong A. Liu
- Dynamic priorities for modeling Girish Bhat, Rance Cleaveland
- DIMACS Series in Discrete Mathematics and Theoretical Computer Science
- Priority and Abstraction in Process Algebra Rance Cleaveland a
- Priorities for Modeling and Verifying Distributed Systems
- Generic Tools for Verifying Concurrent Systems \Lambda Rance Cleaveland
- Testing Equivalence as a Bisimulation Equivalence \Lambda Rance Cleaveland
- Predictability of RealTime Systems: A ProcessAlgebraic Approach \Lambda V. Natarajan y Rance Cleaveland
- TestingBased Abstractions for ValuePassing Rance Cleaveland ?? and James Riely ???
- Generating Diagnostic Information for Behavioral Preorders \Lambda Ufuk Celikkan, Rance Cleaveland
- Distributed Prototyping from Validated Specifications David Hansel Rance Cleaveland Scott A. Smolka
- Electronic Notes in Theoretical Computer Science 68 No. 2(2002) URL: http://www.elsevier.nl/locate/entcs/volume68.html 18 pages
- Efficient OntheFly Model Checking for CTL \Lambda Girish Bhat \Lambda , Rance Cleaveland \Lambda
- A Preorder for Partial Process Specifications Rance Cleaveland
- Priority in Process Algebra Rance Cleaveland
- Secure Requirements Elicitation Through Triggered Message Sequence Charts
- Automated Validation of Software Models Steve Sims Rance Cleaveland
- Architectural Interaction Diagrams: AIDs for System Modeling Arnab Ray Rance Cleaveland
- Distributed Prototyping from Validated Specifications
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Probabilistic Temporal Logics via the Modal Mu-Calculus
- Fast On-The-Fly Parametric Real-Time Model Checking Dezhuang Zhang
- Triggered Message Sequence Charts Bikram Sengupta Rance Cleaveland
- Formal Aspects of Computing (1992) 3: 1--000 fl 1992 BCS
- Process Algebra Rance Cleaveland
- Probabilistic Temporal Logics via the Modal MuCalculus
- A LinearTime ModelChecking Algorithm for the AlternationFree Modal MuCalculus
- An Operational Framework for ValuePassing Processes \Lambda
- EvidenceBased Model Checking # Li Tan and Rance Cleaveland
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Efficient Temporal-Logic Query Checking for Presburger Dezhuang Zhang and Rance Cleaveland
- A Process Algebra with Distributed Priorities ? Rance Cleaveland 1
- Modeling and Verifying Active Structural Control Systems Wael M. Elseaidy \Lambda Rance Cleaveland y John W. Baugh Jr. z
- Probabilistic I/O Automata: Theories of Two Equivalences
- Refinement-Based Requirements Modeling Using Triggered Message Sequence Charts
- Infinite Probabilistic and Nonprobabilistic K Narayan Kumar 1? Rance Cleaveland 2 Scott A. Smolka 1
- Statecharts Via Process Algebra ? Gerald Luttgen 1 , Michael von der Beeck 2 , and Rance Cleaveland 3
