Robert P. Kurshan

Edmund M. Clarke, Robert P. Kurshan, Helmut Veith: The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli 2010: 61-71

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

Robert P. Kurshan: Verification Technology Transfer. 25 Years of Model Checking 2008: 46-64

Robert P. Kurshan: Scaling Commercial Verification to Larger Systems. Haifa Verification Conference 2007: 8-13

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

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)

Zoltán Füredi, Robert P. Kurshan: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1): 191-208 (2004)

Robert P. Kurshan: Evolution of Model Checking into the EDA Industry. ATVA 2004: 2-6

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338

Robert P. Kurshan: Formal verification as a technology transfer problem. MEMOCODE 2004: 147-150

Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599

Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48

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)

Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581

Robert P. Kurshan: Model Checking and Abstraction. SARA 2002: 1-17

Ronald 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)

Orna Grumberg, Robert P. Kurshan: Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001)

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78

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

Natasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332

Kedar S. Namjoshi, Robert P. Kurshan: Syntactic Program Transformations for Automatic Abstraction. CAV 2000: 435-449

Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298

Robert P. Kurshan: The Evolution of Commercial Formal Verification. PDPTA 2000

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)

Kedar S. Namjoshi, Robert P. Kurshan: Efficient Analysis of Cyclic Definitions. CAV 1999: 394-405

Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. RTSS 1998: 254-263

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357

Carlos M. Roman, Gary De Palma, Robert P. Kurshan: Model checking without hardware drivers. CHARME 1997: 127

Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340

Robert P. Kurshan: Formal Verification in a Commercial Setting. DAC 1997: 258-262

Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749

Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562

Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. Inf. Comput. 117(1): 1-11 (1995)

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)

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. Inf. Comput. 118(1): 142-157 (1995)

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. CAV 1995: 339-352

Rajeev Alur, Robert P. Kurshan: Timing Analysis in COSPAN. Hybrid Systems 1995: 220-231

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)

Robert P. Kurshan: Models Whose Checks Don't Explode. CAV 1994: 222-233

Orna Grumberg, Robert P. Kurshan: How Linear Can Branching-Time Be? ICTL 1994: 180-194

Robert P. Kurshan: The complexity of verification. STOC 1994: 365-371

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)

Ramin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58

Robert P. Kurshan, Leslie Lamport: Verification of a Multiplier: 64 Bits and Beyond. CAV 1993: 166-179

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. CAV 1993: 491-504

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

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)

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. CAV 1992: 137-150

Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409

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)

Edmund M. Clarke, Robert P. Kurshan (Eds.): Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Lecture Notes in Computer Science 531, Springer 1991, isbn 3-540-54477-1

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

Christian H. Golaszewski, Robert P. Kurshan: Task-Driven Supervisory Control of Discrete Event Systems. CAV 1990: 282-291

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

Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. PODC 1989: 239-247

Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon: Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386

Robert P. Kurshan: Analysis of Discrete Event Coordination. REX Workshop 1989: 414-453

Robert P. Kurshan: Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. 35(1): 59-71 (1987)

S. Aggarwal, Robert P. Kurshan: Automated Implementation from Formal Specification. PSTV 1984: 127-136

S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34

S. Aggarwal, Robert P. Kurshan, D. Sharma: A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification 1983: 35-50

S. Aggarwal, Robert P. Kurshan: Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification 1983: 51-62

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)