| 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) |
