dblp.uni-trier.dewww.uni-trier.de

Rance Cleaveland Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
111EERobert 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
110EERance Cleaveland: Model-Based Verification of Automotive Control Software. FMICS 2008: 2
109EEArnab Ray, Rance Cleaveland: Executable Specifications for Real-Time Distributed Systems. Electr. Notes Theor. Comput. Sci. 203(4): 3-17 (2008)
2007
108EERance Cleaveland: THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. TACAS 2007: 1
107EERance Cleaveland, Gerald Lüttgen, V. Natarajan: Priority and abstraction in process algebra. Inf. Comput. 205(9): 1426-1458 (2007)
2006
106EERance Cleaveland, Scott A. Smolka, Steve Sims: An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97
105EEArnab Ray, Rance Cleaveland: A Software Architectural Approach to Security by Design. COMPSAC (2) 2006: 83-86
104EEEugene W. Stark, Rance Cleaveland, Scott A. Smolka: Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357
103EEInsup 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)
102EEBikram Sengupta, Rance Cleaveland: Triggered Message Sequence Charts. IEEE Trans. Software Eng. 32(8): 587-607 (2006)
2005
101EEDezhuang Zhang, Rance Cleaveland: Efficient temporal-logic query checking for presburger systems. ASE 2005: 24-33
100EEDezhuang Zhang, Rance Cleaveland: Fast Generic Model-Checking for Data-Based Systems. FORTE 2005: 83-97
99EEBikram Sengupta, Rance Cleaveland: Executable Requirements Specifications Using Triggered Message Sequence Charts. ICDCIT 2005: 482-493
98EEBikram Sengupta, Rance Cleaveland: An Integrated Framework for Scenarios and State Machines. IFM 2005: 366-385
97EEDezhuang Zhang, Rance Cleaveland: Fast On-the-Fly Parametric Real-Time Model Checking. RTSS 2005: 157-166
96EEArnab Ray, Rance Cleaveland, Arne Skou: An Algebraic Theory Of Boundary Crossing Transitions. Electr. Notes Theor. Comput. Sci. 115: 69-88 (2005)
95EERance Cleaveland, S. Purushothaman Iyer, Murali Narasimha: Probabilistic temporal logics via the modal mu-calculus. Theor. Comput. Sci. 342(2-3): 316-350 (2005)
2004
94EEArnab Ray, Bikram Sengupta, Rance Cleaveland: Secure Requirements Elicitation Through Triggered Message Sequence Charts. ICDCIT 2004: 273-282
93EEArnab Ray, Rance Cleaveland: Formal Modeling Of Middleware-based Distributed Systems. Electr. Notes Theor. Comput. Sci. 108: 21-37 (2004)
92EEDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)
91EEArnab Ray, Rance Cleaveland: Unit verification: the CARA experience. STTT 5(4): 351-369 (2004)
2003
90EEBikram Sengupta, Rance Cleaveland: TRIM: A Tool for Triggered Message Sequence Charts. CAV 2003: 106-109
89EEEugene W. Stark, Rance Cleaveland, Scott A. Smolka: A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203
88EEArnab Ray, Rance Cleaveland: Architectural Interaction Diagrams: AIDs for System Modeling. ICSE 2003: 396-407
87EEBikram Sengupta, Rance Cleaveland: Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. RE 2003: 95-104
86EEDezhuang 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
85EERadu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
84EELi Tan, Rance Cleaveland: Evidence-Based Model Checking. CAV 2002: 455-470
83EEBikram Sengupta, Rance Cleaveland: Triggered message sequence charts. SIGSOFT FSE 2002: 167-176
82EERance Cleaveland, Hubert Garavel: Foreword. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
81EERance 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
79EESteve Sims, Rance Cleaveland, Ken Butts, Scott Ranville: Automated Validation of Software Models. ASE 2001: 91-
78EEGirish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52
77EEDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102
76EELi Tan, Rance Cleaveland: Simulation Revisited. TACAS 2001: 480-495
75EEAnna 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)
74EERance Cleaveland: Alternative Approaches to Symbolic Verification - Preface by the Section Editor. STTT 3(3): 247-249 (2001)
2000
73EEMarco Bernardo, Rance Cleaveland: A Theory of Testing for Markovian Processes. CONCUR 2000: 305-319
72EERance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
71EERance 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
69EEGerald 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
67EERance Cleaveland: Temporal Process Logic (Abstract). CONCUR 1999: 1
66EEGerald 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)
61EEMurali 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)
59EERance Cleaveland: Pragmatics of Model Checking: An STTT Special Section. STTT 2(3): 208-218 (1999)
58EEXiaoqun Du, Scott A. Smolka, Rance Cleaveland: Local Model Checking and Protocol Analysis. STTT 2(3): 219-241 (1999)
1998
57EEAnna 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
55EEK. Narayan Kumar, Rance Cleaveland, Scott A. Smolka: Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220
54EERance Cleaveland, Michael W. Mislove, Philip S. Mulry: Preface. Electr. Notes Theor. Comput. Sci. 14: (1998)
53EERance Cleaveland, Gerald Lüttgen, V. Natarajan: A Process Algebra with Distributed Priorities. Theor. Comput. Sci. 195(2): 227-258 (1998)
1997
52EERance 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
50EERance 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
48EERance Cleaveland, Steve Sims: The NCSU Concurrency Workbench. CAV 1996: 394-397
47EERance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
46EERance Cleaveland, Gerald Lüttgen, V. Natarajan: A Process Algebra with Distributed Priorities. CONCUR 1996: 34-49
45EEV. 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
32EEV. Natarajan, Rance Cleaveland: Divergence and Fair Testing. ICALP 1995: 648-659
31EEWael 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
26EERance Cleaveland, James Riely: Testing-Based Abstractions for Value-Passing Systems. CONCUR 1994: 417-432
25EEShoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512
24EEV. 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
20EERance 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
16EEUfuk Celikkan, Rance Cleaveland: Generating Diagnostic Information for Behavioral Preorders. CAV 1992: 370-383
15EERance Cleaveland, Marion Klein, Bernhard Steffen: Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422
14EERance 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
12EERance Cleaveland, Bernhard Steffen: A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus. CAV 1991: 48-58
11EERance 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
9EERance Cleaveland: On Automatically Explaining Bisimulation Inequivalence. CAV 1990: 364-372
8EERance 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
5EERance Cleaveland, Matthew Hennessy: Testing Equivalence as a Bisimulation Equivalence. Automatic Verification Methods for Finite State Systems 1989: 11-23
4EERance 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

Coauthor Index

1John W. Baugh Jr. [23] [49]
2Michael von der Beeck [66] [69]
3Marco Bernardo [56] [73]
4Girish Bhat [30] [41] [44] [51] [63] [78]
5Kirill Bogdanov [111]
6Jonathan P. Bowen [111]
7Ed Brinksma [33]
8Ken Butts [79]
9Ufuk Celikkan [13] [16] [27]
10Ivan Christoff [24]
11Linda Christoff [24]
12Zeynep Dayar [25] [60]
13John Derrick [111]
14Jeremy Dick [111]
15Xiaoqun Du [58] [72]
16Wael M. Elseaidy [23] [31] [49]
17Hubert Garavel [82]
18Marian Gheorghe [111]
19Alex Groce [78]
20Radu Grosu [85]
21Orna Grumberg [30]
22David Hansel [77] [92]
23Mark Harman [111]
24John Hatcliff [103]
25Matthew Hennessy [1] [5] [6] [19]
26Robert M. Hierons [111]
27S. Purushothaman Iyer (S. Purushothaman) [29] [61] [64] [70] [95]
28Daniel Jackson [62]
29Kalpesh Kapoor [111]
30Marion Klein [15]
31Paul Krause [111]
32Bruce H. Krogh [103]
33K. Narayan Kumar [55]
34Kim Guldstrand Larsen [33]
35Insup Lee [42] [57] [75] [103]
36Peter Lee [103]
37Philip M. Lewis (Philip M. Lewis II) [39] [42] [47]
38Yanhong A. Liu [85]
39Gerald Lüttgen [34] [40] [46] [51] [52] [53] [63] [66] [69] [71] [81] [107] [111]
40Eric Madelaine [28]
41Tiziana Margaria (Tiziana Margaria-Steffen) [33] [50]
42Michael Mendler [52]
43Michael W. Mislove [54]
44Markus Müller-Olm [65]
45Philip S. Mulry [54]
46Murali Narasimha [61] [64] [95]
47V. Natarajan [24] [32] [34] [40] [43] [45] [46] [53] [107]
48George J. Pappas [103]
49Joachim Parrow [3] [4] [20]
50Anna Philippou [57] [75]
51Scott Ranville [79]
52Arnab Ray [88] [91] [93] [94] [96] [105] [109]
53James Riely [26]
54Harvey Rubin [103]
55Bikram Sengupta [83] [87] [90] [94] [98] [99] [102]
56Lui Sha [103]
57Anthony J. H. Simons [111]
58Steve Sims [28] [34] [40] [48] [56] [79] [80] [106]
59Arne Skou [96]
60Scott A. Smolka [14] [25] [35] [38] [39] [42] [47] [55] [57] [58] [60] [72] [75] [77] [85] [89] [92] [104] [106]
61Oleg Sokolsky [39] [47] [57] [75]
62Eugene W. Stark [86] [89] [104]
63Bernhard Steffen [3] [4] [7] [8] [11] [12] [15] [18] [20] [33] [50] [65]
64W. Stewart [56]
65Li Tan [76] [84]
66Sergiy A. Vilkomir [111]
67Martin R. Woodward [111]
68Daniel Yankelevich [22] [29]
69Shoji Yuen [25] [60]
70Erez Zadok [85]
71Hussein Zedan (Hussein S. M. Zedan) [111]
72Dezhuang Zhang [86] [97] [100] [101]
73Amy E. Zwarico [10] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)