Rance Cleaveland

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

Coauthor Index

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

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page