Randal Bryant

Cited by

	All	Since 2019
Citations	33342	4077
h-index	60	22
i10-index	153	47

1400

700

350

1050

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 83 148 166 157 214 412 439 598 720 835 886 918 951 975 916 986 1057 1141 1288 1337 1349 1378 1267 1150 1202 1162 1074 1027 1018 977 874 830 852 712 678 723 701 713 550

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Miroslav N. VelevAries Design Automation, LLCVerified email at aries-da.com
David O'HallaronProfessor of CS and ECE, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Carl SegerWASP Professor at Chalmers University of TechnologyVerified email at chalmers.se
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jiří ŠimšaGoogleVerified email at google.com
Manish PandeyAdjunct Professor, ECE Department at Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Garth Alan GibsonPresident & CEO, Vector Institute; Consulting Professor of Computer Science, Carnegie MellonVerified email at vectorinstitute.ai
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Tom ShefflerRoche Sequencing SolutionsVerified email at alumni.virginia.edu
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Mihai ChristodorescuGoogleVerified email at christodorescu.org
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Daniel KroeningAmazonVerified email at amazon.com
Randy KatzUniversity of California, BerkeleyVerified email at cs.Berkeley.edu
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Ed LazowskaBill & Melinda Gates Chair in Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu

Randal Bryant

Carnegie Mellon University

Verified email at cs.cmu.edu - Homepage

Formal verification binary decision diagrams


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Graph-based algorithms for boolean function manipulation RE Bryant Computers, IEEE Transactions on 100 (8), 677-691, 1986	13387	1986
Symbolic boolean manipulation with ordered binary-decision diagrams RE Bryant ACM Computing Surveys (CSUR) 24 (3), 293-318, 1992	3277	1992
Efﬁcient implementation of a BDD package KS Brace, RL Rudell, RE Bryant ACM/IEEE Proc. 27th DAC, 40-45, 1990	1908*	1990
Semantics-aware malware detection M Christodorescu, S Jha, SA Seshia, D Song, RE Bryant 2005 IEEE symposium on security and privacy (S&P'05), 32-46, 2005	1175	2005
Computer systems: a programmer's perspective R Bryant, DR O'Hallaron Prentice Hall, 2003	837*	2003
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication RE Bryant IEEE transactions on Computers 40 (2), 205-213, 1991	778	1991
Verification of arithmetic circuits with binary moment diagrams RE Bryant, YA Chen Design Automation, 1995. DAC'95. 32nd Conference on, 535-541, 1995	668	1995
Simulation of packet communication architecture computer systems RE Bryant Massachusetts Institute of Technology, 1977	550	1977
A switch-level model and simulator for MOS digital systems Bryant IEEE Transactions on computers 100 (2), 160-177, 1984	544	1984
Big-data computing: creating revolutionary breakthroughs in commerce, science and society R Bryant, RH Katz, ED Lazowska December, 2008	390	2008
Formal verification by symbolic evaluation of partially-ordered trajectories CJH Seger, RE Bryant Formal Methods in System Design 6 (2), 147-189, 1995	390	1995
COSMOS: A Compiled Simulator for MOS Circuits RE Bryant, D Beatty, K Brace, K Cho, T Sheffler 24th ACM/IEEE Design Automation Conference, 9-16, 1987	381	1987
Binary decision diagrams and beyond: Enabling technologies for formal verification RE Bryant Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995	380	1995
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions RE Bryant, SK Lahiri, SA Seshia Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	340	2002
Effective use of boolean satisfiability procedures in the formal verification of superscalar and VLIW MN Velev, RE Bryant Proceedings of the 38th annual design automation conference, 226-231, 2001	314	2001
Boolean analysis of MOS circuits RE Bryant IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	266	1987
Data-intensive supercomputing: The case for DISC RE Bryant technical report cmu-cs-07-128, carnegie mellon university, 2007	242	2007
Symbolic manipulation of boolean functions using a graphical representation RE Bryant 22nd ACM/IEEE Design Automation Conference, 688-694, 1985	207	1985
Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	202	2007
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic RE Bryant, S German, MN Velev ACM Transactions on Computational Logic (TOCL) 2 (1), 93-134, 2001	170	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors