Robert P. Kurshan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
15
Active years
1989–2008
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CAV | 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 |
| 2004 | ATVA | Evolution of Model Checking into the EDA Industry. | Robert P. Kurshan |
| 2004 | FASE | Translating Software Designs for Model Checking. | Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne |
| 2004 | MEMOCODE | Formal verification as a technology transfer problem. | Robert P. Kurshan |
| 2003 | FM | Translation-Based Compositional Reasoning for Software Systems. | Fei Xie, James C. Browne, Robert P. Kurshan |
| 2003 | TACAS | Experimental Analysis of Different Techniques for Bounded Model Checking. | Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel |
| 2002 | CAV | Compressing Transitions for Model Checking. | Robert P. Kurshan, Vladimir Levin, Hsn Yenign |
| 2001 | CAV | Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. | Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi |
| 2001 | CAV | A Practical Approach to Coverage in Model Checking. | Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi |
| 2001 | FASE | A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. | Natasha Sharygina, James C. Browne, Robert P. Kurshan |
| 2000 | CAV | PET: An Interactive Software Testing Tool. | Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled |
| 2000 | CAV | Syntactic Program Transformations for Automatic Abstraction. | Kedar S. Namjoshi, Robert P. Kurshan |
| 2000 | FMCAD | Model Checking Synchronous Timing Diagrams. | Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi |
| 2000 | PDPTA | The Evolution of Commercial Formal Verification. | Robert P. Kurshan |
| 1999 | CAV | Efficient Analysis of Cyclic Definitions. | Kedar S. Namjoshi, Robert P. Kurshan |
| 1998 | RTSS | Membership Questions for Timed and Hybrid Automata. | Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan |
| 1998 | TACAS | Static Partial Order Reduction. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | CSL | Existence of Reduction Hierarchies. | Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis |
| 1997 | DAC | Formal Verification in a Commercial Setting. | Robert P. Kurshan |
| 1997 | ICCAD | Verifying hardware in its software context. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1996 | CONCUR | Verifying Abstractions of Timed Systems. | Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |
| 1995 | CAV | Modelling Asynchrony with a Synchronous Model. | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1994 | CAV | Models Whose Checks Don't Explode. | Robert P. Kurshan |
| 1994 | STOC | The complexity of verification. | Robert P. Kurshan |
| 1993 | CAV | BDD-Based Debugging Of Design Using Language Containment and Fair CTL. | Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
| 1993 | CAV | Verification of a Multiplier: 64 Bits and Beyond. | Robert P. Kurshan, Leslie Lamport |
| 1993 | CAV | A Structural Linearization Principle for Processes. | Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs |
| 1993 | DAC | A Unified Approach to Language Containment and Fair CTL Model Checking. | Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan |
| 1992 | CAV | Timing Verification by Successive Approximation. | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
| 1992 | CAV | Efficient | Ramin Hojati, Herv J. Touati, Robert P. Kurshan, Robert K. Brayton |
| 1990 | CAV | Task-Driven Supervisory Control of Discrete Event Systems. | Christian H. Golaszewski, Robert P. Kurshan |
| 1989 | PODC | A Structural Induction Theorem for Processes. | Robert P. Kurshan, Kenneth L. McMillan |