Rance Cleaveland

According to our database1, Rance Cleaveland
  • authored at least 145 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Query Checking for Linear Temporal Logic.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016
Corrections to A Menagerie of Timed Automata.
CoRR, 2016

An extensible formal semantics for UML activity diagrams.
CoRR, 2016

Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability.
Proceedings of the Computational Methods in Systems Biology, 2016

CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

A framework for opacity in linear systems.
Proceedings of the 2016 American Control Conference, 2016

A framework for decentralized opacity in linear systems.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
Comparing model checkers for timed UML activity diagrams.
Sci. Comput. Program., 2015

Security Assurance Cases for Medical Cyber-Physical Systems.
IEEE Design & Test, 2015

An Extensible Operational Semantics for UML Activity Diagrams.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

UML-VT: A Formal Verification Environment for UML Activity Diagrams.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014
A menagerie of timed automata.
ACM Comput. Surv., 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).
CoRR, 2014

Formal verification of software-based medical devices considering medical guidelines.
Int. J. Computer Assisted Radiology and Surgery, 2014

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Assessing model-based testing: an empirical study conducted in industry.
Proceedings of the 36th International Conference on Software Engineering, 2014

An analysis method for medical device security.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Generalized Synchronization Trees.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013
Integrating model checking and UML based model-driven development for embedded systems.
ECEASST, 2013

Constructing safety assurance cases for medical devices.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2011
Functional and Nonfunctional Design Verification for Embedded Software Systems.
Advances in Computers, 2011

Architecture Reconstruction and Analysis of Medical Device Software.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems.
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2010
Automatic Requirement Extraction from Test Cases.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Using formal specifications to support testing.
ACM Comput. Surv., 2009

Recovering Views of Inter-System Interaction Behaviors.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Validating Automotive Control Software Using Instrumentation-Based Verification.
Proceedings of the ASE 2009, 2009

Towards Behavioral Reflexion Models.
Proceedings of the ISSRE 2009, 2009

2008
Executable Specifications for Real-Time Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2008

Model-Based Verification of Automotive Control Software.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007
Priority and abstraction in process algebra.
Inf. Comput., 2007

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
Triggered Message Sequence Charts.
IEEE Trans. Software Eng., 2006

High-Confidence Medical Device Software and Systems.
IEEE Computer, 2006

Probabilistic I/O Automata: Theories of Two Equivalences.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

A Software Architectural Approach to Security by Design.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

An Instrumentation-Based Approach to Controller Model Validation.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Probabilistic temporal logics via the modal mu-calculus.
Theor. Comput. Sci., 2005

An Algebraic Theory Of Boundary Crossing Transitions.
Electr. Notes Theor. Comput. Sci., 2005

Fast On-the-Fly Parametric Real-Time Model Checking.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Efficient temporal-logic query checking for presburger systems.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

An Integrated Framework for Scenarios and State Machines.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Executable Requirements Specifications Using Triggered Message Sequence Charts.
Proceedings of the Distributed Computing and Internet Technology, 2005

Fast Generic Model-Checking for Data-Based Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Unit verification: the CARA experience.
STTT, 2004

Distributed prototyping from validated specifications.
Journal of Systems and Software, 2004

Formal Modeling Of Middleware-based Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2004

Secure Requirements Elicitation Through Triggered Message Sequence Charts.
Proceedings of the Distributed Computing and Internet Technology, 2004

2003
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

Architectural Interaction Diagrams: AIDs for System Modeling.
Proceedings of the 25th International Conference on Software Engineering, 2003

A Process-Algebraic Language for Probabilistic I/O Automata.
Proceedings of the CONCUR 2003, 2003

TRIM: A Tool for Triggered Message Sequence Charts.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Generic tools for verifying concurrent systems.
Sci. Comput. Program., 2002

A Logical Process Calculus.
Electr. Notes Theor. Comput. Sci., 2002

Foreword.
Electr. Notes Theor. Comput. Sci., 2002

Triggered message sequence charts.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

High-confidence operating systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Evidence-Based Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Alternative Approaches to Symbolic Verification - Preface by the Section Editor.
STTT, 2001

Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett., 2001

Simulation Revisited.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Distributed Prototyping from Validated Specifications.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Automated Validation of Software Models.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Efficient Model Checking Via Büchi Tableau Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Practical techniques for the design, specification, verification, and implementation of concurrent systems.
ACM SIGSOFT Software Engineering Notes, 2000

Specification formalisms for component-based concurrent systems.
ACM SIGSOFT Software Engineering Notes, 2000

A compositional approach to statecharts semantics.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Branching-Time Probalistic Model Checking.
ICALP Satellite Workshops, 2000

A Semantic Theory for Heterogeneous System Design.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

GCCS: A Graphical Coordination Language for System Specification.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

A Theory of Testing for Markovian Processes.
Proceedings of the CONCUR 2000, 2000

1999
Local Model Checking and Protocol Analysis.
STTT, 1999

Pragmatics of Model Checking: An STTT Special Section.
STTT, 1999

Testing Preorders for Probabilistic Processes.
Inf. Comput., 1999

The role of observations in probabilistic open systems.
Electr. Notes Theor. Comput. Sci., 1999

Guest Editorial.
Autom. Softw. Eng., 1999

A Practical Approach to Implementing Real-Time Semantics.
Ann. Software Eng., 1999

Probabilistic Temporal Logics via the Modal Mu-Calculus.
Proceedings of the Foundations of Software Science and Computation Structure, 1999

On the Evolution of Reactive Components: A Process-Algebraic Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Statecharts Via Process Algebra.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Temporal Process Logic (Abstract).
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
A Process Algebra with Distributed Priorities.
Theor. Comput. Sci., 1998

Preface.
Electr. Notes Theor. Comput. Sci., 1998

Infinite Probabilistic and Nonprobabilistic Testing.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Editorial.
STTT, 1997

Modeling and Verifying Active Structural Control Systems.
Sci. Comput. Program., 1997

Dynamic Priorities for Modeling Real-Time.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

An Algebraic Theory of Multiple Clocks.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.
Software - Concepts and Tools, 1996

Strategic Directions in Computing Research-Concurrency Working Group Report.
Bulletin of the EATCS, 1996

Strategic Directions in Concurrency Research.
ACM Comput. Surv., 1996

Formality and Software Design.
ACM Comput. Surv., 1996

Semantic Theories and System Design.
ACM Comput. Surv., 1996

The Concurrency Factory Software Development Environment.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Priorities for Modeling and Verifying Distributed Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

A Theory of Testing for Soft Real-Time Processes.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Predictability of real-time systems: a process-algebraic approach.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

An Algebraic Theory of Process Efficiency.
Proceedings of the Proceedings, 1996

Efficient Model Checking via the Equational µ-Calculus.
Proceedings of the Proceedings, 1996

A Process Algebra with Distributed Priorities.
Proceedings of the CONCUR '96, 1996

The NCSU Concurrency Workbench.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

The Concurrency Factory: A Development Environment for Concurrent Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Generating Diagnostic Information for Behavioral Preorders.
Distributed Computing, 1995

A Front-End Generator for Verification Tools.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Optimality in Abstractions of Model Checking
Proceedings of the Static Analysis, 1995

Efficient On-the-Fly Model Checking for CTL*
Proceedings of the Proceedings, 1995

A tool for modeling and verifying real-time systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Divergence and Fair Testing.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

1994
Verifying an Intelligent Structural Control System: A Case Study.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

An Operational Framework for Value-Passing Processes.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Priority and Abstraction in Process Algebra.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

The Concurrency Factory- Practical Tools for Specification, Stimulation, Verification, and Implementation for Concurrent Systems.
Proceedings of the Specification of Parallel Algorithms, 1994

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
Proceedings of the CONCUR '94, 1994

Testing-Based Abstractions for Value-Passing Systems.
Proceedings of the CONCUR '94, 1994

1993
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.
ACM Trans. Program. Lang. Syst., 1993

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
Formal Methods in System Design, 1993

Testing Equivalence as a Bisimulation Equivalence.
Formal Asp. Comput., 1993

RTSL: a language for real-time schedulability analysis.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, December 1993, 1993

Analysing Concurrent Systems Using the Concurrency Workbench.
Proceedings of the Functional Programming, 1993

1992
Computing Diagnostic Test for Incorrect Processes.
Proceedings of the Protocol Specification, 1992

Testing Preorders for Probabilistic Processes.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

GDR: A Visualization Tool for Graph Algorithms.
Proceedings of the Computational Support for Discrete Mathematics, 1992

Faster Model Checking for the Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

Generating Diagnostic Information for Behavioral Preorders.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
A Theory of Testing for Real-Time
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Computing Behavioural Relations, Logically.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Priorities in Process Algebras
Inf. Comput., 1990

Tableau-Based Model Checking in the Propositional Mu-Calculus.
Acta Inf., 1990

When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

On Automatically Distinguishing Inequivalent Processes.
Proceedings of the Computer-Aided Verification, 1990

A Preorder for Partial Process Specifications.
Proceedings of the CONCUR '90, 1990

On Automatically Explaining Bisimulation Inequivalence.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
A Semantics Based Verification Tool for Finite State Systems.
Proceedings of the Protocol Specification, 1989

The Concurrency Workbench.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

Testing Equivalence as a Bisimulation Equivalence.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
Type theory and concurrency.
International Journal of Parallel Programming, 1988

Priorities in Process Algebras
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1986
Implementing mathematics with the Nuprl proof development system.
Prentice Hall, ISBN: 978-0-13-451832-9, 1986


  Loading...