default search action

combined dblp search
author search
venue search
publication search

ask others

Rance Cleaveland

> Home > Persons

Person information

affiliation: University of Maryland, College Park, USA

Refine list

refinements active!

zoomed in on 186 of 186 records

view refined list in

export refined list as

showing all 186 records

refine by search term

refine by type

Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Informal and Other Publications

refine by coauthor

refine by orcid

refine by venue

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BeekCCGGHKLLR0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BeekCCGGHKLLR0S25
Maurice H. ter Beek, Rod Chapman, Rance Cleaveland, Hubert Garavel, Rong Gu, Ivo ter Horst, Jeroen J. A. Keiren, Thierry Lecomte, Michael Leuschel, Kristin Yvonne Rozier, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang:
Formal Methods in Industry. Formal Aspects Comput. 37(1): 7:1-7:38 (2025)
2024
[j48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/0002ZCNLC024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/0002ZCNLC024
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
Qafny: A Quantum-Program Verifier (Artifact). Dagstuhl Artifacts Ser. 10(2): 12:1-12:2 (2024)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CleavelandK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CleavelandK24
Rance Cleaveland, Jeroen J. A. Keiren:
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25(1): 2:1-2:60 (2024)
[c114]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/0002ZCNLC024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/0002ZCNLC024
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
Qafny: A Quantum-Program Verifier. ECOOP 2024: 24:1-24:31
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/qestformats/CleavelandKF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qestformats/CleavelandKF24
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana:
An Expressive Timed Modal Mu-Calculus for Timed Automata. QEST+FORMATS 2024: 160-178
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CleavelandHSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CleavelandHSS24
Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka:
Two Decades of Industrializing Formal Verification: The Reactis Story. SPIN 2024: 87-105
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-13469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-13469
Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu:
The Quantum Abstract Machine. CoRR abs/2402.13469 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-09710
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-09710
Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Liyi Li:
DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. CoRR abs/2407.09710 (2024)
2023
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-04100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-04100
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana:
Expressiveness Results for Timed Modal Mu-Calculi. CoRR abs/2310.04100 (2023)
2022
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/ejcon/Ramasubramanian22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejcon/Ramasubramanian22
Bhaskar Ramasubramanian, M. A. Rajan, M. Girish Chandra, Rance Cleaveland, Steven I. Marcus:
Resilience to denial-of-service and integrity attacks: A structured systems approach. Eur. J. Control 63: 61-69 (2022)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/HuangC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/HuangC22
Samuel Huang, Rance Cleaveland:
A tableau construction for finite linear-time temporal logic. J. Log. Algebraic Methods Program. 125: 100743 (2022)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HuangC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HuangC22
Samuel Huang, Rance Cleaveland:
Temporal-logic query checking over finite data streams. Int. J. Softw. Tools Technol. Transf. 24(3): 473-492 (2022)
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Cleaveland22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Cleaveland22
Rance Cleaveland:
Better Automata Through Process Algebra. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 116-136
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-12953
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-12953
Jeroen J. A. Keiren, Rance Cleaveland:
Extensible Proof Systems for Infinite-State Systems. CoRR abs/2207.12953 (2022)
2021
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/BanerjeeBBMCSMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/BanerjeeBBMCSMP21
Anindya Banerjee, Sankar Basu, Erik Brunvand, Pinaki Mazumder, Rance Cleaveland, Gurdip Singh, Margaret Martonosi, Fernanda Pembleton:
Navigating the Seismic Shift of Post-Moore Computer Systems Design. IEEE Micro 41(6): 162-167 (2021)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01224
Bhaskar Ramasubramanian, M. A. Rajan, M. Girish Chandra, Rance Cleaveland, Steven I. Marcus:
Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach. CoRR abs/2109.01224 (2021)
2020
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/Ramasubramanian20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/Ramasubramanian20
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus:
Notions of Centralized and Decentralized Opacity in Linear Systems. IEEE Trans. Autom. Control. 65(4): 1442-1455 (2020)
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HuangC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HuangC20
Samuel Huang, Rance Cleaveland:
Temporal-Logic Query Checking over Finite Data Streams. FMICS 2020: 252-271
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2002-07562
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-07562
Rance Cleaveland:
Better Automata through Process Algebra. CoRR abs/2002.07562 (2020)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13151
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13151
Peter Fontana, Rance Cleaveland:
Timed Automata Benchmark Description. CoRR abs/2005.13151 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-03751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-03751
Samuel Huang, Rance Cleaveland:
Temporal-Logic Query Checking over Finite Data Streams. CoRR abs/2006.03751 (2020)
no results

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/IslamCFGJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/IslamCFGJS19
Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. 765: 158-169 (2019)
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Cleaveland19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Cleaveland19
Rance Cleaveland:
Scott Smolka and Me. From Reactive Systems to Cyber-Physical Systems 2019: 1-6
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2019smolka
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2019smolka
Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents]
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-06869
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-06869
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus:
Notions of Centralized and Decentralized Opacity in Linear Systems. CoRR abs/1903.06869 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-09339
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-09339
Samuel Huang, Rance Cleaveland:
A Tableau Construction for Finite Linear-Time Temporal Logic. CoRR abs/1910.09339 (2019)
2018
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FerlezCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FerlezCM18
James Ferlez, Rance Cleaveland, Steven I. Marcus:
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. CDC 2018: 751-758
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Cleaveland18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Cleaveland18
Rance Cleaveland:
Programming Is Modeling. ISoLA (1) 2018: 150-161
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SchulzeCL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SchulzeCL18
Christoph Schulze, Rance Cleaveland, Mikael Lindvall:
Automated Specification Extraction and Analysis with Specstractor. SEFM 2018: 37-53
[p3]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/CleavelandRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/CleavelandRS18
Rance Cleaveland, A. W. Roscoe, Scott A. Smolka:
Process Algebra and Model Checking. Handbook of Model Checking 2018: 1149-1195
2017
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/KeirenFC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/KeirenFC17
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland:
Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. 50(3): 42:1-42:8 (2017)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SchulzeC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SchulzeC17
Christoph Schulze, Rance Cleaveland:
Improving Invariant Mining via Static Analysis. ACM Trans. Embed. Comput. Syst. 16(5s): 167:1-167:20 (2017)
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Ramasubramanian17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Ramasubramanian17
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus:
Opacity for switched linear systems: Notions and characterization. CDC 2017: 5310-5315
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HuangC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HuangC17
Samuel Huang, Rance Cleaveland:
Query Checking for Linear Temporal Logic. FMICS-AVoCS 2017: 34-48
[c103]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1709-00827
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-00827
James Ferlez, Rance Cleaveland, Steven I. Marcus:
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. EXPRESS/SOS 2017: 35-50
2016
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/Ramasubramanian16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/Ramasubramanian16
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus:
A framework for decentralized opacity in linear systems. Allerton 2016: 274-280
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Ramasubramanian16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Ramasubramanian16a
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus:
A framework for opacity in linear systems. ACC 2016: 6337-6344
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/IslamLPAJCCGCGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/IslamLPAJCCGCGM16
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka:
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/IslamBKCCFGJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/IslamBKCCFGJS16
Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB 2016: 132-146
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GanesanLHCSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GanesanLHCSM16
Dharmalingam Ganesan, Mikael Lindvall, Stefan Hafsteinsson, Rance Cleaveland, Susanne L. Strege, Walter Moleski:
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. ISSRE 2016: 445-454
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KeirenFC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KeirenFC16
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland:
Corrections to A Menagerie of Timed Automata. CoRR abs/1602.07165 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DawC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DawC16
Zamira Daw, Rance Cleaveland:
An extensible formal semantics for UML activity diagrams. CoRR abs/1604.02386 (2016)
2015
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/RayC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/RayC15
Arnab Ray, Rance Cleaveland:
Security Assurance Cases for Medical Cyber-Physical Systems. IEEE Des. Test 32(5): 56-65 (2015)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DawC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DawC15
Zamira Daw, Rance Cleaveland:
Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. 111: 277-299 (2015)
[c97]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/DawMC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DawMC15
Zamira Daw, John Mangino, Rance Cleaveland:
UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@MoDELS 2015: 48-51
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/DawC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/DawC15
Zamira Daw, Rance Cleaveland:
An Extensible Operational Semantics for UML Activity Diagrams. SEFM 2015: 360-368
2014
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/cars/DawCV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cars/DawCV14
Zamira Daw, Rance Cleaveland, Marcus Vetter:
Formal verification of software-based medical devices considering medical guidelines. Int. J. Comput. Assist. Radiol. Surg. 9(1): 145-153 (2014)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/FontanaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/FontanaC14
Peter Fontana, Rance Cleaveland:
A menagerie of timed automata. ACM Comput. Surv. 46(3): 40:1-40:56 (2014)
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/FontanaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/FontanaC14
Peter Fontana, Rance Cleaveland:
The Power of Proofs: New Algorithms for Timed Automata Model Checking. FORMATS 2014: 115-129
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/FerlezCM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/FerlezCM14
James Ferlez, Rance Cleaveland, Steven I. Marcus:
Generalized Synchronization Trees. FoSSaCS 2014: 304-319
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/RayC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/RayC14
Arnab Ray, Rance Cleaveland:
An analysis method for medical device security. HotSoS 2014: 16
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SchulzeGLCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SchulzeGLCG14
Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman:
Assessing model-based testing: an empirical study conducted in industry. ICSE Companion 2014: 135-144
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/GrosuCCCDFGGGMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/GrosuCCCDFGGGMRS14
Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 2014: 356-364
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FontanaC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FontanaC14
Peter Fontana, Rance Cleaveland:
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix). CoRR abs/1408.6104 (2014)
2013
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/DawCV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/DawCV13
Zamira Daw, Rance Cleaveland, Marcus Vetter:
Integrating model checking and UML based model-driven development for embedded systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RayC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RayC13
Arnab Ray, Rance Cleaveland:
Constructing safety assurance cases for medical devices. ASSURE@ICSE 2013: 40-45
2011
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/RayACSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/RayACSM11
Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin:
Functional and Nonfunctional Design Verification for Embedded Software Systems. Adv. Comput. 83: 277-321 (2011)
[c89]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/fmcad/FontanaC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FontanaC11
Peter Fontana, Rance Cleaveland:
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. DIFTS@FMCAD 2011
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/GanesanLCJJZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/GanesanLCJJZ11
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang:
Architecture Reconstruction and Analysis of Medical Device Software. WICSA 2011: 194-203
2010
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AckermannCHRSL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AckermannCHRSL10
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico:
Automatic Requirement Extraction from Test Cases. RV 2010: 1-15
no results

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/HieronsBBCDDGHKKLSVWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009)
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/AckermannLC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/AckermannLC09
Christopher Ackermann, Mikael Lindvall, Rance Cleaveland:
Towards Behavioral Reflexion Models. ISSRE 2009: 175-184
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/RayMACSM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/RayMACSM09
Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin:
Validating Automotive Control Software Using Instrumentation-Based Verification. ASE 2009: 15-25
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/AckermannLC99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/AckermannLC99a
Christopher Ackermann, Mikael Lindvall, Rance Cleaveland:
Recovering Views of Inter-System Interaction Behaviors. WCRE 2009: 53-61
2008
[c83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmics/Cleaveland08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Cleaveland08
Rance Cleaveland:
Model-Based Verification of Automotive Control Software. FMICS 2008: 2
2007
[j31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CleavelandLN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CleavelandLN07
Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007)
[c82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Cleaveland07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cleaveland07
Rance Cleaveland:
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. TACAS 2007: 1
[c81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RayC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RayC08
Arnab Ray, Rance Cleaveland:
Executable Specifications for Real-Time Distributed Systems. SLA++P@ETAPS 2007: 3-17
2006
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/LeePCHKLRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/LeePCHKLRS06
Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/SenguptaC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/SenguptaC06
Bikram Sengupta, Rance Cleaveland:
Triggered Message Sequence Charts. IEEE Trans. Software Eng. 32(8): 587-607 (2006)
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/aswsd/CleavelandSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswsd/CleavelandSS06
Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/RayC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/RayC06
Arnab Ray, Rance Cleaveland:
A Software Architectural Approach to Security by Design. COMPSAC (2) 2006: 83-86
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/StarkCS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/StarkCS06
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka:
Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357
2005
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CleavelandIN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CleavelandIN05
Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha:
Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2-3): 316-350 (2005)
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/ZhangC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ZhangC05
Dezhuang Zhang, Rance Cleaveland:
Fast Generic Model-Checking for Data-Based Systems. FORTE 2005: 83-97
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/SenguptaC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/SenguptaC05
Bikram Sengupta, Rance Cleaveland:
Executable Requirements Specifications Using Triggered Message Sequence Charts. ICDCIT 2005: 482-493
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SenguptaC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SenguptaC05
Bikram Sengupta, Rance Cleaveland:
An Integrated Framework for Scenarios and State Machines. IFM 2005: 366-385
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ZhangC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ZhangC05
Dezhuang Zhang, Rance Cleaveland:
Efficient temporal-logic query checking for presburger systems. ASE 2005: 24-33
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/ZhangC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/ZhangC05
Dezhuang Zhang, Rance Cleaveland:
Fast On-the-Fly Parametric Real-Time Model Checking. RTSS 2005: 157-166
2004
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/HanselCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/HanselCS04
David Hansel, Rance Cleaveland, Scott A. Smolka:
Distributed prototyping from validated specifications. J. Syst. Softw. 70(3): 275-298 (2004)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/RayC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/RayC04
Arnab Ray, Rance Cleaveland:
Unit verification: the CARA experience. Int. J. Softw. Tools Technol. Transf. 5(4): 351-369 (2004)
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/RaySC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/RaySC04
Arnab Ray, Bikram Sengupta, Rance Cleaveland:
Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT 2004: 273-282
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RayC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RayC04
Arnab Ray, Rance Cleaveland:
Formal Modeling Of Middleware-based Distributed Systems. FESCA@ETAPS 2004: 21-37
[c70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RayCS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RayCS05
Arnab Ray, Rance Cleaveland, Arne Skou:
An Algebraic Theory Of Boundary Crossing Transitions. SFEDL@ETAPS 2004: 69-88
2003
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SenguptaC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SenguptaC03
Bikram Sengupta, Rance Cleaveland:
TRIM: A Tool for Triggered Message Sequence Charts. CAV 2003: 106-109
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/StarkCS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/StarkCS03
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka:
A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RayC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RayC03
Arnab Ray, Rance Cleaveland:
Architectural Interaction Diagrams: AIDs for System Modeling. ICSE 2003: 396-407
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SenguptaC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SenguptaC03
Bikram Sengupta, Rance Cleaveland:
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. RE 2003: 95-104
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ZhangCS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ZhangCS03
Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark:
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS 2003: 431-436
2002
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CleavelandS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CleavelandS02
Rance Cleaveland, Steve Sims:
Generic tools for verifying concurrent systems. Sci. Comput. Program. 42(1): 39-47 (2002)
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/TanC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TanC02
Li Tan, Rance Cleaveland:
Evidence-Based Model Checking. CAV 2002: 455-470
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/GrosuZSCL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/GrosuZSCL02
Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu:
High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenguptaC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenguptaC02
Bikram Sengupta, Rance Cleaveland:
Triggered message sequence charts. SIGSOFT FSE 2002: 167-176
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CleavelandL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CleavelandL02
Rance Cleaveland, Gerald Lüttgen:
A Logical Process Calculus. EXPRESS 2002: 33-50
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CleavelandG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CleavelandG02
Rance Cleaveland, Hubert Garavel:
Foreword. FMICS 2002: 211-213
[e5]
- view
- export record
  dblp key:
  - conf/fmics/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2002
Rance Cleaveland, Hubert Garavel:
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(2), Elsevier 2002 [contents]
2001
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/PhilippouSLCS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/PhilippouSLCS01
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Cleaveland01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Cleaveland01
Rance Cleaveland:
Alternative Approaches to Symbolic Verification - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. 3(3): 247-249 (2001)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BhatCG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BhatCG01
Girish Bhat, Rance Cleaveland, Alex Groce:
Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SimsCBR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SimsCBR01
Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville:
Automated Validation of Software Models. ASE 2001: 91-
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/HanselCS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/HanselCS01
David Hansel, Rance Cleaveland, Scott A. Smolka:
Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/TanC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TanC01
Li Tan, Rance Cleaveland:
Simulation Revisited. TACAS 2001: 480-495
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/el/01/CleavelandS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/01/CleavelandS01
Rance Cleaveland, Oleg Sokolsky:
Equivalence and Preorder Checking for Finite-State Systems. Handbook of Process Algebra 2001: 391-424
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/01/CleavelandLN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/01/CleavelandLN01
Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
Priority in Process Algebra. Handbook of Process Algebra 2001: 711-765
2000
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Cleaveland00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Cleaveland00
Rance Cleaveland:
Specification formalisms for component-based concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 42-43 (2000)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/CleavelandLS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/CleavelandLS00
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka:
Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 43-44 (2000)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BernardoC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BernardoC00
Marco Bernardo, Rance Cleaveland:
A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/CleavelandDS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CleavelandDS00
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/CleavelandL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/CleavelandL00
Rance Cleaveland, Gerald Lüttgen:
A Semantic Theory for Heterogeneous System Design. FSTTCS 2000: 312-324
[c52]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icalp/CleavelandI00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CleavelandI00
Rance Cleaveland, S. Purushothaman Iyer:
Branching-Time Probalistic Model Checking. ICALP Satellite Workshops 2000: 487-500
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LuttgenBC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LuttgenBC00
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129
no results

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ansoft/BhatCL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ansoft/BhatCL99
Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics. Ann. Softw. Eng. 7: 127-155 (1999)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/CleavelandJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/CleavelandJ99
Rance Cleaveland, Daniel Jackson:
Guest Editorial. Autom. Softw. Eng. 6(1): 5-6 (1999)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CleavelandDSY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CleavelandDSY99
Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen:
Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Cleaveland99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Cleaveland99
Rance Cleaveland:
Pragmatics of Model Checking: An STTT Special Section. Int. J. Softw. Tools Technol. Transf. 2(3): 208-218 (1999)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DuSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DuSC99
Xiaoqun Du, Scott A. Smolka, Rance Cleaveland:
Local Model Checking and Protocol Analysis. Int. J. Softw. Tools Technol. Transf. 2(3): 219-241 (1999)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Cleaveland99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Cleaveland99
Rance Cleaveland:
Temporal Process Logic (Abstract). CONCUR 1999: 1
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LuttgenBC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LuttgenBC99
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
Statecharts Via Process Algebra. CONCUR 1999: 399-414
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Muller-OlmSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Muller-OlmSC99
Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/NarasimhaCI99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/NarasimhaCI99
Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer:
Probabilistic Temporal Logics via the Modal Mu-Calculus. FoSSaCS 1999: 288-305
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/1999
Rance Cleaveland:
Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Lecture Notes in Computer Science 1579, Springer 1999, ISBN 3-540-65703-7 [contents]
1998
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CleavelandLN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CleavelandLN98
Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195(2): 227-258 (1998)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/PhilippouCLSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/PhilippouCLSS98
Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
[c45]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BernardoCSS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BernardoCSS98
Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart:
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE 1998: 457-467
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KumarCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KumarCS98
K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka:
Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220
[c43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NarasimhaCI99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NarasimhaCI99
Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer:
The role of observations in probabilistic open systems. Monterey Workshop 1998: 133-144
[e3]
- view
- export record
  dblp key:
  - conf/ffss/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ffss/1997
Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997. Electronic Notes in Theoretical Computer Science 14, Elsevier 1998 [contents]
1997
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ElseaidyCB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ElseaidyCB97
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29(1-2): 99-122 (1997)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CleavelandMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CleavelandMS97
Rance Cleaveland, Tiziana Margaria, Bernhard Steffen:
Editorial. Int. J. Softw. Tools Technol. Transf. 1(1-2): 1-5 (1997)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandLM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandLM97
Rance Cleaveland, Gerald Lüttgen, Michael Mendler:
An Algebraic Theory of Multiple Clocks. CONCUR 1997: 166-180
[c41]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/BhatCL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BhatCL97
Girish Bhat, Rance Cleaveland, Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time. FORTE 1997: 321-336
[c40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CleavelandMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CleavelandMM98
Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
Preface. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 1-2
1996
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Cleaveland96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Cleaveland96
Rance Cleaveland:
Semantic Theories and System Design. ACM Comput. Surv. 28(4es): 41 (1996)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Cleaveland96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Cleaveland96a
Rance Cleaveland:
Formality and Software Design. ACM Comput. Surv. 28(4es): 117 (1996)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/CleavelandS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/CleavelandS96
Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Concurrency Research. ACM Comput. Surv. 28(4): 607-625 (1996)
[j9]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/CleavelandS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CleavelandS96
Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS 60: 97-122 (1996)
[j8]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/stp/CleavelandNSL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stp/CleavelandNSL96
Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen:
Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools 17(2): 50-62 (1996)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CleavelandS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CleavelandS96
Rance Cleaveland, Steve Sims:
The NCSU Concurrency Workbench. CAV 1996: 394-397
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CleavelandLSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CleavelandLSS96
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandLN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandLN96
Rance Cleaveland, Gerald Lüttgen, V. Natarajan:
A Process Algebra with Distributed Priorities. CONCUR 1996: 34-49
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NatarajanC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NatarajanC96
V. Natarajan, Rance Cleaveland:
An Algebraic Theory of Process Efficiency. LICS 1996: 63-72
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BhatC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BhatC96
Girish Bhat, Rance Cleaveland:
Efficient Model Checking via the Equational µ-Calculus. LICS 1996: 304-312
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/NatarajanC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/NatarajanC96
V. Natarajan, Rance Cleaveland:
Predictability of real-time systems: a process-algebraic approach. RTSS 1996: 82-91
[c33]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/seke/CleavelandLLS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/CleavelandLLS96
Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BhatC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BhatC96
Girish Bhat, Rance Cleaveland:
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. TACAS 1996: 107-126
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CleavelandLNS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CleavelandLNS96
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims:
Priorities for Modeling and Verifying Distributed Systems. TACAS 1996: 278-297
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CleavelandLSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CleavelandLSS96
Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
1995
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/CelikkanC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/CelikkanC95
Ufuk Celikkan, Rance Cleaveland:
Generating Diagnostic Information for Behavioral Preorders. Distributed Comput. 9(2): 61-75 (1995)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/NatarajanC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/NatarajanC95
V. Natarajan, Rance Cleaveland:
Divergence and Fair Testing. ICALP 1995: 648-659
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ElseaidyC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ElseaidyC95
Wael M. Elseaidy, Rance Cleaveland:
A tool for modeling and verifying real-time systems. ICECCS 1995: 70-
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BhatCG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BhatCG95
Girish Bhat, Rance Cleaveland, Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*. LICS 1995: 388-397
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/CleavelandIY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CleavelandIY95
Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich:
Optimality in Abstractions of Model Checking. SAS 1995: 51-63
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/CleavelandMS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CleavelandMS95
Rance Cleaveland, Eric Madelaine, Steve Sims:
A Front-End Generator for Verification Tools. TACAS 1995: 153-173
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/1995
Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents]
1994
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandR94
Rance Cleaveland, James Riely:
Testing-Based Abstractions for Value-Passing Systems. CONCUR 1994: 417-432
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/YuenCDS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/YuenCDS94
Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka:
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/CleavelandGLSSZ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/CleavelandGLSSZ94
Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang:
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms 1994: 75-89
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/NatarajanCCC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/NatarajanCCC94
V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland:
Priority and Abstraction in Process Algebra. FSTTCS 1994: 217-230
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/CleavelandY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/CleavelandY94
Rance Cleaveland, Daniel Yankelevich:
An Operational Framework for Value-Passing Processes. POPL 1994: 326-338
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/ElseaidyCB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/ElseaidyCB94
Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
Verifying an Intelligent Structural Control System: A Case Study. RTSS 1994: 271-275
1993
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CleavelandH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CleavelandH93
Rance Cleaveland, Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence. Formal Aspects Comput. 5(1): 1-20 (1993)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CleavelandS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CleavelandS93
Rance Cleaveland, Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods Syst. Des. 2(2): 121-147 (1993)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CleavelandPS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CleavelandPS93
Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1): 36-72 (1993)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mcmaster/Cleaveland93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcmaster/Cleaveland93
Rance Cleaveland:
Analysing Concurrent Systems Using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 129-144
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/FredetteC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/FredetteC93
Andre N. Fredette, Rance Cleaveland:
RTSL: a language for real-time schedulability analysis. RTSS 1993: 274-283
1992
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CelikkanC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CelikkanC92
Ufuk Celikkan, Rance Cleaveland:
Generating Diagnostic Information for Behavioral Preorders. CAV 1992: 370-383
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CleavelandKS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CleavelandKS92
Rance Cleaveland, Marion Klein, Bernhard Steffen:
Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/StallmannCH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/StallmannCH92
Matthias F. Stallmann, Rance Cleaveland, Prashant Hebbar:
GDR: A Visualization Tool for Graph Algorithms. Computational Support for Discrete Mathematics 1992: 17-28
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/CleavelandSZ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CleavelandSZ92
Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico:
Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/CelikkanC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CelikkanC92
Ufuk Celikkan, Rance Cleaveland:
Computing Diagnostic Test for Incorrect Processes. PSTV 1992: 263-277
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/1992
Rance Cleaveland:
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Lecture Notes in Computer Science 630, Springer 1992, ISBN 3-540-55822-5 [contents]
1991
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CleavelandS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CleavelandS91
Rance Cleaveland, Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV 1991: 48-58
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/CleavelandS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CleavelandS91
Rance Cleaveland, Bernhard Steffen:
Computing Behavioural Relations, Logically. ICALP 1991: 127-138
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CleavelandZ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CleavelandZ91
Rance Cleaveland, Amy E. Zwarico:
A Theory of Testing for Real-Time. LICS 1991: 110-119
1990
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Cleaveland89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Cleaveland89
Rance Cleaveland:
Tableau-Based Model Checking in the Propositional Mu-Calculus. Acta Informatica 27(8): 725-747 (1990)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CleavelandH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CleavelandH90
Rance Cleaveland, Matthew Hennessy:
Priorities in Process Algebras. Inf. Comput. 87(1/2): 58-77 (1990)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Cleaveland90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Cleaveland90
Rance Cleaveland:
On Automatically Explaining Bisimulation Inequivalence. CAV 1990: 364-372
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CleavelandS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CleavelandS90
Rance Cleaveland, Bernhard Steffen:
A Preorder for Partial Process Specifications. CONCUR 1990: 141-151
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/Cleaveland90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Cleaveland90
Rance Cleaveland:
On Automatically Distinguishing Inequivalent Processes. CAV (DIMACS/AMS volume) 1990: 463-476
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CleavelandS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CleavelandS90
Rance Cleaveland, Bernhard Steffen:
When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications. LICS 1990: 440-449
no results

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/CleavelandH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/CleavelandH89
Rance Cleaveland, Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence. Automatic Verification Methods for Finite State Systems 1989: 11-23
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/avmfss/CleavelandPS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avmfss/CleavelandPS89
Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench. Automatic Verification Methods for Finite State Systems 1989: 24-37
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/CleavelandPS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CleavelandPS89
Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302
1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/CleavelandP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/CleavelandP88
Rance Cleaveland, Prakash Panangaden:
Type theory and concurrency. Int. J. Parallel Program. 17(2): 153-206 (1988)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CleavelandH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CleavelandH88
Rance Cleaveland, Matthew Hennessy:
Priorities in Process Algebras. LICS 1988: 193-202
1986
[b1]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - books/daglib/0068834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0068834
Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith:
Implementing mathematics with the Nuprl proof development system. Prentice Hall 1986, ISBN 978-0-13-451832-9, pp. I-X, 1-299
no results

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.