Get started
Author

Robert P. Kurshan

Observed names: Kurshan, Robert, Kurshan, Robert P, R. Kurshan, R. P. KURSHAN, R. P. Kurshan, R.P Kurshan, R.P. Kurshan, Robert Kurshan
ORCID: 0000-0002-4232-6530
Observed ORCID: 0000-0002-4232-6530
OpenAlex ID: A5034009786
Computer-Aided Verification of Coordinating Processes
1995 · Robert P. Kurshan · Princeton University Press eBooks · 443
A structural induction theorem for processes
1989 · R. P. Kurshan, K. McMillan · ACM Symposium on Principles of Distributed Computing (PODC) · 164
PDF
Computer-aided verification
1996 · E.M. Clarke, R.P. Kurshan · IEEE Spectrum · 158
Analysis of discrete event coordination
1990 · R. P. Kurshan · Lecture notes in computer science · 140
An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment
2005 · Nina Amla, Xiaoqun Du, et al. · Lecture notes in computer science · 107
PDF
Static partial order reduction
1998 · R. Kurshan, V. Levin, et al. · Lecture notes in computer science · 102
A Practical Approach to Coverage in Model Checking
2001 · Hana Chockler, Orna Kupferman, et al. · Lecture notes in computer science · 100
PDF
Software for Analytical Development of Communications Protocols
1990 · Zvi Har'El, Robert P. Kurshan · AT&T Technical Journal · 98
Timing Verification by Successive Approximation
1995 · R. Alur, A. Itai, et al. · Information and Computation · 91
Verifying abstractions of timed systems
1996 · Serdar TaŞiran, Rajeev Alur, et al. · Lecture notes in computer science · 90
Timing analysis in COSPAN
1996 · Rajeev Alur, Robert P. Kurshan · Lecture notes in computer science · 89
Analysis of digital circuits through symbolic reduction
1991 · R.P. Kurshan, K.L. McMillan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 89
Formal Verification In A Commercial Setting
1997 · R.P. Kurshan · ACM/IEEE Design Automation Conference (DAC) · 74
A Structural Induction Theorem for Processes
1995 · R.P. Kurshan, K.L. Mcmillan · Information and Computation · 71
A Calculus for Protocol Specification and Validation.
1983 · Sudhir Aggarwal, Robert P. Kurshan, et al. · 69
Reducibility in analysis of coordination
2006 · R. P. Kurshan · Springer eBooks · 68
Syntactic Program Transformations for Automatic Abstraction
2000 · Kedar S. Namjoshi, Robert P. Kurshan · Lecture notes in computer science · 67
PDF
Complementing deterministic Büchi automata in polynomial time
1987 · R.P. Kurshan · Journal of Computer and System Sciences · 65
COSPAN
1996 · R. H. Hardin, Z. Har'El, et al. · Lecture notes in computer science · 64
Automata-theoretic verification of coordinating processes
2005 · R. P. Kurshan · Springer eBooks · 62
Verification of a multiplier: 64 bits and beyond
1993 · R. P. Kurshan, Leslie Lamport · Lecture notes in computer science · 61
PDF
On the Addressing Problem of Loop Switching
1972 · L. H. Brandenburg, B. Gopinath, et al. · Bell System Technical Journal · 61
Rings whose cyclic modules have finitely generated socle
1970 · R.P Kurshan · Journal of Algebra · 61
Experimental Analysis of Different Techniques for Bounded Model Checking
2003 · Nina Amla, Robert Kurshan, et al. · Lecture notes in computer science · 49
PDF
A unified approach for showing language containment and equivalence between various types of ω-automata
1990 · E. M. Clarke, I. A. Browne, et al. · Lecture notes in computer science · 46
Works count: 133
Citation count: 3,304
H-index: 31
I10-index: 60
Year
Topic
Type