Robert P. Kurshan

According to our database, Robert P. Kurshan authored at least 67 papers between 1970 and 2018.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of two.

2018

Transfer of Model Checking to Industrial Practice.

Robert P. Kurshan

Proceedings of the Handbook of Model Checking., 2018

2017

A methodology to take credit for high-level verification during RTL verification.

Frederic Doucet, Robert P. Kurshan

Formal Methods Syst. Des., 2017

2010

The Localization Reduction and Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Robert P. Kurshan, Helmut Veith

Proceedings of the Time for Verification, 2010

2008

Verification Technology Transfer.

Robert P. Kurshan

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Scaling Commercial Verification to Larger Systems.

Robert P. Kurshan

Proceedings of the Hardware and Software: Verification and Testing, 2007

2005

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment.

Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Minimal length test vectors for multiple-fault detection.

Zoltán Füredi, Robert P. Kurshan

Theor. Comput. Sci., 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

Formal verification as a technology transfer problem.

Robert P. Kurshan

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Translating Software Designs for Model Checking.

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Evolution of Model Checking into the EDA Industry.

Robert P. Kurshan

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Experimental Analysis of Different Techniques for Bounded Model Checking.

Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Translation-Based Compositional Reasoning for Software Systems.

Fei Xie, James C. Browne, Robert P. Kurshan

Proceedings of the FME 2003: Formal Methods, 2003

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

Model Checking and Abstraction.

Robert P. Kurshan

Proceedings of the Abstraction, 2002

Compressing Transitions for Model Checking.

Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Which Branching-Time Properties are Effectively Linear?

Orna Grumberg, Robert P. Kurshan

J. Log. Comput., 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

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification.

Natasha Sharygina, James C. Browne, Robert P. Kurshan

Proceedings of the Fundamental Approaches to Software Engineering, 2001

A Practical Approach to Coverage in Model Checking.

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

The Evolution of Commercial Formal Verification.

Robert P. Kurshan

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Model Checking Synchronous Timing Diagrams.

Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Syntactic Program Transformations for Automatic Abstraction.

Kedar S. Namjoshi, Robert P. Kurshan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

PET: An Interactive Software Testing Tool.

Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Modelling Asynchrony with a Synchronous Model.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1999

Efficient Analysis of Cyclic Definitions.

Kedar S. Namjoshi, Robert P. Kurshan

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Static Partial Order Reduction.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Membership Questions for Timed and Hybrid Automata.

Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1997

Verifying hardware in its software context.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Verifying VHDL Designs with COSPAN.

Kathi Fisler, Robert P. Kurshan

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

Formal Verification in a Commercial Setting.

Robert P. Kurshan

Proceedings of the 34st Conference on Design Automation, 1997

Existence of Reduction Hierarchies.

Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

Model checking without hardware drivers.

Carlos M. Roman, Gary De Palma, Robert P. Kurshan

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Verifying Abstractions of Timed Systems.

Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton

Proceedings of the CONCUR '96, 1996

1995

Testing Language Containment for omega-Automata Using BDD's

Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan

Inf. Comput., April, 1995

Timing Verification by Successive Approximation

Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis

Inf. Comput., April, 1995

A Structural Induction Theorem for Processes

Robert P. Kurshan, Kenneth L. McMillan

Inf. Comput., February, 1995

Timing Analysis in COSPAN.

Rajeev Alur, Robert P. Kurshan

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

A Structural Linearization Principle for Processes.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1994

The complexity of verification.

Robert P. Kurshan

Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 1994

How Linear Can Branching-Time Be?

Orna Grumberg, Robert P. Kurshan

Proceedings of the Temporal Logic, First International Conference, 1994

Models Whose Checks Don't Explode.

Robert P. Kurshan

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

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

A Unified Approach to Language Containment and Fair CTL Model Checking.

Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan

Proceedings of the 30th Design Automation Conference. Dallas, 1993

Verification of a Multiplier: 64 Bits and Beyond.

Robert P. Kurshan, Leslie Lamport

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

BDD-Based Debugging Of Design Using Language Containment and Fair CTL.

Ramin Hojati, Robert K. Brayton, Robert P. Kurshan

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems.

Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan

J. Log. Comput., 1992

Efficient <i>omega</i>-Regular Language Containment.

Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Analysis of digital circuits through symbolic reduction.

Robert P. Kurshan, Kenneth L. McMillan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

1990

Preface.

Edmund M. Clarke, Robert P. Kurshan

Proceedings of the Computer-Aided Verification, 1990

Task-Driven Supervisory Control of Discrete Event Systems.

Christian H. Golaszewski, Robert P. Kurshan

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.

Edmund M. Clarke, Anca Browne, Robert P. Kurshan

Proceedings of the CAAP '90, 1990

1989

Analysis of Discrete Event Coordination.

Robert P. Kurshan

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Extensions of Temporal Logic for Counting with Applications to Model Verification.

Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon

Proceedings of the Protocol Specification, 1989

1987

Complementing Deterministic Büchi Automata in Polynomial Time.

Robert P. Kurshan

J. Comput. Syst. Sci., 1987

1985

Proposed specification of BX.25 link layer protocol.

Robert P. Kurshan

AT&T Tech. J., 1985

Tone location by cyclotomic filters.

David Hertz, Robert P. Kurshan, David Malah, John T. Peoples

AT&T Tech. J., 1985

1984

Automated Implementation from Formal Specification.

S. Aggarwal, Robert P. Kurshan

Proceedings of the Protocol Specification, 1984

1983

A Language for the Specification and Analysis of Protocols.

S. Aggarwal, Robert P. Kurshan, D. Sharma

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

A Calculus for Protocol Specification and Validation.

Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

Modelling Elapsed Time in Protocol Specification.

S. Aggarwal, Robert P. Kurshan

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1976

Digital single-tone generator-detectors.

Robert P. Kurshan, B. Gopinath

Bell Syst. Tech. J., 1976

A touch-tone® receiver-generator with digital channel filters.

B. Gopinath, Robert P. Kurshan

Bell Syst. Tech. J., 1976

1972

Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces

Robert P. Kurshan, Neil J. A. Sloane

Inf. Control., June, 1972

1970

B.S.T.J. brief: All terminal bubbles programs yield the elementary symmetric polynomials.

Robert P. Kurshan

Bell Syst. Tech. J., 1970