The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert P. Kurshan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert P. Kurshan
    Evolution of Model Checking into the EDA Industry. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:2-6 [Conf]
  2. Edmund M. Clarke, Anca Browne, Robert P. Kurshan
    A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:103-116 [Conf]
  3. Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
    Timing Verification by Successive Approximation. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:137-150 [Conf]
  4. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:387-390 [Conf]
  5. Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
    A Practical Approach to Coverage in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:66-78 [Conf]
  6. Christian H. Golaszewski, Robert P. Kurshan
    Task-Driven Supervisory Control of Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:282-291 [Conf]
  7. Elsa L. Gunter, Robert P. Kurshan, Doron Peled
    PET: An Interactive Software Testing Tool. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:552-556 [Conf]
  8. Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
    BDD-Based Debugging Of Design Using Language Containment and Fair CTL. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:41-58 [Conf]
  9. Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
    Efficient omega-Regular Language Containment. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:396-409 [Conf]
  10. Robert P. Kurshan
    Models Whose Checks Don't Explode. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:222-233 [Conf]
  11. Robert P. Kurshan, Leslie Lamport
    Verification of a Multiplier: 64 Bits and Beyond. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:166-179 [Conf]
  12. Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
    Compressing Transitions for Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:569-581 [Conf]
  13. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
    A Structural Linearization Principle for Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:491-504 [Conf]
  14. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
    Modelling Asynchrony with a Synchronous Model. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:339-352 [Conf]
  15. Kedar S. Namjoshi, Robert P. Kurshan
    Syntactic Program Transformations for Automatic Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:435-449 [Conf]
  16. Kedar S. Namjoshi, Robert P. Kurshan
    Efficient Analysis of Cyclic Definitions. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:394-405 [Conf]
  17. Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
    An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:254-268 [Conf]
  18. Carlos M. Roman, Gary De Palma, Robert P. Kurshan
    Model checking without hardware drivers. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:127- [Conf]
  19. Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
    Verifying Abstractions of Timed Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:546-562 [Conf]
  20. Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
    Existence of Reduction Hierarchies. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:327-340 [Conf]
  21. Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
    A Unified Approach to Language Containment and Fair CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:475-481 [Conf]
  22. Robert P. Kurshan
    Formal Verification in a Commercial Setting. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:258-262 [Conf]
  23. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
    A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:81-90 [Conf]
  24. Natasha Sharygina, James C. Browne, Robert P. Kurshan
    A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:318-332 [Conf]
  25. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
    Translating Software Designs for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:324-338 [Conf]
  26. Kathi Fisler, Robert P. Kurshan
    Verifying VHDL Designs with COSPAN. [Citation Graph (0, 0)][DBLP]
    Formal Hardware Verification, 1997, pp:206-247 [Conf]
  27. Fei Xie, James C. Browne, Robert P. Kurshan
    Translation-Based Compositional Reasoning for Software Systems. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:582-599 [Conf]
  28. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Model Checking Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:283-298 [Conf]
  29. Rajeev Alur, Robert P. Kurshan
    Timing Analysis in COSPAN. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:220-231 [Conf]
  30. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Verifying hardware in its software context. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1997, pp:742-749 [Conf]
  31. Orna Grumberg, Robert P. Kurshan
    How Linear Can Branching-Time Be? [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:180-194 [Conf]
  32. S. Aggarwal, Robert P. Kurshan
    Modelling Elapsed Time in Protocol Specification. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:51-62 [Conf]
  33. S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
    A Calculus for Protocol Specification and Validation. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:19-34 [Conf]
  34. S. Aggarwal, Robert P. Kurshan, D. Sharma
    A Language for the Specification and Analysis of Protocols. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:35-50 [Conf]
  35. Robert P. Kurshan
    Formal verification as a technology transfer problem. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:147-150 [Conf]
  36. Robert P. Kurshan
    The Evolution of Commercial Formal Verification. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  37. Robert P. Kurshan, Kenneth L. McMillan
    A Structural Induction Theorem for Processes. [Citation Graph (0, 0)][DBLP]
    PODC, 1989, pp:239-247 [Conf]
  38. S. Aggarwal, Robert P. Kurshan
    Automated Implementation from Formal Specification. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:127-136 [Conf]
  39. Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon
    Extensions of Temporal Logic for Counting with Applications to Model Verification. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:373-386 [Conf]
  40. Robert P. Kurshan
    Analysis of Discrete Event Coordination. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:414-453 [Conf]
  41. Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
    Membership Questions for Timed and Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:254-263 [Conf]
  42. Robert P. Kurshan
    Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP]
    SARA, 2002, pp:1-17 [Conf]
  43. Robert P. Kurshan
    The complexity of verification. [Citation Graph (0, 0)][DBLP]
    STOC, 1994, pp:365-371 [Conf]
  44. Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel
    Experimental Analysis of Different Techniques for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:34-48 [Conf]
  45. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Static Partial Order Reduction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:345-357 [Conf]
  46. R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
    A New Heuristic for Bad Cycle Detection Using BDDs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:131-140 [Journal]
  47. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün
    Combining Software and Hardware Verification Techniques. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:3, pp:251-280 [Journal]
  48. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
    Lessons Learned from Model Checking a NASA Robot Controller. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:241-270 [Journal]
  49. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
    A Structural Linearization Principle for Processes. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1994, v:5, n:3, pp:227-244 [Journal]
  50. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
    Modelling Asynchrony with a Synchronous Model. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:3, pp:175-199 [Journal]
  51. Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
    Timing Verification by Successive Approximation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:142-157 [Journal]
  52. Robert P. Kurshan, Kenneth L. McMillan
    A Structural Induction Theorem for Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:117, n:1, pp:1-11 [Journal]
  53. Robert P. Kurshan, N. J. A. Sloane
    Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces [Citation Graph (0, 0)][DBLP]
    Information and Control, 1972, v:20, n:5, pp:410-414 [Journal]
  54. Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
    Testing Language Containment for omega-Automata Using BDD's [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:101-109 [Journal]
  55. Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan
    A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:46, n:6, pp:301-308 [Journal]
  56. Robert P. Kurshan
    Complementing Deterministic Büchi Automata in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:35, n:1, pp:59-71 [Journal]
  57. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
    A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:5, pp:605-618 [Journal]
  58. Orna Grumberg, Robert P. Kurshan
    Which Branching-Time Properties are Effectively Linear? [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:2, pp:201-228 [Journal]
  59. Robert P. Kurshan, Kenneth L. McMillan
    Analysis of digital circuits through symbolic reduction. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1991, v:10, n:11, pp:1356-1371 [Journal]
  60. Zoltán Füredi, Robert P. Kurshan
    Minimal length test vectors for multiple-fault detection. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:191-208 [Journal]

  61. The Localization Reduction and Counterexample-Guided Abstraction Refinement. [Citation Graph (, )][DBLP]


  62. Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP]


  63. Scaling Commercial Verification to Larger Systems. [Citation Graph (, )][DBLP]


  64. Verification Technology Transfer. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002