Randal Bryant

Cited by

	All	Since 2019
Citations	33273	4028
h-index	60	22
i10-index	152	46

1400

700

350

1050

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 83 148 166 157 214 411 437 597 720 835 886 918 951 975 916 986 1057 1141 1286 1338 1347 1377 1265 1151 1199 1164 1074 1027 1018 977 875 830 846 713 676 721 702 710 506

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	13358	1986
Symbolic boolean manipulation with ordered binary-decision diagrams RE Bryant ACM Computing Surveys (CSUR) 24 (3), 293-318, 1992	3273	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	1173	2005
Computer systems: a programmer's perspective R Bryant, DR O'Hallaron Prentice Hall, 2003	830*	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	777	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	548	1977
A switch-level model and simulator for MOS digital systems Bryant IEEE Transactions on computers 100 (2), 160-177, 1984	543	1984
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
Big-data computing: creating revolutionary breakthroughs in commerce, science and society R Bryant, RH Katz, ED Lazowska December, 2008	389	2008
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	265	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	200	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