dblp.uni-trier.dewww.uni-trier.de

Robert P. Kurshan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
64EERobert P. Kurshan: Verification Technology Transfer. 25 Years of Model Checking 2008: 46-64
63EEHyondeuk 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
2007
62EERobert P. Kurshan: Scaling Commercial Verification to Larger Systems. Haifa Verification Conference 2007: 8-13
2005
61EENina 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
60EERobert P. Kurshan: Evolution of Model Checking into the EDA Industry. ATVA 2004: 2-6
59EEFei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
58EERobert P. Kurshan: Formal verification as a technology transfer problem. MEMOCODE 2004: 147-150
57EENatasha 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)
56EEZoltán Füredi, Robert P. Kurshan: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1): 191-208 (2004)
2003
55EEFei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
54EENina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48
2002
53EERobert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581
52EERobert P. Kurshan: Model Checking and Abstraction. SARA 2002: 1-17
51 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)
2001
50EENina 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
49EEHana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
48EENatasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332
47 R. 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)
46EEOrna Grumberg, Robert P. Kurshan: Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001)
2000
45 Kedar S. Namjoshi, Robert P. Kurshan: Syntactic Program Transformations for Automatic Abstraction. CAV 2000: 435-449
44 Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
43EENina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
42 Robert P. Kurshan: The Evolution of Commercial Formal Verification. PDPTA 2000
1999
41EEKedar S. Namjoshi, Robert P. Kurshan: Efficient Analysis of Cyclic Definitions. CAV 1999: 394-405
40 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)
1998
39EERajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. IEEE Real-Time Systems Symposium 1998: 254-263
38EERobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
1997
37 Carlos M. Roman, Gary De Palma, Robert P. Kurshan: Model checking without hardware drivers. CHARME 1997: 127
36 Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis: Existence of Reduction Hierarchies. CSL 1997: 327-340
35EERobert P. Kurshan: Formal Verification in a Commercial Setting. DAC 1997: 258-262
34 Kathi Fisler, Robert P. Kurshan: Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247
33EERobert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
1996
32 Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562
1995
31 Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: Modelling Asynchrony with a Synchronous Model. CAV 1995: 339-352
30 Rajeev Alur, Robert P. Kurshan: Timing Analysis in COSPAN. Hybrid Systems 1995: 220-231
29 Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes Inf. Comput. 117(1): 1-11 (1995)
28 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)
27 Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation Inf. Comput. 118(1): 142-157 (1995)
1994
26 Robert P. Kurshan: Models Whose Checks Don't Explode. CAV 1994: 222-233
25 Orna Grumberg, Robert P. Kurshan: How Linear Can Branching-Time Be? ICTL 1994: 180-194
24EERobert P. Kurshan: The complexity of verification. STOC 1994: 365-371
23 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)
1993
22 Robert P. Kurshan, Leslie Lamport: Verification of a Multiplier: 64 Bits and Beyond. CAV 1993: 166-179
21 Ramin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58
20 Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. CAV 1993: 491-504
19EERamin 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
18 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)
1992
17 Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis: Timing Verification by Successive Approximation. CAV 1992: 137-150
16 Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
15 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)
1991
14 Edmund M. Clarke, Robert P. Kurshan: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings Springer 1991
13EERobert 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)
1990
12 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
11 Christian H. Golaszewski, Robert P. Kurshan: Task-Driven Supervisory Control of Discrete Event Systems. CAV 1990: 282-291
1989
10 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
9 Robert P. Kurshan, Kenneth L. McMillan: A Structural Induction Theorem for Processes. PODC 1989: 239-247
8 Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon: Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386
7 Robert P. Kurshan: Analysis of Discrete Event Coordination. REX Workshop 1989: 414-453
1987
6 Robert P. Kurshan: Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. 35(1): 59-71 (1987)
1984
5 S. Aggarwal, Robert P. Kurshan: Automated Implementation from Formal Specification. PSTV 1984: 127-136
1983
4 S. Aggarwal, Robert P. Kurshan, Krishan K. Sabnani: A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34
3 S. Aggarwal, Robert P. Kurshan, D. Sharma: A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification 1983: 35-50
2 S. Aggarwal, Robert P. Kurshan: Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification 1983: 51-62
1972
1 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

1S. Aggarwal [2] [3] [4] [5]
2Rajeev Alur [17] [27] [30] [32] [39]
3Nina Amla [43] [50] [54] [61]
4Robert K. Brayton [16] [19] [21] [28] [32]
5Anca Browne (I. A. Draghicescu) [12] [18]
6James C. Browne [48] [55] [57] [59]
7Hana Chockler [49]
8Edmund M. Clarke [10] [12] [14] [15] [18]
9Xiaoqun Du [61]
10E. Allen Emerson [43] [50]
11Kathi Fisler [34]
12Zoltán Füredi [56]
13Christian H. Golaszewski [11]
14Orna Grumberg [10] [15] [25] [46]
15Elsa L. Gunter [44]
16R. H. Hardin [47]
17Ramin Hojati [16] [19] [21]
18Alon Itai [17] [27]
19HoonSang Jin [63]
20Hyondeuk Kim [63]
21Andreas Kuehlmann [61]
22Orna Kupferman [36] [49]
23Leslie Lamport [22]
24Vladimir Levin [33] [38] [51] [53] [57] [59]
25Kenneth L. McMillan [9] [13] [29] [54] [61]
26Ricardo Medel [54]
27Michael Merritt [20] [23] [31] [40]
28Marius Minea [33] [38] [51]
29Kedar S. Namjoshi [41] [43] [45] [50]
30Ariel Orda [20] [23] [31] [40]
31Gary De Palma [37]
32Doron Peled [33] [38] [44] [51]
33John Pierce [63]
34Shlomit S. Pinter [8]
35Kavita Ravi [63]
36Carlos M. Roman [37]
37Krishan K. Sabnani [4]
38Sonia R. Sachs [20] [23] [31] [40]
39D. Sharma [3]
40Natasha Sharygina [48] [57]
41Thomas R. Shiple [19]
42Sandeep K. Shukla [47]
43Neil J. A. Sloane (N. J. A. Sloane) [1]
44Baruch Solomon [8]
45Fabio Somenzi [63]
46Petr Spacek [63]
47Serdar Tasiran [32]
48Hervé J. Touati [16] [28]
49Moshe Y. Vardi [47] [49]
50Mahesh Viswanathan [39]
51Fei Xie [55] [57] [59]
52Mihalis Yannakakis [17] [27] [36]
53Hüsnü Yenigün [33] [38] [51] [53]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)