Randal E. Bryant
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Logic, programming, and type systems, VLSI and Analog Circuit Testing, Software Testing and Debugging Techniques
Most-Cited Works
- → Symbolic Boolean manipulation with ordered binary-decision diagrams(1992)1,999 cited
- → Efficient implementation of a BDD package(1990)1,071 cited
- → Semantics-aware malware detection(2005)721 cited
- → On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication(1991)515 cited
- Computer Systems A Programmer's Perspective 1(1991)
- → Verification of arithmetic circuits with binary moment diagrams(1995)320 cited
- → Formal verification by symbolic evaluation of partially-ordered trajectories(1995)280 cited
- →