Rance Cleaveland

Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin: Functional and Nonfunctional Design Verification for Embedded Software Systems. Advances in Computers 83: 277-321 (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: 194-203

Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico: Automatic Requirement Extraction from Test Cases. RV 2010: 1-15

Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul 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: Towards Behavioral Reflexion Models. ISSRE 2009: 175-184

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

Christopher Ackermann, Mikael Lindvall, Rance Cleaveland: Recovering Views of Inter-System Interaction Behaviors. WCRE 2009: 53-61

Arnab Ray, Rance Cleaveland: Executable Specifications for Real-Time Distributed Systems. Electr. Notes Theor. Comput. Sci. 203(4): 3-17 (2008)

Rance Cleaveland: Model-Based Verification of Automotive Control Software. FMICS 2008: 2

Rance Cleaveland, Gerald Lüttgen, V. Natarajan: Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007)

Rance Cleaveland: THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. TACAS 2007: 1

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. IEEE Computer 39(4): 33-38 (2006)

Bikram Sengupta, Rance Cleaveland: Triggered Message Sequence Charts. IEEE Trans. Software Eng. 32(8): 587-607 (2006)

Rance Cleaveland, Scott A. Smolka, Steve Sims: An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97

Arnab Ray, Rance Cleaveland: A Software Architectural Approach to Security by Design. COMPSAC (2) 2006: 83-86

Eugene W. Stark, Rance Cleaveland, Scott A. Smolka: Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357

Arnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha: Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2-3): 316-350 (2005)

Dezhuang Zhang, Rance Cleaveland: Fast Generic Model-Checking for Data-Based Systems. FORTE 2005: 83-97

Bikram Sengupta, Rance Cleaveland: Executable Requirements Specifications Using Triggered Message Sequence Charts. ICDCIT 2005: 482-493

Bikram Sengupta, Rance Cleaveland: An Integrated Framework for Scenarios and State Machines. IFM 2005: 366-385

Dezhuang Zhang, Rance Cleaveland: Efficient temporal-logic query checking for presburger systems. ASE 2005: 24-33

Dezhuang Zhang, Rance Cleaveland: Fast On-the-Fly Parametric Real-Time Model Checking. RTSS 2005: 157-166

Arnab Ray, Rance Cleaveland: Formal Modeling Of Middleware-based Distributed Systems. Electr. Notes Theor. Comput. Sci. 108: 21-37 (2004)

David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)

Arnab Ray, Rance Cleaveland: Unit verification: the CARA experience. STTT 5(4): 351-369 (2004)

Arnab Ray, Bikram Sengupta, Rance Cleaveland: Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT 2004: 273-282

Bikram Sengupta, Rance Cleaveland: TRIM: A Tool for Triggered Message Sequence Charts. CAV 2003: 106-109

Eugene W. Stark, Rance Cleaveland, Scott A. Smolka: A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203

Arnab Ray, Rance Cleaveland: Architectural Interaction Diagrams: AIDs for System Modeling. ICSE 2003: 396-407

Bikram Sengupta, Rance Cleaveland: Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. RE 2003: 95-104

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

Rance Cleaveland, Hubert Garavel: Foreword. Electr. Notes Theor. Comput. Sci. 66(2): 211-213 (2002)

Rance Cleaveland, Gerald Lüttgen: A Logical Process Calculus. Electr. Notes Theor. Comput. Sci. 68(2): 33-50 (2002)

Rance Cleaveland, Steve Sims: Generic tools for verifying concurrent systems. Sci. Comput. Program. 42(1): 39-47 (2002)

Li Tan, Rance Cleaveland: Evidence-Based Model Checking. CAV 2002: 455-470

Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208

Bikram Sengupta, Rance Cleaveland: Triggered message sequence charts. SIGSOFT FSE 2002: 167-176

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)

Rance Cleaveland: Alternative Approaches to Symbolic Verification - Preface by the Section Editor. STTT 3(3): 247-249 (2001)

Girish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52

Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville: Automated Validation of Software Models. ASE 2001: 91-

David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102

Li Tan, Rance Cleaveland: Simulation Revisited. TACAS 2001: 480-495

Rance Cleaveland: Specification formalisms for component-based concurrent systems. ACM SIGSOFT Software Engineering Notes 25(1): 42-43 (2000)

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka: Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Software Engineering Notes 25(1): 43-44 (2000)

Marco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319

Rance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298

Rance Cleaveland, Gerald Lüttgen: A Semantic Theory for Heterogeneous System Design. FSTTCS 2000: 312-324

Rance Cleaveland, S. Purushothaman Iyer: Branching-Time Probalistic Model Checking. ICALP Satellite Workshops 2000: 487-500

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: A compositional approach to statecharts semantics. SIGSOFT FSE 2000: 120-129

Girish Bhat, Rance Cleaveland, Gerald Lüttgen: A Practical Approach to Implementing Real-Time Semantics. Ann. Software Eng. 7: 127-155 (1999)

Rance Cleaveland, Daniel Jackson: Guest Editorial. Autom. Softw. Eng. 6(1): 5-6 (1999)

Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer: The role of observations in probabilistic open systems. Electr. Notes Theor. Comput. Sci. 25: 133-144 (1999)

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen: Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)

Rance Cleaveland: Pragmatics of Model Checking: An STTT Special Section. STTT 2(3): 208-218 (1999)

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland: Local Model Checking and Protocol Analysis. STTT 2(3): 219-241 (1999)

Rance Cleaveland: Temporal Process Logic (Abstract). CONCUR 1999: 1

Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland: Statecharts Via Process Algebra. CONCUR 1999: 399-414

Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland: On the Evolution of Reactive Components: A Process-Algebraic Approach. FASE 1999: 161-175

Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer: Probabilistic Temporal Logics via the Modal Mu-Calculus. FoSSaCS 1999: 288-305

Rance Cleaveland (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. Lecture Notes in Computer Science 1579, Springer 1999, isbn 3-540-65703-7

Rance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. Electr. Notes Theor. Comput. Sci. 14: 1-2 (1998)

Rance Cleaveland, Gerald Lüttgen, V. Natarajan: A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195(2): 227-258 (1998)

Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404

Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart: TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. FORTE 1998: 457-467

K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka: Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220

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)

Rance Cleaveland, Tiziana Margaria, Bernhard Steffen: Editorial. STTT 1(1-2): 1-5 (1997)

Rance Cleaveland, Gerald Lüttgen, Michael Mendler: An Algebraic Theory of Multiple Clocks. CONCUR 1997: 166-180

Girish Bhat, Rance Cleaveland, Gerald Lüttgen: Dynamic Priorities for Modeling Real-Time. FORTE 1997: 321-336

Rance Cleaveland: Semantic Theories and System Design. ACM Comput. Surv. 28(4es): 41 (1996)

Rance Cleaveland: Formality and Software Design. ACM Comput. Surv. 28(4es): 117 (1996)

Rance Cleaveland, Scott A. Smolka: Strategic Directions in Concurrency Research. ACM Comput. Surv. 28(4): 607-625 (1996)

Rance Cleaveland, Scott A. Smolka: Strategic Directions in Computing Research-Concurrency Working Group Report. Bulletin of the EATCS 60: 97-122 (1996)

Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen: Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Software - Concepts and Tools 17(2): 50-62 (1996)

Rance Cleaveland, Steve Sims: The NCSU Concurrency Workbench. CAV 1996: 394-397

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401

Rance Cleaveland, Gerald Lüttgen, V. Natarajan: A Process Algebra with Distributed Priorities. CONCUR 1996: 34-49

V. Natarajan, Rance Cleaveland: An Algebraic Theory of Process Efficiency. LICS 1996: 63-72

Girish Bhat, Rance Cleaveland: Efficient Model Checking via the Equational µ-Calculus. LICS 1996: 304-312

V. Natarajan, Rance Cleaveland: Predictability of real-time systems: a process-algebraic approach. RTSS 1996: 82-91

Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479

Girish Bhat, Rance Cleaveland: Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. TACAS 1996: 107-126

Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims: Priorities for Modeling and Verifying Distributed Systems. TACAS 1996: 278-297

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395

Ufuk Celikkan, Rance Cleaveland: Generating Diagnostic Information for Behavioral Preorders. Distributed Computing 9(2): 61-75 (1995)

V. Natarajan, Rance Cleaveland: Divergence and Fair Testing. ICALP 1995: 648-659

Wael M. Elseaidy, Rance Cleaveland: A tool for modeling and verifying real-time systems. ICECCS 1995: 70-

Girish Bhat, Rance Cleaveland, Orna Grumberg: Efficient On-the-Fly Model Checking for CTL*. LICS 1995: 388-397

Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich: Optimality in Abstractions of Model Checking. SAS 1995: 51-63

Rance Cleaveland, Eric Madelaine, Steve Sims: A Front-End Generator for Verification Tools. TACAS 1995: 153-173

Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): 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

Rance Cleaveland, James Riely: Testing-Based Abstractions for Value-Passing Systems. CONCUR 1994: 417-432

Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512

V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland: Priority and Abstraction in Process Algebra. FSTTCS 1994: 217-230

Rance Cleaveland, Daniel Yankelevich: An Operational Framework for Value-Passing Processes. POPL 1994: 326-338

Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Verifying an Intelligent Structural Control System: A Case Study. RTSS 1994: 271-275

Rance Cleaveland, Matthew Hennessy: Testing Equivalence as a Bisimulation Equivalence. Formal Asp. Comput. 5(1): 1-20 (1993)

Rance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. Formal Methods in System Design 2(2): 121-147 (1993)

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)

Rance Cleaveland: Analysing Concurrent Systems Using the Concurrency Workbench. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 129-144

Ufuk Celikkan, Rance Cleaveland: Generating Diagnostic Information for Behavioral Preorders. CAV 1992: 370-383

Rance Cleaveland, Marion Klein, Bernhard Steffen: Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422

Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico: Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719

Ufuk Celikkan, Rance Cleaveland: Computing Diagnostic Test for Incorrect Processes. PSTV 1992: 263-277

Rance Cleaveland (Ed.): 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

Rance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV 1991: 48-58

Rance Cleaveland, Bernhard Steffen: Computing Behavioural Relations, Logically. ICALP 1991: 127-138

Rance Cleaveland, Amy E. Zwarico: A Theory of Testing for Real-Time. LICS 1991: 110-119

Rance Cleaveland, Matthew Hennessy: Priorities in Process Algebras. Inf. Comput. 87(1/2): 58-77 (1990)

Rance Cleaveland: On Automatically Explaining Bisimulation Inequivalence. CAV 1990: 364-372

Rance Cleaveland, Bernhard Steffen: A Preorder for Partial Process Specifications. CONCUR 1990: 141-151

Rance Cleaveland, Bernhard Steffen: When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications. LICS 1990: 440-449

Rance Cleaveland: Tableau-Based Model Checking in the Propositional Mu-Calculus. Acta Inf. 27(8): 725-747 (1989)

Rance Cleaveland, Matthew Hennessy: Testing Equivalence as a Bisimulation Equivalence. Automatic Verification Methods for Finite State Systems 1989: 11-23

Rance Cleaveland, Joachim Parrow, Bernhard Steffen: The Concurrency Workbench. Automatic Verification Methods for Finite State Systems 1989: 24-37

Rance Cleaveland, Joachim Parrow, Bernhard Steffen: A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302

Rance Cleaveland, Prakash Panangaden: Type theory and concurrency. International Journal of Parallel Programming 17(2): 153-206 (1988)

Rance Cleaveland, Matthew Hennessy: Priorities in Process Algebras. LICS 1988: 193-202

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. 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