Rance Cleaveland

186 papers A* 23A 17B 21C 11Misc 2Journal 62Unranked 44

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Formal Methods in Industry. Formal Aspects Comput. 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
2024	—	`conf`	An Expressive Timed Modal Mu-Calculus for Timed Automata. QEST+FORMATS Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
2024	J	`jnl`	DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. CoRR Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu, Liyi Li
2024	J	`jnl`	Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log. Rance Cleaveland, Jeroen J. A. Keiren
2024	J	`jnl`	Qafny: A Quantum-Program Verifier (Artifact). Dagstuhl Artifacts Ser. Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2024	A	`conf`	Qafny: A Quantum-Program Verifier. ECOOP Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2024	J	`jnl`	The Quantum Abstract Machine. CoRR Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu
2024	—	`conf`	Two Decades of Industrializing Formal Verification: The Reactis Story. SPIN Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka
2023	J	`jnl`	Expressiveness Results for Timed Modal Mu-Calculi. CoRR Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
2022	J	`jnl`	A tableau construction for finite linear-time temporal logic. J. Log. Algebraic Methods Program. Samuel Huang, Rance Cleaveland
2022	—	`conf`	Better Automata Through Process Algebra. A Journey from Process Algebra via Timed Automata to Model Learning Rance Cleaveland
2022	J	`jnl`	Extensible Proof Systems for Infinite-State Systems. CoRR Jeroen J. A. Keiren, Rance Cleaveland
2022	J	`jnl`	Resilience to denial-of-service and integrity attacks: A structured systems approach. Eur. J. Control Bhaskar Ramasubramanian, M. A. Rajan, M. Girish Chandra, Rance Cleaveland, Steven I. Marcus
2022	J	`jnl`	Temporal-logic query checking over finite data streams. Int. J. Softw. Tools Technol. Transf. Samuel Huang, Rance Cleaveland
2021	J	`jnl`	Navigating the Seismic Shift of Post-Moore Computer Systems Design. IEEE Micro Anindya Banerjee, Sankar Basu, Erik Brunvand, Pinaki Mazumder, Rance Cleaveland, Gurdip Singh, Margaret Martonosi, Fernanda Pembleton
2021	J	`jnl`	Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach. CoRR Bhaskar Ramasubramanian, M. A. Rajan, M. Girish Chandra, Rance Cleaveland, Steven I. Marcus
2020	J	`jnl`	Better Automata through Process Algebra. CoRR Rance Cleaveland
2020	J	`jnl`	Notions of Centralized and Decentralized Opacity in Linear Systems. IEEE Trans. Autom. Control. Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
2020	C	`conf`	Temporal-Logic Query Checking over Finite Data Streams. FMICS Samuel Huang, Rance Cleaveland
2020	J	`jnl`	Temporal-Logic Query Checking over Finite Data Streams. CoRR Samuel Huang, Rance Cleaveland
2020	J	`jnl`	Timed Automata Benchmark Description. CoRR Peter Fontana, Rance Cleaveland
2019	J	`jnl`	A Tableau Construction for Finite Linear-Time Temporal Logic. CoRR Samuel Huang, Rance Cleaveland
2019	—	`ed.`	From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday From Reactive Systems to Cyber-Physical Systems Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
2019	J	`jnl`	Notions of Centralized and Decentralized Opacity in Linear Systems. CoRR Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
2019	J	`jnl`	Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2019	—	`conf`	Scott Smolka and Me. From Reactive Systems to Cyber-Physical Systems Rance Cleaveland
2018	B	`conf`	Automated Specification Extraction and Analysis with Specstractor. SEFM Christoph Schulze, Rance Cleaveland, Mikael Lindvall
2018	—	`conf`	Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. CDC James Ferlez, Rance Cleaveland, Steven I. Marcus
2018	—	`ch.`	Process Algebra and Model Checking. Handbook of Model Checking Rance Cleaveland, A. W. Roscoe, Scott A. Smolka
2018	—	`conf`	Programming Is Modeling. ISoLA (1) Rance Cleaveland
2017	—	`conf`	Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. EXPRESS/SOS James Ferlez, Rance Cleaveland, Steven I. Marcus
2017	J	`jnl`	Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
2017	J	`jnl`	Improving Invariant Mining via Static Analysis. ACM Trans. Embed. Comput. Syst. Christoph Schulze, Rance Cleaveland
2017	—	`conf`	Opacity for switched linear systems: Notions and characterization. CDC Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
2017	—	`conf`	Query Checking for Linear Temporal Logic. FMICS-AVoCS Samuel Huang, Rance Cleaveland
2016	—	`conf`	A framework for decentralized opacity in linear systems. Allerton Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
2016	C	`conf`	A framework for opacity in linear systems. ACC Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
2016	J	`jnl`	An extensible formal semantics for UML activity diagrams. CoRR Zamira Daw, Rance Cleaveland
2016	—	`conf`	Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2016	J	`jnl`	Corrections to A Menagerie of Timed Automata. CoRR Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 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
2016	A	`conf`	Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus. ISSRE Dharmalingam Ganesan, Mikael Lindvall, Stefan Hafsteinsson, Rance Cleaveland, Susanne L. Strege, Walter Moleski
2015	B	`conf`	An Extensible Operational Semantics for UML Activity Diagrams. SEFM Zamira Daw, Rance Cleaveland
2015	J	`jnl`	Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. Zamira Daw, Rance Cleaveland
2015	J	`jnl`	Security Assurance Cases for Medical Cyber-Physical Systems. IEEE Des. Test Arnab Ray, Rance Cleaveland
2015	—	`conf`	UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@MoDELS Zamira Daw, John Mangino, Rance Cleaveland
2014	J	`jnl`	A menagerie of timed automata. ACM Comput. Surv. Peter Fontana, Rance Cleaveland
2014	—	`conf`	An analysis method for medical device security. HotSoS Arnab Ray, Rance Cleaveland
2014	—	`conf`	Assessing model-based testing: an empirical study conducted in industry. ICSE Companion Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman
2014	—	`conf`	Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 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
2014	J	`jnl`	Formal verification of software-based medical devices considering medical guidelines. Int. J. Comput. Assist. Radiol. Surg. Zamira Daw, Rance Cleaveland, Marcus Vetter
2014	B	`conf`	Generalized Synchronization Trees. FoSSaCS James Ferlez, Rance Cleaveland, Steven I. Marcus
2014	J	`jnl`	The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix). CoRR Peter Fontana, Rance Cleaveland
2014	—	`conf`	The Power of Proofs: New Algorithms for Timed Automata Model Checking. FORMATS Peter Fontana, Rance Cleaveland
2013	—	`conf`	Constructing safety assurance cases for medical devices. ASSURE@ICSE Arnab Ray, Rance Cleaveland
2013	J	`jnl`	Integrating model checking and UML based model-driven development for embedded systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Zamira Daw, Rance Cleaveland, Marcus Vetter
2011	—	`conf`	Architecture Reconstruction and Analysis of Medical Device Software. WICSA Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang
2011	—	`conf`	Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. DIFTS@FMCAD Peter Fontana, Rance Cleaveland
2011	J	`jnl`	Functional and Nonfunctional Design Verification for Embedded Software Systems. Adv. Comput. Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
2010	B	`conf`	Automatic Requirement Extraction from Test Cases. RV Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
2009	—	`conf`	Recovering Views of Inter-System Interaction Behaviors. WCRE Christopher Ackermann, Mikael Lindvall, Rance Cleaveland
2009	A	`conf`	Towards Behavioral Reflexion Models. ISSRE Christopher Ackermann, Mikael Lindvall, Rance Cleaveland
2009	J	`jnl`	Using formal specifications to support testing. ACM Comput. Surv. 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
2009	A*	`conf`	Validating Automotive Control Software Using Instrumentation-Based Verification. ASE Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin
2008	C	`conf`	Model-Based Verification of Automotive Control Software. FMICS Rance Cleaveland
2007	—	`conf`	Executable Specifications for Real-Time Distributed Systems. SLA++P Arnab Ray, Rance Cleaveland
2007	J	`jnl`	Priority and abstraction in process algebra. Inf. Comput. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
2007	A	`conf`	THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. TACAS Rance Cleaveland
2006	—	`conf`	A Software Architectural Approach to Security by Design. COMPSAC (2) Arnab Ray, Rance Cleaveland
2006	—	`conf`	An Instrumentation-Based Approach to Controller Model Validation. ASWSD Rance Cleaveland, Scott A. Smolka, Steve Sims
2006	J	`jnl`	High-Confidence Medical Device Software and Systems. Computer Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
2006	B	`conf`	Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
2006	J	`jnl`	Triggered Message Sequence Charts. IEEE Trans. Software Eng. Bikram Sengupta, Rance Cleaveland
2005	B	`conf`	An Integrated Framework for Scenarios and State Machines. IFM Bikram Sengupta, Rance Cleaveland
2005	A*	`conf`	Efficient temporal-logic query checking for presburger systems. ASE Dezhuang Zhang, Rance Cleaveland
2005	Misc	`conf`	Executable Requirements Specifications Using Triggered Message Sequence Charts. ICDCIT Bikram Sengupta, Rance Cleaveland
2005	C	`conf`	Fast Generic Model-Checking for Data-Based Systems. FORTE Dezhuang Zhang, Rance Cleaveland
2005	A	`conf`	Fast On-the-Fly Parametric Real-Time Model Checking. RTSS Dezhuang Zhang, Rance Cleaveland
2005	J	`jnl`	Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
2004	—	`conf`	An Algebraic Theory Of Boundary Crossing Transitions. SFEDL@ETAPS Arnab Ray, Rance Cleaveland, Arne Skou
2004	J	`jnl`	Distributed prototyping from validated specifications. J. Syst. Softw. David Hansel, Rance Cleaveland, Scott A. Smolka
2004	—	`conf`	Formal Modeling Of Middleware-based Distributed Systems. FESCA@ETAPS Arnab Ray, Rance Cleaveland
2004	Misc	`conf`	Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT Arnab Ray, Bikram Sengupta, Rance Cleaveland
2004	J	`jnl`	Unit verification: the CARA experience. Int. J. Softw. Tools Technol. Transf. Arnab Ray, Rance Cleaveland
2003	B	`conf`	A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
2003	A*	`conf`	Architectural Interaction Diagrams: AIDs for System Modeling. ICSE Arnab Ray, Rance Cleaveland
2003	A	`conf`	Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. RE Bikram Sengupta, Rance Cleaveland
2003	A*	`conf`	TRIM: A Tool for Triggered Message Sequence Charts. CAV Bikram Sengupta, Rance Cleaveland
2003	A	`conf`	The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems. TACAS Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
2002	C	`ed.`	7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 FMICS Rance Cleaveland, Hubert Garavel
2002	—	`conf`	A Logical Process Calculus. EXPRESS Rance Cleaveland, Gerald Lüttgen
2002	A*	`conf`	Evidence-Based Model Checking. CAV Li Tan, Rance Cleaveland
2002	C	`conf`	Foreword. FMICS Rance Cleaveland, Hubert Garavel
2002	J	`jnl`	Generic tools for verifying concurrent systems. Sci. Comput. Program. Rance Cleaveland, Steve Sims
2002	—	`conf`	High-confidence operating systems. ACM SIGOPS European Workshop Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
2002	—	`conf`	Triggered message sequence charts. SIGSOFT FSE Bikram Sengupta, Rance Cleaveland
2001	J	`jnl`	Alternative Approaches to Symbolic Verification - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. Rance Cleaveland
2001	A*	`conf`	Automated Validation of Software Models. ASE Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville
2001	C	`conf`	Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping David Hansel, Rance Cleaveland, Scott A. Smolka
2001	A*	`conf`	Efficient Model Checking Via Büchi Tableau Automata. CAV Girish Bhat, Rance Cleaveland, Alex Groce
2001	—	`ch.`	Equivalence and Preorder Checking for Finite-State Systems. Handbook of Process Algebra Rance Cleaveland, Oleg Sokolsky
2001	J	`jnl`	Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
2001	—	`ch.`	Priority in Process Algebra. Handbook of Process Algebra Rance Cleaveland, Gerald Lüttgen, V. Natarajan
2001	A	`conf`	Simulation Revisited. TACAS Li Tan, Rance Cleaveland
2000	—	`conf`	A Semantic Theory for Heterogeneous System Design. FSTTCS Rance Cleaveland, Gerald Lüttgen
2000	B	`conf`	A Theory of Testing for Markovian Processes. CONCUR Marco Bernardo, Rance Cleaveland
2000	—	`conf`	A compositional approach to statecharts semantics. SIGSOFT FSE Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
2000	—	`conf`	Branching-Time Probalistic Model Checking. ICALP Satellite Workshops Rance Cleaveland, S. Purushothaman Iyer
2000	C	`conf`	GCCS: A Graphical Coordination Language for System Specification. COORDINATION Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
2000	J	`jnl`	Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes Rance Cleaveland, Philip M. Lewis, Scott A. Smolka
2000	J	`jnl`	Specification formalisms for component-based concurrent systems. ACM SIGSOFT Softw. Eng. Notes Rance Cleaveland
1999	J	`jnl`	A Practical Approach to Implementing Real-Time Semantics. Ann. Softw. Eng. Girish Bhat, Rance Cleaveland, Gerald Lüttgen
1999	J	`jnl`	Guest Editorial. Autom. Softw. Eng. Rance Cleaveland, Daniel Jackson
1999	J	`jnl`	Local Model Checking and Protocol Analysis. Int. J. Softw. Tools Technol. Transf. Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
1999	B	`conf`	On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
1999	J	`jnl`	Pragmatics of Model Checking: An STTT Special Section. Int. J. Softw. Tools Technol. Transf. Rance Cleaveland
1999	B	`conf`	Probabilistic Temporal Logics via the Modal Mu-Calculus. FoSSaCS Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
1999	B	`conf`	Statecharts Via Process Algebra. CONCUR Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
1999	B	`conf`	Temporal Process Logic (Abstract). CONCUR Rance Cleaveland
1999	J	`jnl`	Testing Preorders for Probabilistic Processes. Inf. Comput. Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
1999	A	`ed.`	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 TACAS Rance Cleaveland
1998	J	`jnl`	A Process Algebra with Distributed Priorities. Theor. Comput. Sci. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
1998	—	`conf`	Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
1998	B	`conf`	Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
1998	—	`conf`	The role of observations in probabilistic open systems. Monterey Workshop Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer
1998	C	`conf`	TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart
1998	—	`ed.`	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 US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1997	B	`conf`	An Algebraic Theory of Multiple Clocks. CONCUR Rance Cleaveland, Gerald Lüttgen, Michael Mendler
1997	C	`conf`	Dynamic Priorities for Modeling Real-Time. FORTE Girish Bhat, Rance Cleaveland, Gerald Lüttgen
1997	J	`jnl`	Editorial. Int. J. Softw. Tools Technol. Transf. Rance Cleaveland, Tiziana Margaria, Bernhard Steffen
1997	J	`jnl`	Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
1997	—	`conf`	Preface. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Rance Cleaveland, Michael W. Mislove, Philip S. Mulry
1996	B	`conf`	A Process Algebra with Distributed Priorities. CONCUR Rance Cleaveland, Gerald Lüttgen, V. Natarajan
1996	C	`conf`	A Theory of Testing for Soft Real-Time Processes. SEKE Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
1996	A*	`conf`	An Algebraic Theory of Process Efficiency. LICS V. Natarajan, Rance Cleaveland
1996	A	`conf`	Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. TACAS Girish Bhat, Rance Cleaveland
1996	A*	`conf`	Efficient Model Checking via the Equational µ-Calculus. LICS Girish Bhat, Rance Cleaveland
1996	J	`jnl`	Formality and Software Design. ACM Comput. Surv. Rance Cleaveland
1996	J	`jnl`	Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Softw. Concepts Tools Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
1996	A	`conf`	Predictability of real-time systems: a process-algebraic approach. RTSS V. Natarajan, Rance Cleaveland
1996	A	`conf`	Priorities for Modeling and Verifying Distributed Systems. TACAS Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
1996	J	`jnl`	Semantic Theories and System Design. ACM Comput. Surv. Rance Cleaveland
1996	J	`jnl`	Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS Rance Cleaveland, Scott A. Smolka
1996	J	`jnl`	Strategic Directions in Concurrency Research. ACM Comput. Surv. Rance Cleaveland, Scott A. Smolka
1996	A	`conf`	The Concurrency Factory Software Development Environment. TACAS Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996	A*	`conf`	The Concurrency Factory: A Development Environment for Concurrent Systems. CAV Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996	A*	`conf`	The NCSU Concurrency Workbench. CAV Rance Cleaveland, Steve Sims
1995	A	`conf`	A Front-End Generator for Verification Tools. TACAS Rance Cleaveland, Eric Madelaine, Steve Sims
1995	B	`conf`	A tool for modeling and verifying real-time systems. ICECCS Wael M. Elseaidy, Rance Cleaveland
1995	A*	`conf`	Divergence and Fair Testing. ICALP V. Natarajan, Rance Cleaveland
1995	A*	`conf`	Efficient On-the-Fly Model Checking for CTL* LICS Girish Bhat, Rance Cleaveland, Orna Grumberg
1995	J	`jnl`	Generating Diagnostic Information for Behavioral Preorders. Distributed Comput. Ufuk Celikkan, Rance Cleaveland
1995	B	`conf`	Optimality in Abstractions of Model Checking SAS Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich
1995	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings TACAS Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen
1994	A*	`conf`	An Operational Framework for Value-Passing Processes. POPL Rance Cleaveland, Daniel Yankelevich
1994	B	`conf`	Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
1994	—	`conf`	Priority and Abstraction in Process Algebra. FSTTCS V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland
1994	B	`conf`	Testing-Based Abstractions for Value-Passing Systems. CONCUR Rance Cleaveland, James Riely
1994	—	`conf`	The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
1994	A	`conf`	Verifying an Intelligent Structural Control System: A Case Study. RTSS Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
1993	J	`jnl`	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods Syst. Des. Rance Cleaveland, Bernhard Steffen
1993	—	`conf`	Analysing Concurrent Systems Using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning Rance Cleaveland
1993	A	`conf`	RTSL: a language for real-time schedulability analysis. RTSS Andre N. Fredette, Rance Cleaveland
1993	J	`jnl`	Testing Equivalence as a Bisimulation Equivalence. Formal Aspects Comput. Rance Cleaveland, Matthew Hennessy
1993	J	`jnl`	The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1992	B	`ed.`	CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings CONCUR Rance Cleaveland
1992	—	`conf`	Computing Diagnostic Test for Incorrect Processes. PSTV Ufuk Celikkan, Rance Cleaveland
1992	A*	`conf`	Faster Model Checking for the Modal Mu-Calculus. CAV Rance Cleaveland, Marion Klein, Bernhard Steffen
1992	—	`conf`	GDR: A Visualization Tool for Graph Algorithms. Computational Support for Discrete Mathematics Matthias F. Stallmann, Rance Cleaveland, Prashant Hebbar
1992	A*	`conf`	Generating Diagnostic Information for Behavioral Preorders. CAV Ufuk Celikkan, Rance Cleaveland
1992	A*	`conf`	Testing Preorders for Probabilistic Processes. ICALP Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
1991	A*	`conf`	A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV Rance Cleaveland, Bernhard Steffen
1991	A*	`conf`	A Theory of Testing for Real-Time LICS Rance Cleaveland, Amy E. Zwarico
1991	A*	`conf`	Computing Behavioural Relations, Logically. ICALP Rance Cleaveland, Bernhard Steffen
1990	B	`conf`	A Preorder for Partial Process Specifications. CONCUR Rance Cleaveland, Bernhard Steffen
1990	—	`conf`	On Automatically Distinguishing Inequivalent Processes. CAV (DIMACS/AMS volume) Rance Cleaveland
1990	A*	`conf`	On Automatically Explaining Bisimulation Inequivalence. CAV Rance Cleaveland
1990	J	`jnl`	Priorities in Process Algebras Inf. Comput. Rance Cleaveland, Matthew Hennessy
1990	J	`jnl`	Tableau-Based Model Checking in the Propositional Mu-Calculus. Acta Informatica Rance Cleaveland
1990	A*	`conf`	When is "Partial" Adequate? A Logic-Based Proof Technique Using Partial Specifications LICS Rance Cleaveland, Bernhard Steffen
1989	—	`conf`	A Semantics Based Verification Tool for Finite State Systems. PSTV Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1989	—	`conf`	Testing Equivalence as a Bisimulation Equivalence. Automatic Verification Methods for Finite State Systems Rance Cleaveland, Matthew Hennessy
1989	—	`conf`	The Concurrency Workbench. Automatic Verification Methods for Finite State Systems Rance Cleaveland, Joachim Parrow, Bernhard Steffen
1988	A*	`conf`	Priorities in Process Algebras LICS Rance Cleaveland, Matthew Hennessy
1988	J	`jnl`	Type theory and concurrency. Int. J. Parallel Program. Rance Cleaveland, Prakash Panangaden
1986	—	`book`	Implementing mathematics with the Nuprl proof development system. 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