Rance Cleaveland

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 35

Top Venues

Publications

Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Liyi Li
DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. CoRR (2024)
Rance Cleaveland, Jeroen J. A. Keiren
Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. 25 (1) (2024)
Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu
The Quantum Abstract Machine. CoRR (2024)
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
Expressiveness Results for Timed Modal Mu-Calculi. CoRR (2023)
Rance Cleaveland
Better Automata Through Process Algebra. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
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 (2022)
Samuel Huang, Rance Cleaveland
A tableau construction for finite linear-time temporal logic. J. Log. Algebraic Methods Program. 125 (2022)
Samuel Huang, Rance Cleaveland
Temporal-logic query checking over finite data streams. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Jeroen J. A. Keiren, Rance Cleaveland
Extensible Proof Systems for Infinite-State Systems. CoRR (2022)
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 (2021)
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) (2021)
Samuel Huang, Rance Cleaveland
Temporal-Logic Query Checking over Finite Data Streams. FMICS (2020)
Rance Cleaveland
Better Automata through Process Algebra. CoRR (2020)
Samuel Huang, Rance Cleaveland
Temporal-Logic Query Checking over Finite Data Streams. CoRR (2020)
Peter Fontana, Rance Cleaveland
Timed Automata Benchmark Description. CoRR (2020)
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
Notions of Centralized and Decentralized Opacity in Linear Systems. IEEE Trans. Autom. Control. 65 (4) (2020)
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 (2019)
Rance Cleaveland
Scott Smolka and Me. From Reactive Systems to Cyber-Physical Systems (2019)
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
Notions of Centralized and Decentralized Opacity in Linear Systems. CoRR (2019)
Samuel Huang, Rance Cleaveland
A Tableau Construction for Finite Linear-Time Temporal Logic. CoRR (2019)
James Ferlez, Rance Cleaveland, Steven I. Marcus
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. CDC (2018)
Christoph Schulze, Rance Cleaveland, Mikael Lindvall
Automated Specification Extraction and Analysis with Specstractor. SEFM (2018)
Rance Cleaveland
Programming Is Modeling. ISoLA (1) (2018)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. 50 (3) (2017)
Christoph Schulze, Rance Cleaveland
Improving Invariant Mining via Static Analysis. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
James Ferlez, Rance Cleaveland, Steven I. Marcus
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. EXPRESS/SOS (2017)
Samuel Huang, Rance Cleaveland
Query Checking for Linear Temporal Logic. FMICS-AVoCS (2017)
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
Opacity for switched linear systems: Notions and characterization. CDC (2017)
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)
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)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to A Menagerie of Timed Automata. CoRR (2016)
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
A framework for opacity in linear systems. ACC (2016)
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
A framework for decentralized opacity in linear systems. Allerton (2016)
Zamira Daw, Rance Cleaveland
An extensible formal semantics for UML activity diagrams. CoRR (2016)
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)
Zamira Daw, Rance Cleaveland
An Extensible Operational Semantics for UML Activity Diagrams. SEFM (2015)
Zamira Daw, Rance Cleaveland
Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. 111 (2015)
Arnab Ray, Rance Cleaveland
Security Assurance Cases for Medical Cyber-Physical Systems. IEEE Des. Test 32 (5) (2015)
Zamira Daw, John Mangino, Rance Cleaveland
UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@MoDELS (2015)
Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman
Assessing model-based testing: an empirical study conducted in industry. ICSE Companion (2014)
Peter Fontana, Rance Cleaveland
The Power of Proofs: New Algorithms for Timed Automata Model Checking. FORMATS (2014)
Peter Fontana, Rance Cleaveland
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix). CoRR (2014)
Zamira Daw, Rance Cleaveland, Marcus Vetter
Formal verification of software-based medical devices considering medical guidelines. Int. J. Comput. Assist. Radiol. Surg. 9 (1) (2014)
Arnab Ray, Rance Cleaveland
An analysis method for medical device security. HotSoS (2014)
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)
Peter Fontana, Rance Cleaveland
A menagerie of timed automata. ACM Comput. Surv. 46 (3) (2014)
James Ferlez, Rance Cleaveland, Steven I. Marcus
Generalized Synchronization Trees. FoSSaCS (2014)
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)
Arnab Ray, Rance Cleaveland
Constructing safety assurance cases for medical devices. ASSURE@ICSE (2013)
Peter Fontana, Rance Cleaveland
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. DIFTS@FMCAD (2011)
Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Functional and Nonfunctional Design Verification for Embedded Software Systems. Adv. Comput. 83 (2011)
Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
Architecture Reconstruction and Analysis of Medical Device Software. WICSA (2011)
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
Automatic Requirement Extraction from Test Cases. RV (2010)
Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
Validating Automotive Control Software Using Instrumentation-Based Verification. ASE (2009)
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) (2009)
Christopher Ackermann, Mikael Lindvall, Rance Cleaveland
Recovering Views of Inter-System Interaction Behaviors. WCRE (2009)
Christopher Ackermann, Mikael Lindvall, Rance Cleaveland
Towards Behavioral Reflexion Models. ISSRE (2009)
Rance Cleaveland
Model-Based Verification of Automotive Control Software. FMICS (2008)
Arnab Ray, Rance Cleaveland
Executable Specifications for Real-Time Distributed Systems. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Rance Cleaveland, Gerald Lüttgen, V. Natarajan
Priority and abstraction in process algebra. Inf. Comput. 205 (9) (2007)
Rance Cleaveland
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. TACAS (2007)
Rance Cleaveland, Scott A. Smolka, Steve Sims
An Instrumentation-Based Approach to Controller Model Validation. ASWSD (2006)
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR (2006)
Bikram Sengupta, Rance Cleaveland
Triggered Message Sequence Charts. IEEE Trans. Software Eng. 32 (8) (2006)
Arnab Ray, Rance Cleaveland
A Software Architectural Approach to Security by Design. COMPSAC (2) (2006)
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) (2006)
Arnab Ray, Rance Cleaveland, Arne Skou
An Algebraic Theory Of Boundary Crossing Transitions. Electron. Notes Theor. Comput. Sci. 115 (2005)
Dezhuang Zhang, Rance Cleaveland
Fast Generic Model-Checking for Data-Based Systems. FORTE (2005)
Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342 (2-3) (2005)
Bikram Sengupta, Rance Cleaveland
Executable Requirements Specifications Using Triggered Message Sequence Charts. ICDCIT (2005)
Dezhuang Zhang, Rance Cleaveland
Fast On-the-Fly Parametric Real-Time Model Checking. RTSS (2005)
Bikram Sengupta, Rance Cleaveland
An Integrated Framework for Scenarios and State Machines. IFM (2005)
Dezhuang Zhang, Rance Cleaveland
Efficient temporal-logic query checking for presburger systems. ASE (2005)
Arnab Ray, Rance Cleaveland
Unit verification: the CARA experience. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
David Hansel, Rance Cleaveland, Scott A. Smolka
Distributed prototyping from validated specifications. J. Syst. Softw. 70 (3) (2004)
Arnab Ray, Rance Cleaveland
Formal Modeling Of Middleware-based Distributed Systems. Electron. Notes Theor. Comput. Sci. 108 (2004)
Arnab Ray, Bikram Sengupta, Rance Cleaveland
Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT (2004)
Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS (2003)
Arnab Ray, Rance Cleaveland
Architectural Interaction Diagrams: AIDs for System Modeling. ICSE (2003)
Bikram Sengupta, Rance Cleaveland
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. RE (2003)
Bikram Sengupta, Rance Cleaveland
TRIM: A Tool for Triggered Message Sequence Charts. CAV (2003)
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR (2003)
Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
High-confidence operating systems. ACM SIGOPS European Workshop (2002)
Rance Cleaveland, Steve Sims
Generic tools for verifying concurrent systems. Sci. Comput. Program. 42 (1) (2002)
Li Tan, Rance Cleaveland
Evidence-Based Model Checking. CAV (2002)
Bikram Sengupta, Rance Cleaveland
Triggered message sequence charts. SIGSOFT FSE (2002)
Rance Cleaveland, Gerald Lüttgen
A Logical Process Calculus. EXPRESS (2002)
Rance Cleaveland, Hubert Garavel
Foreword. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Rance Cleaveland
Alternative Approaches to Symbolic Verification - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. 3 (3) (2001)
Li Tan, Rance Cleaveland
Simulation Revisited. TACAS (2001)
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80 (1) (2001)
Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
Automated Validation of Software Models. ASE (2001)
Girish Bhat, Rance Cleaveland, Alex Groce
Efficient Model Checking Via Büchi Tableau Automata. CAV (2001)
David Hansel, Rance Cleaveland, Scott A. Smolka
Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping (2001)
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) (2000)
Rance Cleaveland, S. Purushothaman Iyer
Branching-Time Probalistic Model Checking. ICALP Satellite Workshops (2000)
Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
A compositional approach to statecharts semantics. SIGSOFT FSE (2000)
Marco Bernardo, Rance Cleaveland
A Theory of Testing for Markovian Processes. CONCUR (2000)
Rance Cleaveland, Gerald Lüttgen
A Semantic Theory for Heterogeneous System Design. FSTTCS (2000)
Rance Cleaveland
Specification formalisms for component-based concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)

Rance Cleaveland.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rance Cleaveland