Rance Cleaveland
According to our database^{1},
Rance Cleaveland
authored at least 153 papers
between 1986 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org

at cs.umd.edu
On csauthors.net:
Bibliography
2020
IEEE Trans. Autom. Control., 2020
CoRR, 2020
CoRR, 2020
CoRR, 2020
2019
Probabilistic reachability for multiparameter bifurcation analysis of cardiac alternans.
Theor. Comput. Sci., 2019
CoRR, 2019
Proceedings of the From Reactive Systems to CyberPhysical Systems, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proceedings of the Software Engineering and Formal Methods  16th International Conference, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
ACM Trans. Embedded Comput. Syst., 2017
ACM Comput. Surv., 2017
Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017
Proceedings of the Critical Systems: Formal Methods and Automated Verification  Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems  and, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
CoRR, 2016
Experience Report: ModelBased Test Automation of a Concurrent Flight Software Bus.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016
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
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
2015
Sci. Comput. Program., 2015
IEEE Des. Test, 2015
Proceedings of the Software Engineering and Formal Methods  13th International Conference, 2015
Proceedings of the MoDELS 2015 Demo and Poster Session colocated with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
2014
ACM Comput. Surv., 2014
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).
CoRR, 2014
Formal verification of softwarebased medical devices considering medical guidelines.
Int. J. Comput. Assist. Radiol. Surg., 2014
Compositional, Approximate, and Quantitative Reasoning for Medical CyberPhysical Systems with Application to PatientSpecific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
2013
Integrating model checking and UML based modeldriven development for embedded systems.
ECEASST, 2013
Proceedings of the 1st International Workshop on Assurance Cases for SoftwareIntensive Systems, 2013
2011
Adv. Comput., 2011
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011
2010
Proceedings of the Runtime Verification  First International Conference, 2010
2009
ACM Comput. Surv., 2009
Proceedings of the 16th Working Conference on Reverse Engineering, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the ISSRE 2009, 2009
2008
Electron. Notes Theor. Comput. Sci., 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
2007
Inf. Comput., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
2006
IEEE Trans. Software Eng., 2006
Computer, 2006
Proceedings of the CONCUR 2006  Concurrency Theory, 17th International Conference, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the ModelDriven Development of Reliable Automotive Services, 2006
2005
Theor. Comput. Sci., 2005
Electron. Notes Theor. Comput. Sci., 2005
Proceedings of the 26th IEEE RealTime Systems Symposium (RTSS 2005), 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
J. Syst. Softw., 2004
Electron. Notes Theor. Comput. Sci., 2004
Proceedings of the Distributed Computing and Internet Technology, 2004
2003
The Integrated CWBNC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Sci. Comput. Program., 2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Electron. Notes Theor. Comput. Sci., 2002
Proceedings of the 10th ACM SIGOPS European Workshop, SaintEmilion, France, July 1, 2002, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
Inf. Process. Lett., 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Proceedings of the Handbook of Process Algebra, 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
Practical techniques for the design, specification, verification, and implementation of concurrent systems.
ACM SIGSOFT Software Engineering Notes, 2000
ACM SIGSOFT Software Engineering Notes, 2000
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000
BranchingTime Probalistic Model Checking.
Proceedings of the ICALP Workshops 2000, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the CONCUR 2000, 2000
1999
Int. J. Softw. Tools Technol. Transf., 1999
Int. J. Softw. Tools Technol. Transf., 1999
Inf. Comput., 1999
Electron. Notes Theor. Comput. Sci., 1999
Autom. Softw. Eng., 1999
Ann. Software Eng., 1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Theor. Comput. Sci., 1998
Electron. Notes Theor. Comput. Sci., 1998
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
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Int. J. Softw. Tools Technol. Transf., 1997
Sci. Comput. Program., 1997
Dynamic Priorities for Modeling RealTime.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Modeling and Verifying Distributed Systems Using Priorities: A Case Study.
Softw. Concepts Tools, 1996
Strategic Directions in Computing ResearchConcurrency Working Group Report.
Bull. EATCS, 1996
ACM Comput. Surv., 1996
ACM Comput. Surv., 1996
ACM Comput. Surv., 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
A Theory of Testing for Soft RealTime Processes.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Proceedings of the 17th IEEE RealTime Systems Symposium (RTSS '96), 1996
Proceedings of the Proceedings, 1996
Proceedings of the Proceedings, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Distributed Comput., 1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Proceedings of the Static Analysis, 1995
Proceedings of the Proceedings, 1995
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
1994
Proceedings of the 15th IEEE RealTime Systems Symposium (RTSS '94), 1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
The Concurrency Factory  Practical Tools for Specification, Stimulation, Verification, and Implementation of 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
Proceedings of the CONCUR '94, 1994
1993
The Concurrency Workbench: A SemanticsBased Tool for the Verification of Concurrent Systems.
ACM Trans. Program. Lang. Syst., 1993
A LinearTime ModelChecking Algorithm for the AlternationFree Modal MuCalculus.
Formal Methods Syst. Des., 1993
Formal Asp. Comput., 1993
Proceedings of the RealTime Systems Symposium. RaleighDurham, NC, USA, December 1993, 1993
Proceedings of the Functional Programming, 1993
1992
Computing Diagnostic Test for Incorrect Processes.
Proceedings of the Protocol Specification, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Computational Support for Discrete Mathematics, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
Inf. Comput., 1990
Acta Informatica, 1990
When is "Partial" Adequate? A LogicBased Proof Technique Using Partial Specifications
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Proceedings of the ComputerAided Verification, 1990
Proceedings of the CONCUR '90, 1990
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
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
Int. J. Parallel Program., 1988
1986
Prentice Hall, ISBN: 9780134518329, 1986