Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Robert P. Kurshan
2010 – today
- 2010
[c49]Edmund M. Clarke, Robert P. Kurshan, Helmut Veith: The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli 2010: 61-71
2000 – 2009
- 2008
- [c48]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: 487-490
- [c47]
- 2007
- [c46]Robert P. Kurshan: Scaling Commercial Verification to Larger Systems. Haifa Verification Conference 2007: 8-13
- 2005
- [c45]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: 254-268
- 2004
- [j15]Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
- [j14]Zoltán Füredi, Robert P. Kurshan: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1): 191-208 (2004)
- [c44]
- [c43]Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
- [c42]
- 2003
- [c41]Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
- [c40]Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48
- 2002
- [j13]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
- [c39]Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
- [c38]
- 2001
- [j12]Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods in System Design 18(2): 131-140 (2001)
- [j11]Orna Grumberg, Robert P. Kurshan: Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001)
- [c37]Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
- [c36]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: 387-390
- [c35]Natasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332
- 2000
- [c34]Kedar S. Namjoshi, Robert P. Kurshan: Syntactic Program Transformations for Automatic Abstraction. CAV 2000: 435-449
- [c33]Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
- [c32]Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
- [c31]
1990 – 1999
- 1999
- [j10]Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. Formal Methods in System Design 15(3): 175-199 (1999)
- [c30]
- 1998
- [c29]Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. RTSS 1998: 254-263
- [c28]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
- 1997
- [c27]Carlos M. Roman, Gary De Palma, Robert P. Kurshan: Model checking without hardware drivers. CHARME 1997: 127
- [c26]Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340
- [c25]
- [c24]Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247
- [c23]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
- 1996
- [c22]Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562
- 1995
- [j9]Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. Inf. Comput. 117(1): 1-11 (1995)
- [j8]Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan: Testing Language Containment for omega-Automata Using BDD's. Inf. Comput. 118(1): 101-109 (1995)
- [j7]Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. Inf. Comput. 118(1): 142-157 (1995)
- [c21]Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. CAV 1995: 339-352
- [c20]
- 1994
- [j6]Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. Formal Methods in System Design 5(3): 227-244 (1994)
- [c19]
- [c18]
- [c17]
- 1993
- [j5]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): 301-308 (1993)
- [c16]Ramin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58
- [c15]Robert P. Kurshan, Leslie Lamport: Verification of a Multiplier: 64 Bits and Beyond. CAV 1993: 166-179
- [c14]Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. CAV 1993: 491-504
- [c13]Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan: A Unified Approach to Language Containment and Fair CTL Model Checking. DAC 1993: 475-481
- 1992
- [j4]Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. 2(5): 605-618 (1992)
- [c12]Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. CAV 1992: 137-150
- [c11]Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
- 1991
- [j3]Robert P. Kurshan, Kenneth L. McMillan: Analysis of digital circuits through symbolic reduction. IEEE Trans. on CAD of Integrated Circuits and Systems 10(11): 1356-1371 (1991)
- [e1]Edmund M. Clarke, Robert P. Kurshan (Eds.): Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Lecture Notes in Computer Science 531, Springer 1991, ISBN 3-540-54477-1
- 1990
- [c10]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: 103-116
- [c9]Christian H. Golaszewski, Robert P. Kurshan: Task-Driven Supervisory Control of Discrete Event Systems. CAV 1990: 282-291
1980 – 1989
- 1989
- [c8]Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik 1989: 81-90
- [c7]Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. PODC 1989: 239-247
- [c6]Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon: Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386
- [c5]
- 1987
- [j2]Robert P. Kurshan: Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. 35(1): 59-71 (1987)
- 1984
- [c4]S. Aggarwal, Robert P. Kurshan: Automated Implementation from Formal Specification. PSTV 1984: 127-136
- 1983
- [c3]S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34
- [c2]S. Aggarwal, Robert P. Kurshan, D. Sharma: A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification 1983: 35-50
- [c1]S. Aggarwal, Robert P. Kurshan: Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification 1983: 51-62
1970 – 1979
- 1972
- [j1]Robert P. Kurshan, N. J. A. Sloane: Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces. Information and Control 20(5): 410-414 (1972)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-22 20:48 CEST by the dblp team