Robert P. Kurshan

74 papers A* 20A 4B 6C 1Misc 1Journal 21Unranked 19

Year	Rank	Type	Title / Venue / Authors
2018	—	`ch.`	Transfer of Model Checking to Industrial Practice. Handbook of Model Checking Robert P. Kurshan
2017	J	`jnl`	A methodology to take credit for high-level verification during RTL verification. Formal Methods Syst. Des. Frederic Doucet, Robert P. Kurshan
2010	—	`conf`	The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
2008	A*	`conf`	Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi
2008	—	`conf`	Verification Technology Transfer. 25 Years of Model Checking Robert P. Kurshan
2007	—	`conf`	Scaling Commercial Verification to Larger Systems. Haifa Verification Conference Robert P. Kurshan
2005	—	`conf`	An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan
2004	B	`conf`	Evolution of Model Checking into the EDA Industry. ATVA Robert P. Kurshan
2004	C	`conf`	Formal verification as a technology transfer problem. MEMOCODE Robert P. Kurshan
2004	J	`jnl`	Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods Syst. Des. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
2004	J	`jnl`	Minimal length test vectors for multiple-fault detection. Theor. Comput. Sci. Zoltán Füredi, Robert P. Kurshan
2004	B	`conf`	Translating Software Designs for Model Checking. FASE Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
2003	A	`conf`	Experimental Analysis of Different Techniques for Bounded Model Checking. TACAS Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel
2003	—	`conf`	Translation-Based Compositional Reasoning for Software Systems. FME Fei Xie, James C. Browne, Robert P. Kurshan
2002	J	`jnl`	Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
2002	A*	`conf`	Compressing Transitions for Model Checking. CAV Robert P. Kurshan, Vladimir Levin, Hüsnü Yenigün
2002	—	`conf`	Model Checking and Abstraction. SARA Robert P. Kurshan
2001	B	`conf`	A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE Natasha Sharygina, James C. Browne, Robert P. Kurshan
2001	J	`jnl`	A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods Syst. Des. Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi
2001	A*	`conf`	A Practical Approach to Coverage in Model Checking. CAV Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi
2001	A*	`conf`	Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
2001	J	`jnl`	Which Branching-Time Properties are Effectively Linear? J. Log. Comput. Orna Grumberg, Robert P. Kurshan
2000	B	`conf`	Model Checking Synchronous Timing Diagrams. FMCAD Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
2000	A*	`conf`	PET: An Interactive Software Testing Tool. CAV Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled
2000	A*	`conf`	Syntactic Program Transformations for Automatic Abstraction. CAV Kedar S. Namjoshi, Robert P. Kurshan
2000	Misc	`conf`	The Evolution of Commercial Formal Verification. PDPTA Robert P. Kurshan
1999	A*	`conf`	Efficient Analysis of Cyclic Definitions. CAV Kedar S. Namjoshi, Robert P. Kurshan
1999	J	`jnl`	Modelling Asynchrony with a Synchronous Model. Formal Methods Syst. Des. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1998	A	`conf`	Membership Questions for Timed and Hybrid Automata. RTSS Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
1998	A	`conf`	Static Partial Order Reduction. TACAS Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1997	B	`conf`	Existence of Reduction Hierarchies. CSL Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis
1997	A*	`conf`	Formal Verification in a Commercial Setting. DAC Robert P. Kurshan
1997	—	`conf`	Model checking without hardware drivers. CHARME Carlos M. Roman, Gary De Palma, Robert P. Kurshan
1997	—	`conf`	Verifying VHDL Designs with COSPAN. Formal Hardware Verification Kathi Fisler, Robert P. Kurshan
1997	A	`conf`	Verifying hardware in its software context. ICCAD Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1996	B	`conf`	Verifying Abstractions of Timed Systems. CONCUR Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
1995	J	`jnl`	A Structural Induction Theorem for Processes Inf. Comput. Robert P. Kurshan, Kenneth L. McMillan
1995	A*	`conf`	Modelling Asynchrony with a Synchronous Model. CAV Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1995	J	`jnl`	Testing Language Containment for omega-Automata Using BDD's Inf. Comput. Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
1995	—	`conf`	Timing Analysis in COSPAN. Hybrid Systems Rajeev Alur, Robert P. Kurshan
1995	J	`jnl`	Timing Verification by Successive Approximation Inf. Comput. Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
1994	J	`jnl`	A Structural Linearization Principle for Processes. Formal Methods Syst. Des. Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1994	—	`conf`	How Linear Can Branching-Time Be? ICTL Orna Grumberg, Robert P. Kurshan
1994	A*	`conf`	Models Whose Checks Don't Explode. CAV Robert P. Kurshan
1994	A*	`conf`	The complexity of verification. STOC Robert P. Kurshan
1993	A*	`conf`	A Structural Linearization Principle for Processes. CAV Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1993	A*	`conf`	A Unified Approach to Language Containment and Fair CTL Model Checking. DAC Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan
1993	J	`jnl`	A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata. Inf. Process. Lett. Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan
1993	A*	`conf`	BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
1993	A*	`conf`	Verification of a Multiplier: 64 Bits and Beyond. CAV Robert P. Kurshan, Leslie Lamport
1992	J	`jnl`	A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
1992	A*	`conf`	Efficient CAV Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
1992	A*	`conf`	Timing Verification by Successive Approximation. CAV Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
1991	J	`jnl`	Analysis of digital circuits through symbolic reduction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Robert P. Kurshan, Kenneth L. McMillan
1991	A*	`ed.`	Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings CAV Edmund M. Clarke, Robert P. Kurshan
1991	—	`ed.`	Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990 CAV (DIMACS/AMS volume) Edmund M. Clarke, Robert P. Kurshan
1990	—	`conf`	A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata. CAAP Edmund M. Clarke, Anca Browne, Robert P. Kurshan
1990	—	`conf`	Preface. CAV (DIMACS/AMS volume) Edmund M. Clarke, Robert P. Kurshan
1990	A*	`conf`	Task-Driven Supervisory Control of Discrete Event Systems. CAV Christian H. Golaszewski, Robert P. Kurshan
1989	A*	`conf`	A Structural Induction Theorem for Processes. PODC Robert P. Kurshan, Kenneth L. McMillan
1989	—	`conf`	A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
1989	—	`conf`	Analysis of Discrete Event Coordination. REX Workshop Robert P. Kurshan
1989	—	`conf`	Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon
1987	J	`jnl`	Complementing Deterministic Büchi Automata in Polynomial Time. J. Comput. Syst. Sci. Robert P. Kurshan
1985	J	`jnl`	Proposed specification of BX.25 link layer protocol. AT&T Tech. J. Robert P. Kurshan
1985	J	`jnl`	Tone location by cyclotomic filters. AT&T Tech. J. David Hertz, Robert P. Kurshan, David Malah, John T. Peoples
1984	—	`conf`	Automated Implementation from Formal Specification. PSTV S. Aggarwal, Robert P. Kurshan
1983	—	`conf`	A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani
1983	—	`conf`	A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification S. Aggarwal, Robert P. Kurshan, D. Sharma
1983	—	`conf`	Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification S. Aggarwal, Robert P. Kurshan
1976	J	`jnl`	A touch-tone® receiver-generator with digital channel filters. Bell Syst. Tech. J. B. Gopinath, Robert P. Kurshan
1976	J	`jnl`	Digital single-tone generator-detectors. Bell Syst. Tech. J. Robert P. Kurshan, B. Gopinath
1972	J	`jnl`	Coset Analysis of Reed Muller Codes Via Translates of Finite Vector Spaces Inf. Control. Robert P. Kurshan, Neil J. A. Sloane
1970	J	`jnl`	B.S.T.J. brief: All terminal bubbles programs yield the elementary symmetric polynomials. Bell Syst. Tech. J. Robert P. Kurshan