2008 | ||
---|---|---|
64 | EE | Robert P. Kurshan: Verification Technology Transfer. 25 Years of Model Checking 2008: 46-64 |
63 | EE | 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 |
2007 | ||
62 | EE | Robert P. Kurshan: Scaling Commercial Verification to Larger Systems. Haifa Verification Conference 2007: 8-13 |
2005 | ||
61 | EE | 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 | ||
60 | EE | Robert P. Kurshan: Evolution of Model Checking into the EDA Industry. ATVA 2004: 2-6 |
59 | EE | Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338 |
58 | EE | Robert P. Kurshan: Formal verification as a technology transfer problem. MEMOCODE 2004: 147-150 |
57 | EE | 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) |
56 | EE | Zoltán Füredi, Robert P. Kurshan: Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. 315(1): 191-208 (2004) |
2003 | ||
55 | EE | Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599 |
54 | EE | Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo Medel: Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS 2003: 34-48 |
2002 | ||
53 | EE | Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün: Compressing Transitions for Model Checking. CAV 2002: 569-581 |
52 | EE | Robert 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 | ||
50 | EE | 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 |
49 | EE | Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78 |
48 | EE | Natasha 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) | |
46 | EE | Orna 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 | |
43 | EE | Nina 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 | ||
41 | EE | Kedar 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 | ||
39 | EE | Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan: Membership Questions for Timed and Hybrid Automata. IEEE Real-Time Systems Symposium 1998: 254-263 |
38 | EE | Robert 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 | |
35 | EE | Robert 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 | |
33 | EE | Robert 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 | |
24 | EE | Robert 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 | |
19 | EE | 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 |
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 | |
13 | EE | 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) |
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) |