 | 2009 |
|---|
| 111 |       | 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) |
| 2008 |
|---|
| 110 | | Rance Cleaveland:
Model-Based Verification of Automotive Control Software.
FMICS 2008: 2 |
| 109 | | Arnab Ray,
Rance Cleaveland:
Executable Specifications for Real-Time Distributed Systems.
Electr. Notes Theor. Comput. Sci. 203(4): 3-17 (2008) |
| 2007 |
|---|
| 108 | | Rance Cleaveland:
THERE AND BACK AGAIN: Lessons Learned on the Way to the Market.
TACAS 2007: 1 |
| 107 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
Priority and abstraction in process algebra.
Inf. Comput. 205(9): 1426-1458 (2007) |
| 2006 |
|---|
| 106 | | Rance Cleaveland,
Scott A. Smolka,
Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation.
ASWSD 2006: 84-97 |
| 105 | | Arnab Ray,
Rance Cleaveland:
A Software Architectural Approach to Security by Design.
COMPSAC (2) 2006: 83-86 |
| 104 | | Eugene W. Stark,
Rance Cleaveland,
Scott A. Smolka:
Probabilistic I/O Automata: Theories of Two Equivalences.
CONCUR 2006: 343-357 |
| 103 | | 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) |
| 102 | | Bikram Sengupta,
Rance Cleaveland:
Triggered Message Sequence Charts.
IEEE Trans. Software Eng. 32(8): 587-607 (2006) |
| 2005 |
|---|
| 101 | | Dezhuang Zhang,
Rance Cleaveland:
Efficient temporal-logic query checking for presburger systems.
ASE 2005: 24-33 |
| 100 | | Dezhuang Zhang,
Rance Cleaveland:
Fast Generic Model-Checking for Data-Based Systems.
FORTE 2005: 83-97 |
| 99 | | Bikram Sengupta,
Rance Cleaveland:
Executable Requirements Specifications Using Triggered Message Sequence Charts.
ICDCIT 2005: 482-493 |
| 98 | | Bikram Sengupta,
Rance Cleaveland:
An Integrated Framework for Scenarios and State Machines.
IFM 2005: 366-385 |
| 97 | | Dezhuang Zhang,
Rance Cleaveland:
Fast On-the-Fly Parametric Real-Time Model Checking.
RTSS 2005: 157-166 |
| 96 | | Arnab Ray,
Rance Cleaveland,
Arne Skou:
An Algebraic Theory Of Boundary Crossing Transitions.
Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005) |
| 95 | | Rance Cleaveland,
S. Purushothaman Iyer,
Murali Narasimha:
Probabilistic temporal logics via the modal mu-calculus.
Theor. Comput. Sci. 342(2-3): 316-350 (2005) |
| 2004 |
|---|
| 94 | | Arnab Ray,
Bikram Sengupta,
Rance Cleaveland:
Secure Requirements Elicitation Through Triggered Message Sequence Charts.
ICDCIT 2004: 273-282 |
| 93 | | Arnab Ray,
Rance Cleaveland:
Formal Modeling Of Middleware-based Distributed Systems.
Electr. Notes Theor. Comput. Sci. 108: 21-37 (2004) |
| 92 | | David Hansel,
Rance Cleaveland,
Scott A. Smolka:
Distributed prototyping from validated specifications.
Journal of Systems and Software 70(3): 275-298 (2004) |
| 91 | | Arnab Ray,
Rance Cleaveland:
Unit verification: the CARA experience.
STTT 5(4): 351-369 (2004) |
| 2003 |
|---|
| 90 | | Bikram Sengupta,
Rance Cleaveland:
TRIM: A Tool for Triggered Message Sequence Charts.
CAV 2003: 106-109 |
| 89 | | Eugene W. Stark,
Rance Cleaveland,
Scott A. Smolka:
A Process-Algebraic Language for Probabilistic I/O Automata.
CONCUR 2003: 189-203 |
| 88 | | Arnab Ray,
Rance Cleaveland:
Architectural Interaction Diagrams: AIDs for System Modeling.
ICSE 2003: 396-407 |
| 87 | | Bikram Sengupta,
Rance Cleaveland:
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts.
RE 2003: 95-104 |
| 86 | | 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 |
|---|
| 85 | | Radu Grosu,
Erez Zadok,
Scott A. Smolka,
Rance Cleaveland,
Yanhong A. Liu:
High-confidence operating systems.
ACM SIGOPS European Workshop 2002: 205-208 |
| 84 | | Li Tan,
Rance Cleaveland:
Evidence-Based Model Checking.
CAV 2002: 455-470 |
| 83 | | Bikram Sengupta,
Rance Cleaveland:
Triggered message sequence charts.
SIGSOFT FSE 2002: 167-176 |
| 82 | | Rance Cleaveland,
Hubert Garavel:
Foreword.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 81 | | Rance Cleaveland,
Gerald Lüttgen:
A Logical Process Calculus.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
| 80 |  | Rance Cleaveland,
Steve Sims:
Generic tools for verifying concurrent systems.
Sci. Comput. Program. 42(1): 39-47 (2002) |
| 2001 |
|---|
| 79 | | Steve Sims,
Rance Cleaveland,
Ken Butts,
Scott Ranville:
Automated Validation of Software Models.
ASE 2001: 91- |
| 78 | | Girish Bhat,
Rance Cleaveland,
Alex Groce:
Efficient Model Checking Via Büchi Tableau Automata.
CAV 2001: 38-52 |
| 77 | | David Hansel,
Rance Cleaveland,
Scott A. Smolka:
Distributed Prototyping from Validated Specifications.
IEEE International Workshop on Rapid System Prototyping 2001: 97-102 |
| 76 | | Li Tan,
Rance Cleaveland:
Simulation Revisited.
TACAS 2001: 480-495 |
| 75 | | 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) |
| 74 | | Rance Cleaveland:
Alternative Approaches to Symbolic Verification - Preface by the Section Editor.
STTT 3(3): 247-249 (2001) |
| 2000 |
|---|
| 73 | | Marco Bernardo,
Rance Cleaveland:
A Theory of Testing for Markovian Processes.
CONCUR 2000: 305-319 |
| 72 | | Rance Cleaveland,
Xiaoqun Du,
Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification.
COORDINATION 2000: 284-298 |
| 71 | | Rance Cleaveland,
Gerald Lüttgen:
A Semantic Theory for Heterogeneous System Design.
FSTTCS 2000: 312-324 |
| 70 | | Rance Cleaveland,
S. Purushothaman Iyer:
Branching-Time Probalistic Model Checking.
ICALP Satellite Workshops 2000: 487-500 |
| 69 | | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
A compositional approach to statecharts semantics.
SIGSOFT FSE 2000: 120-129 |
| 1999 |
|---|
| 68 | | 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
Springer 1999 |
| 67 | | Rance Cleaveland:
Temporal Process Logic (Abstract).
CONCUR 1999: 1 |
| 66 | | Gerald Lüttgen,
Michael von der Beeck,
Rance Cleaveland:
Statecharts Via Process Algebra.
CONCUR 1999: 399-414 |
| 65 | | Markus Müller-Olm,
Bernhard Steffen,
Rance Cleaveland:
On the Evolution of Reactive Components: A Process-Algebraic Approach.
FASE 1999: 161-175 |
| 64 | | Murali Narasimha,
Rance Cleaveland,
S. Purushothaman Iyer:
Probabilistic Temporal Logics via the Modal Mu-Calculus.
FoSSaCS 1999: 288-305 |
| 63 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics.
Ann. Software Eng. 7: 127-155 (1999) |
| 62 | | Rance Cleaveland,
Daniel Jackson:
Guest Editorial.
Autom. Softw. Eng. 6(1): 5-6 (1999) |
| 61 | | Murali Narasimha,
Rance Cleaveland,
S. Purushothaman Iyer:
The role of observations in probabilistic open systems.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 60 | | Rance Cleaveland,
Zeynep Dayar,
Scott A. Smolka,
Shoji Yuen:
Testing Preorders for Probabilistic Processes.
Inf. Comput. 154(2): 93-148 (1999) |
| 59 | | Rance Cleaveland:
Pragmatics of Model Checking: An STTT Special Section.
STTT 2(3): 208-218 (1999) |
| 58 | | Xiaoqun Du,
Scott A. Smolka,
Rance Cleaveland:
Local Model Checking and Protocol Analysis.
STTT 2(3): 219-241 (1999) |
| 1998 |
|---|
| 57 | | Anna Philippou,
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR 1998: 389-404 |
| 56 | | Marco Bernardo,
Rance Cleaveland,
Steve Sims,
W. Stewart:
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems.
FORTE 1998: 457-467 |
| 55 | | K. Narayan Kumar,
Rance Cleaveland,
Scott A. Smolka:
Infinite Probabilistic and Nonprobabilistic Testing.
FSTTCS 1998: 209-220 |
| 54 | | Rance Cleaveland,
Michael W. Mislove,
Philip S. Mulry:
Preface.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 53 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
A Process Algebra with Distributed Priorities.
Theor. Comput. Sci. 195(2): 227-258 (1998) |
| 1997 |
|---|
| 52 | | Rance Cleaveland,
Gerald Lüttgen,
Michael Mendler:
An Algebraic Theory of Multiple Clocks.
CONCUR 1997: 166-180 |
| 51 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time.
FORTE 1997: 321-336 |
| 50 | | Rance Cleaveland,
Tiziana Margaria,
Bernhard Steffen:
Editorial.
STTT 1(1-2): 1-5 (1997) |
| 49 | | 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) |
| 1996 |
|---|
| 48 | | Rance Cleaveland,
Steve Sims:
The NCSU Concurrency Workbench.
CAV 1996: 394-397 |
| 47 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems.
CAV 1996: 398-401 |
| 46 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan:
A Process Algebra with Distributed Priorities.
CONCUR 1996: 34-49 |
| 45 | | V. Natarajan,
Rance Cleaveland:
Predictability of real-time systems: a process-algebraic approach.
IEEE Real-Time Systems Symposium 1996: 82- |
| 44 | | Girish Bhat,
Rance Cleaveland:
Efficient Model Checking via the Equational µ-Calculus.
LICS 1996: 304-312 |
| 43 | | V. Natarajan,
Rance Cleaveland:
An Algebraic Theory of Process Efficiency.
LICS 1996: 63-72 |
| 42 | | Rance Cleaveland,
Insup Lee,
Philip M. Lewis,
Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes.
SEKE 1996: 474-479 |
| 41 | | Girish Bhat,
Rance Cleaveland:
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.
TACAS 1996: 107-126 |
| 40 | | Rance Cleaveland,
Gerald Lüttgen,
V. Natarajan,
Steve Sims:
Priorities for Modeling and Verifying Distributed Systems.
TACAS 1996: 278-297 |
| 39 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory Software Development Environment.
TACAS 1996: 391-395 |
| 38 | | Rance Cleaveland,
Scott A. Smolka:
Strategic Directions in Concurrency Research.
ACM Comput. Surv. 28(4): 607-625 (1996) |
| 37 | | Rance Cleaveland:
Formality and Software Design.
ACM Comput. Surv. 28(4es): 117 (1996) |
| 36 | | Rance Cleaveland:
Semantic Theories and System Design.
ACM Comput. Surv. 28(4es): 41 (1996) |
| 35 | | Rance Cleaveland,
Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report.
Bulletin of the EATCS 60: 97-122 (1996) |
| 34 | | 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) |
| 1995 |
|---|
| 33 | | 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
Springer 1995 |
| 32 | | V. Natarajan,
Rance Cleaveland:
Divergence and Fair Testing.
ICALP 1995: 648-659 |
| 31 | | Wael M. Elseaidy,
Rance Cleaveland:
A tool for modeling and verifying real-time systems.
ICECCS 1995: 70- |
| 30 | | Girish Bhat,
Rance Cleaveland,
Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*
LICS 1995: 388-397 |
| 29 | | Rance Cleaveland,
S. Purushothaman Iyer,
Daniel Yankelevich:
Optimality in Abstractions of Model Checking
SAS 1995: 51-63 |
| 28 | | Rance Cleaveland,
Eric Madelaine,
Steve Sims:
A Front-End Generator for Verification Tools.
TACAS 1995: 153-173 |
| 27 | | Ufuk Celikkan,
Rance Cleaveland:
Generating Diagnostic Information for Behavioral Preorders.
Distributed Computing 9(2): 61-75 (1995) |
| 1994 |
|---|
| 26 | | Rance Cleaveland,
James Riely:
Testing-Based Abstractions for Value-Passing Systems.
CONCUR 1994: 417-432 |
| 25 | | Shoji Yuen,
Rance Cleaveland,
Zeynep Dayar,
Scott A. Smolka:
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
CONCUR 1994: 497-512 |
| 24 | | V. Natarajan,
Ivan Christoff,
Linda Christoff,
Rance Cleaveland:
Priority and Abstraction in Process Algebra.
FSTTCS 1994: 217-230 |
| 23 | | Wael M. Elseaidy,
Rance Cleaveland,
John W. Baugh Jr.:
Verifying an Intelligent Structural Control System: A Case Study.
IEEE Real-Time Systems Symposium 1994: 271-275 |
| 22 | | Rance Cleaveland,
Daniel Yankelevich:
An Operational Framework for Value-Passing Processes.
POPL 1994: 326-338 |
| 1993 |
|---|
| 21 | | Rance Cleaveland:
Analysing Concurrent Systems Using the Concurrency Workbench.
Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 129-144 |
| 20 | | 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) |
| 19 | | Rance Cleaveland,
Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence.
Formal Asp. Comput. 5(1): 1-20 (1993) |
| 18 | | 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) |
| 1992 |
|---|
| 17 | | Rance Cleaveland:
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings
Springer 1992 |
| 16 | | Ufuk Celikkan,
Rance Cleaveland:
Generating Diagnostic Information for Behavioral Preorders.
CAV 1992: 370-383 |
| 15 | | Rance Cleaveland,
Marion Klein,
Bernhard Steffen:
Faster Model Checking for the Modal Mu-Calculus.
CAV 1992: 410-422 |
| 14 | | Rance Cleaveland,
Scott A. Smolka,
Amy E. Zwarico:
Testing Preorders for Probabilistic Processes.
ICALP 1992: 708-719 |
| 13 | | Ufuk Celikkan,
Rance Cleaveland:
Computing Diagnostic Test for Incorrect Processes.
PSTV 1992: 263-277 |
| 1991 |
|---|
| 12 | | Rance Cleaveland,
Bernhard Steffen:
A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus.
CAV 1991: 48-58 |
| 11 | | Rance Cleaveland,
Bernhard Steffen:
Computing Behavioural Relations, Logically.
ICALP 1991: 127-138 |
| 10 | | Rance Cleaveland,
Amy E. Zwarico:
A Theory of Testing for Real-Time
LICS 1991: 110-119 |
| 1990 |
|---|
| 9 | | Rance Cleaveland:
On Automatically Explaining Bisimulation Inequivalence.
CAV 1990: 364-372 |
| 8 | | Rance Cleaveland,
Bernhard Steffen:
A Preorder for Partial Process Specifications.
CONCUR 1990: 141-151 |
| 7 | | Rance Cleaveland,
Bernhard Steffen:
When is ``Partial'' Adequate? A Logic-Based Proof Technique Using Partial Specifications
LICS 1990: 440-449 |
| 6 | | Rance Cleaveland,
Matthew Hennessy:
Priorities in Process Algebras
Inf. Comput. 87(1/2): 58-77 (1990) |
| 1989 |
|---|
| 5 | | Rance Cleaveland,
Matthew Hennessy:
Testing Equivalence as a Bisimulation Equivalence.
Automatic Verification Methods for Finite State Systems 1989: 11-23 |
| 4 | | Rance Cleaveland,
Joachim Parrow,
Bernhard Steffen:
The Concurrency Workbench.
Automatic Verification Methods for Finite State Systems 1989: 24-37 |
| 3 | | Rance Cleaveland,
Joachim Parrow,
Bernhard Steffen:
A Semantics Based Verification Tool for Finite State Systems.
PSTV 1989: 287-302 |
| 2 | | Rance Cleaveland:
Tableau-Based Model Checking in the Propositional Mu-Calculus.
Acta Inf. 27(8): 725-747 (1989) |
| 1988 |
|---|
| 1 | | Rance Cleaveland,
Matthew Hennessy:
Priorities in Process Algebras
LICS 1988: 193-202 |
