Robert P. Kurshan

Publication Activity (10 Years)

Years Active: 1970-2010
Publications (10 Years): 0

Publications

Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli (2010)
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)
Robert P. Kurshan
Verification Technology Transfer. 25 Years of Model Checking (2008)
Robert P. Kurshan
Scaling Commercial Verification to Larger Systems. Haifa Verification Conference (2007)
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)
Zoltán Füredi, Robert P. Kurshan
Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315 (1) (2004)
Robert P. Kurshan
Formal verification as a technology transfer problem. MEMOCODE (2004)
Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods Syst. Des. 25 (2-3) (2004)
Robert P. Kurshan
Evolution of Model Checking into the EDA Industry. ATVA (2004)
Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
Translating Software Designs for Model Checking. FASE (2004)
Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel
Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS (2003)
Fei Xie, James C. Browne, Robert P. Kurshan
Translation-Based Compositional Reasoning for Software Systems. FME (2003)
Robert P. Kurshan
Model Checking and Abstraction. SARA (2002)
Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
Compressing Transitions for Model Checking. CAV (2002)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21 (3) (2002)
Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
A Practical Approach to Coverage in Model Checking. CAV (2001)
Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods Syst. Des. 18 (2) (2001)
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)
Orna Grumberg, Robert P. Kurshan
Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11 (2) (2001)
Natasha Sharygina, James C. Browne, Robert P. Kurshan
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE (2001)
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
Model Checking Synchronous Timing Diagrams. FMCAD (2000)
Robert P. Kurshan
The Evolution of Commercial Formal Verification. PDPTA (2000)
Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled
PET: An Interactive Software Testing Tool. CAV (2000)
Kedar S. Namjoshi, Robert P. Kurshan
Syntactic Program Transformations for Automatic Abstraction. CAV (2000)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
Modelling Asynchrony with a Synchronous Model. Formal Methods Syst. Des. 15 (3) (1999)
Kedar S. Namjoshi, Robert P. Kurshan
Efficient Analysis of Cyclic Definitions. CAV (1999)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Static Partial Order Reduction. TACAS (1998)
Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
Membership Questions for Timed and Hybrid Automata. RTSS (1998)
Robert P. Kurshan
Formal Verification in a Commercial Setting. DAC (1997)
Kathi Fisler, Robert P. Kurshan
Verifying VHDL Designs with COSPAN. Formal Hardware Verification (1997)
Carlos M. Roman, Gary De Palma, Robert P. Kurshan
Model checking without hardware drivers. CHARME (1997)
Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
Existence of Reduction Hierarchies. CSL (1997)
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
Verifying hardware in its software context. ICCAD (1997)
Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
Verifying Abstractions of Timed Systems. CONCUR (1996)
Rajeev Alur, Robert P. Kurshan
Timing Analysis in COSPAN. Hybrid Systems (1995)
Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
Timing Verification by Successive Approximation Inf. Comput. 118 (1) (1995)
Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
Testing Language Containment for omega-Automata Using BDD's Inf. Comput. 118 (1) (1995)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
Modelling Asynchrony with a Synchronous Model. CAV (1995)
Robert P. Kurshan, Kenneth L. McMillan
A Structural Induction Theorem for Processes Inf. Comput. 117 (1) (1995)
Robert P. Kurshan
Models Whose Checks Don't Explode. CAV (1994)
Orna Grumberg, Robert P. Kurshan
How Linear Can Branching-Time Be? ICTL (1994)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
A Structural Linearization Principle for Processes. Formal Methods Syst. Des. 5 (3) (1994)
Robert P. Kurshan
The complexity of verification. STOC (1994)
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) (1993)
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
A Structural Linearization Principle for Processes. CAV (1993)
Robert P. Kurshan, Leslie Lamport
Verification of a Multiplier: 64 Bits and Beyond. CAV (1993)
Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
A Unified Approach to Language Containment and Fair CTL Model Checking. DAC (1993)
Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV (1993)
Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
Timing Verification by Successive Approximation. CAV (1992)
Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
-Regular Language Containment. CAV (1992)
Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. 2 (5) (1992)
Robert P. Kurshan, Kenneth L. McMillan
Analysis of digital circuits through symbolic reduction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10 (11) (1991)
Edmund M. Clarke, Robert P. Kurshan
Preface. CAV (DIMACS/AMS volume) (1990)
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)
Christian H. Golaszewski, Robert P. Kurshan
Task-Driven Supervisory Control of Discrete Event Systems. CAV (1990)
Robert P. Kurshan
Analysis of Discrete Event Coordination. REX Workshop (1989)
Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon
Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV (1989)
Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik (1989)
Robert P. Kurshan, Kenneth L. McMillan
A Structural Induction Theorem for Processes. PODC (1989)
Robert P. Kurshan
Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. 35 (1) (1987)
Robert P. Kurshan
Proposed specification of BX.25 link layer protocol. AT&T Tech. J. 64 (2) (1985)
David Hertz, Robert P. Kurshan, David Malah, John T. Peoples
Tone location by cyclotomic filters. AT&T Tech. J. 64 (6) (1985)
S. Aggarwal, Robert P. Kurshan
Automated Implementation from Formal Specification. PSTV (1984)
S. Aggarwal, Robert P. Kurshan
Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification (1983)
S. Aggarwal, Robert P. Kurshan, D. Sharma
A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification (1983)
Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification (1983)
Robert P. Kurshan, B. Gopinath
Digital single-tone generator-detectors. Bell Syst. Tech. J. 55 (4) (1976)
B. Gopinath, Robert P. Kurshan
A touch-tone® receiver-generator with digital channel filters. Bell Syst. Tech. J. 55 (4) (1976)
Robert P. Kurshan, Neil J. A. Sloane
Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces Inf. Control. 20 (5) (1972)
Robert P. Kurshan
B.S.T.J. brief: All terminal bubbles programs yield the elementary symmetric polynomials. Bell Syst. Tech. J. 49 (8) (1970)