Jerry R. Burch - Concepedia

Author

Jerry R. Burch

Carnegie Mellon University

Also Known As

Burch, Jerry R, Burch, Jerry R., J. Burch, J. R. Burch, J.R. Burch, Jerry R. Burch

Publications

Citations

H-Index

Concepts

All Affiliations

Carnegie Mellon University Lawrence Berkeley National Laboratory Cadence Design Systems (United States)Stanford University University of California, Berkeley

About

Jerry R. Burch is an author at Carnegie Mellon University specializing in computer science, formal verification, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	26	5.2K
2	Computer Science	17	24	5.1K
3	Computer Engineering	15	18	1.8K
4	Data Science	2	2	83
5	Law	1	1	14

Jerry R. Burch

Publications

5.3K

Citations

H-Index

Page 1

	Year	Citations
Symbolic model checking: 1020 States and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, Information and Computation EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model Checking	1992	2.7K
Symbolic model checking for sequential circuit verification Jerry R. Burch, E. M. Clarke, David E. Long, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringVerificationComputer-aided VerificationSystem-level DesignModel Checking	1994	548
Sequential circuit verification using symbolic model checking Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	1990	409
Symbolic model checking: 10/sup 20/ states and beyond Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, EngineeringVerificationSymbolic Model CheckingComputer-aided VerificationCtl Model Checking	2002	304
Symbolic Model Checking with Partitioned Transistion Relations. Jerry R. Burch, Edmund M. Clarke, David E. Long IEEE Transactions on Very Large Scale Integration (VLSI) Systems EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model Checking	1991	271
Representing circuits more efficiently in symbolic model checking Jerry R. Burch, E. M. Clarke, David E. Long Theory Of ComputingEngineeringFormal ModelingAutomated ReasoningVerification	1991	176
Techniques for verifying superscalar microprocessors Jerry R. Burch	1996	106
Sequential circuit verification using symbolic model checking Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, 27th ACM/IEEE Design Automation Conference EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2002	96
Automatic verification of sequential control systems using temporal logic Il Moon, Gary J. Powers, Jerry R. Burch, AIChE Journal EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	1992	90
Using BDDs to verify multipliers Jerry R. Burch Circuit ComplexityEngineeringVerificationComputer ArchitectureComputer-aided Verification	1991	77

Page 1