B.S.T.J. brief: All terminal bubbles programs yield the elementary symmetric polynomials. - Robert P. Kurshan (Bell Syst. Tech. J., 1970)

Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces - Robert P. Kurshan; Neil J. A. Sloane (Inf. Control., 1972)

A touch-tone® receiver-generator with digital channel filters. - B. Gopinath; Robert P. Kurshan (Bell Syst. Tech. J., 1976)

Digital single-tone generator-detectors. - Robert P. Kurshan; B. Gopinath (Bell Syst. Tech. J., 1976)

Modelling Elapsed Time in Protocol Specification. - S. Aggarwal; Robert P. Kurshan (Protocol Specification, Testing, and Verification, 1983)

A Calculus for Protocol Specification and Validation. - Sudhir Aggarwal; Robert P. Kurshan; Krishan K. Sabnani (Protocol Specification, Testing, and Verification, 1983)

A Language for the Specification and Analysis of Protocols. - S. Aggarwal; Robert P. Kurshan; D. Sharma (Protocol Specification, Testing, and Verification, 1983)

Automated Implementation from Formal Specification. - S. Aggarwal; Robert P. Kurshan (PSTV, 1984)

Tone location by cyclotomic filters. - David Hertz; Robert P. Kurshan; David Malah; John T. Peoples (AT&T Tech. J., 1985)

Proposed specification of BX.25 link layer protocol. - Robert P. Kurshan (AT&T Tech. J., 1985)

Complementing Deterministic Büchi Automata in Polynomial Time. - Robert P. Kurshan (J. Comput. Syst. Sci., 1987)

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

Analysis of Discrete Event Coordination. - Robert P. Kurshan (REX Workshop, 1989)

A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. - Edmund M. Clarke; Anca Browne; Robert P. Kurshan (CAAP, 1990)

Task-Driven Supervisory Control of Discrete Event Systems. - Christian H. Golaszewski; Robert P. Kurshan (CAV, 1990)

Preface. - Edmund M. Clarke; Robert P. Kurshan (CAV (DIMACS/AMS volume), 1990)

Analysis of digital circuits through symbolic reduction. - Robert P. Kurshan; Kenneth L. McMillan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

Efficient omega-Regular Language Containment. - Ramin Hojati; Hervé J. Touati; Robert P. Kurshan; Robert K. Brayton (CAV, 1992)

A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. - Edmund M. Clarke; Orna Grumberg; Robert P. Kurshan (J. Log. Comput., 1992)

BDD-Based Debugging Of Design Using Language Containment and Fair CTL. - Ramin Hojati; Robert K. Brayton; Robert P. Kurshan (CAV, 1993)

Verification of a Multiplier: 64 Bits and Beyond. - Robert P. Kurshan; Leslie Lamport (CAV, 1993)

A Unified Approach to Language Containment and Fair CTL Model Checking. - Ramin Hojati; Thomas R. Shiple; Robert K. Brayton; Robert P. Kurshan (DAC, 1993)

A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. - Edmund M. Clarke; I. A. Draghicescu; Robert P. Kurshan (Inf. Process. Lett., 1993)

Models Whose Checks Don't Explode. - Robert P. Kurshan (CAV, 1994)

How Linear Can Branching-Time Be? - Orna Grumberg; Robert P. Kurshan (ICTL, 1994)

The complexity of verification. - Robert P. Kurshan (STOC, 1994)

A Structural Linearization Principle for Processes. - Robert P. Kurshan; Michael Merritt; Ariel Orda; Sonia R. Sachs (Formal Methods Syst. Des., 1994)

Timing Analysis in COSPAN. - Rajeev Alur; Robert P. Kurshan (Hybrid Systems, 1995)

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

Timing Verification by Successive Approximation - Rajeev Alur; Alon Itai; Robert P. Kurshan; Mihalis Yannakakis (Inf. Comput., 1995)

Testing Language Containment for omega-Automata Using BDD's - Hervé J. Touati; Robert K. Brayton; Robert P. Kurshan (Inf. Comput., 1995)

Verifying Abstractions of Timed Systems. - Serdar Tasiran; Rajeev Alur; Robert P. Kurshan; Robert K. Brayton (CONCUR, 1996)

Model checking without hardware drivers. - Carlos M. Roman; Gary De Palma; Robert P. Kurshan (CHARME, 1997)

Existence of Reduction Hierarchies. - Orna Kupferman; Robert P. Kurshan; Mihalis Yannakakis (CSL, 1997)

Formal Verification in a Commercial Setting. - Robert P. Kurshan (DAC, 1997)

Verifying VHDL Designs with COSPAN. - Kathi Fisler; Robert P. Kurshan (Formal Hardware Verification, 1997)

Verifying hardware in its software context. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (ICCAD, 1997)

Membership Questions for Timed and Hybrid Automata. - Rajeev Alur; Robert P. Kurshan; Mahesh Viswanathan 001 (RTSS, 1998)

Static Partial Order Reduction. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (TACAS, 1998)

Efficient Analysis of Cyclic Definitions. - Kedar S. Namjoshi; Robert P. Kurshan (CAV, 1999)

Modelling Asynchrony with a Synchronous Model. - Robert P. Kurshan; Michael Merritt; Ariel Orda; Sonia R. Sachs (Formal Methods Syst. Des., 1999)

PET: An Interactive Software Testing Tool. - Elsa L. Gunter; Robert P. Kurshan; Doron A. Peled (CAV, 2000)

Syntactic Program Transformations for Automatic Abstraction. - Kedar S. Namjoshi; Robert P. Kurshan (CAV, 2000)

Model Checking Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (FMCAD, 2000)

The Evolution of Commercial Formal Verification. - Robert P. Kurshan (PDPTA, 2000)

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (CAV, 2001)

A Practical Approach to Coverage in Model Checking. - Hana Chockler; Orna Kupferman; Robert P. Kurshan; Moshe Y. Vardi (CAV, 2001)

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

A New Heuristic for Bad Cycle Detection Using BDDs. - Ronald H. Hardin; Robert P. Kurshan; Sandeep K. Shukla; Moshe Y. Vardi (Formal Methods Syst. Des., 2001)

Which Branching-Time Properties are Effectively Linear? - Orna Grumberg; Robert P. Kurshan (J. Log. Comput., 2001)

Compressing Transitions for Model Checking. - Robert P. Kurshan; Vladimir Levin; Hüsnü Yenigün (CAV, 2002)

Model Checking and Abstraction. - Robert P. Kurshan (SARA, 2002)

Combining Software and Hardware Verification Techniques. - Robert P. Kurshan; Vladimir Levin; Marius Minea; Doron A. Peled; Hüsnü Yenigün (Formal Methods Syst. Des., 2002)

Translation-Based Compositional Reasoning for Software Systems. - Fei Xie; James C. Browne; Robert P. Kurshan (FME, 2003)

Experimental Analysis of Different Techniques for Bounded Model Checking. - Nina Amla; Robert P. Kurshan; Kenneth L. McMillan; Ricardo H. Medel (TACAS, 2003)

Evolution of Model Checking into the EDA Industry. - Robert P. Kurshan (ATVA, 2004)

Translating Software Designs for Model Checking. - Fei Xie; Vladimir Levin; Robert P. Kurshan; James C. Browne (FASE, 2004)

Formal verification as a technology transfer problem. - Robert P. Kurshan (MEMOCODE, 2004)

Lessons Learned from Model Checking a NASA Robot Controller. - Natasha Sharygina; James C. Browne; Fei Xie; Robert P. Kurshan; Vladimir Levin (Formal Methods Syst. Des., 2004)

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

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. - Nina Amla; Xiaoqun Du; Andreas Kuehlmann; Robert P. Kurshan; Kenneth L. McMillan (CHARME, 2005)

Scaling Commercial Verification to Larger Systems. - Robert P. Kurshan (Haifa Verification Conference, 2007)

Application of Formal Word-Level Analysis to Constrained Random Simulation. - Hyondeuk Kim; HoonSang Jin; Kavita Ravi; Petr Spacek; John Pierce; Robert P. Kurshan; Fabio Somenzi (CAV, 2008)

Verification Technology Transfer. - Robert P. Kurshan (25 Years of Model Checking, 2008)

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

A methodology to take credit for high-level verification during RTL verification. - Frederic Doucet; Robert P. Kurshan (Formal Methods Syst. Des., 2017)

Transfer of Model Checking to Industrial Practice. - Robert P. Kurshan (Handbook of Model Checking, 2018)