Robert P. Kurshan

	2008
64		Robert P. Kurshan: Verification Technology Transfer. 25 Years of Model Checking 2008: 46-64
63		Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi: Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490
	2007
62		Robert P. Kurshan: Scaling Commercial Verification to Larger Systems. Haifa Verification Conference 2007: 8-13
	2005
61		Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan: An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME 2005: 254-268
	2004
60		Robert P. Kurshan: Evolution of Model Checking into the EDA Industry. ATVA 2004: 2-6
59		Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
58		Robert P. Kurshan: Formal verification as a technology transfer problem. MEMOCODE 2004: 147-150
57		Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
56		Zoltán Füredi, Robert P. Kurshan: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1): 191-208 (2004)
	2003
55		Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
54		Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48
	2002
53		Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
52		Robert P. Kurshan: Model Checking and Abstraction. SARA 2002: 1-17
51		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
	2001
50		Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV 2001: 387-390
49		Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
48		Natasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332
47		R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods in System Design 18(2): 131-140 (2001)
46		Orna Grumberg, Robert P. Kurshan: Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001)
	2000
45		Kedar S. Namjoshi, Robert P. Kurshan: Syntactic Program Transformations for Automatic Abstraction. CAV 2000: 435-449
44		Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
43		Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
42		Robert P. Kurshan: The Evolution of Commercial Formal Verification. PDPTA 2000
	1999
41		Kedar S. Namjoshi, Robert P. Kurshan: Efficient Analysis of Cyclic Definitions. CAV 1999: 394-405
40		Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. Formal Methods in System Design 15(3): 175-199 (1999)
	1998
39		Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. IEEE Real-Time Systems Symposium 1998: 254-263
38		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
	1997
37		Carlos M. Roman, Gary De Palma, Robert P. Kurshan: Model checking without hardware drivers. CHARME 1997: 127
36		Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340
35		Robert P. Kurshan: Formal Verification in a Commercial Setting. DAC 1997: 258-262
34		Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247
33		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
	1996
32		Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562
	1995
31		Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. CAV 1995: 339-352
30		Rajeev Alur, Robert P. Kurshan: Timing Analysis in COSPAN. Hybrid Systems 1995: 220-231
29		Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes Inf. Comput. 117(1): 1-11 (1995)
28		Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan: Testing Language Containment for omega-Automata Using BDD's Inf. Comput. 118(1): 101-109 (1995)
27		Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation Inf. Comput. 118(1): 142-157 (1995)
	1994
26		Robert P. Kurshan: Models Whose Checks Don't Explode. CAV 1994: 222-233
25		Orna Grumberg, Robert P. Kurshan: How Linear Can Branching-Time Be? ICTL 1994: 180-194
24		Robert P. Kurshan: The complexity of verification. STOC 1994: 365-371
23		Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. Formal Methods in System Design 5(3): 227-244 (1994)
	1993
22		Robert P. Kurshan, Leslie Lamport: Verification of a Multiplier: 64 Bits and Beyond. CAV 1993: 166-179
21		Ramin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58
20		Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. CAV 1993: 491-504
19		Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan: A Unified Approach to Language Containment and Fair CTL Model Checking. DAC 1993: 475-481
18		Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan: A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. Inf. Process. Lett. 46(6): 301-308 (1993)
	1992
17		Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. CAV 1992: 137-150
16		Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
15		Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. 2(5): 605-618 (1992)
	1991
14		Edmund M. Clarke, Robert P. Kurshan: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings Springer 1991
13		Robert P. Kurshan, Kenneth L. McMillan: Analysis of digital circuits through symbolic reduction. IEEE Trans. on CAD of Integrated Circuits and Systems 10(11): 1356-1371 (1991)
	1990
12		Edmund M. Clarke, Anca Browne, Robert P. Kurshan: A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. CAAP 1990: 103-116
11		Christian H. Golaszewski, Robert P. Kurshan: Task-Driven Supervisory Control of Discrete Event Systems. CAV 1990: 282-291
	1989
10		Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik 1989: 81-90
9		Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. PODC 1989: 239-247
8		Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon: Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386
7		Robert P. Kurshan: Analysis of Discrete Event Coordination. REX Workshop 1989: 414-453
	1987
6		Robert P. Kurshan: Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. 35(1): 59-71 (1987)
	1984
5		S. Aggarwal, Robert P. Kurshan: Automated Implementation from Formal Specification. PSTV 1984: 127-136
	1983
4		S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34
3		S. Aggarwal, Robert P. Kurshan, D. Sharma: A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification 1983: 35-50
2		S. Aggarwal, Robert P. Kurshan: Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification 1983: 51-62
	1972
1		Robert P. Kurshan, N. J. A. Sloane: Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces Information and Control 20(5): 410-414 (1972)

Coauthor Index

1	S. Aggarwal	[2] [3] [4] [5]
2	Rajeev Alur	[17] [27] [30] [32] [39]
3	Nina Amla	[43] [50] [54] [61]
4	Robert K. Brayton	[16] [19] [21] [28] [32]
5	Anca Browne (I. A. Draghicescu)	[12] [18]
6	James C. Browne	[48] [55] [57] [59]
7	Hana Chockler	[49]
8	Edmund M. Clarke	[10] [12] [14] [15] [18]
9	Xiaoqun Du	[61]
10	E. Allen Emerson	[43] [50]
11	Kathi Fisler	[34]
12	Zoltán Füredi	[56]
13	Christian H. Golaszewski	[11]
14	Orna Grumberg	[10] [15] [25] [46]
15	Elsa L. Gunter	[44]
16	R. H. Hardin	[47]
17	Ramin Hojati	[16] [19] [21]
18	Alon Itai	[17] [27]
19	HoonSang Jin	[63]
20	Hyondeuk Kim	[63]
21	Andreas Kuehlmann	[61]
22	Orna Kupferman	[36] [49]
23	Leslie Lamport	[22]
24	Vladimir Levin	[33] [38] [51] [53] [57] [59]
25	Kenneth L. McMillan	[9] [13] [29] [54] [61]
26	Ricardo Medel	[54]
27	Michael Merritt	[20] [23] [31] [40]
28	Marius Minea	[33] [38] [51]
29	Kedar S. Namjoshi	[41] [43] [45] [50]
30	Ariel Orda	[20] [23] [31] [40]
31	Gary De Palma	[37]
32	Doron Peled	[33] [38] [44] [51]
33	John Pierce	[63]
34	Shlomit S. Pinter	[8]
35	Kavita Ravi	[63]
36	Carlos M. Roman	[37]
37	Krishan K. Sabnani	[4]
38	Sonia R. Sachs	[20] [23] [31] [40]
39	D. Sharma	[3]
40	Natasha Sharygina	[48] [57]
41	Thomas R. Shiple	[19]
42	Sandeep K. Shukla	[47]
43	Neil J. A. Sloane (N. J. A. Sloane)	[1]
44	Baruch Solomon	[8]
45	Fabio Somenzi	[63]
46	Petr Spacek	[63]
47	Serdar Tasiran	[32]
48	Hervé J. Touati	[16] [28]
49	Moshe Y. Vardi	[47] [49]
50	Mahesh Viswanathan	[39]
51	Fei Xie	[55] [57] [59]
52	Mihalis Yannakakis	[17] [27] [36]
53	Hüsnü Yenigün	[33] [38] [51] [53]

Colors in the list of coauthors