Randal Bryant

Cited by

	All	Since 2019
Citations	32820	3625
h-index	60	21
i10-index	148	40

1400

700

350

1050

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202482 145 164 160 212 410 430 597 711 832 881 924 946 969 914 982 1047 1130 1282 1349 1353 1389 1264 1158 1202 1138 1071 1025 1018 984 878 844 853 703 668 704 690 707 153

Public access

View all

11 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
David O'HallaronProfessor of CS and ECE, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Miroslav N. VelevAries Design Automation, LLCVerified email at aries-da.com
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
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
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	13234	1986
Symbolic boolean manipulation with ordered binary-decision diagrams RE Bryant ACM Computing Surveys (CSUR) 24 (3), 293-318, 1992	3241	1992
Efﬁcient implementation of a BDD package KS Brace, RL Rudell, RE Bryant ACM/IEEE Proc. 27th DAC, 40-45, 1990	1888*	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	1149	2005
Computer systems: a programmer's perspective R Bryant, DR O'Hallaron Prentice Hall, 2003	800*	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	771	1991
Verification of arithmetic circuits with binary moment diagrams RE Bryant, YA Chen Design Automation, 1995. DAC'95. 32nd Conference on, 535-541, 1995	652	1995
A switch-level model and simulator for MOS digital systems Bryant IEEE Transactions on computers 100 (2), 160-177, 1984	549	1984
Simulation of packet communication architecture computer systems RE Bryant Massachusetts Institute of Technology, 1977	543	1977
Formal verification by symbolic evaluation of partially-ordered trajectories CJH Seger, RE Bryant Formal Methods in System Design 6 (2), 147-189, 1995	386	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	378	1987
Big-data computing: creating revolutionary breakthroughs in commerce, science and society R Bryant, RH Katz, ED Lazowska December, 2008	377	2008
Binary decision diagrams and beyond: Enabling technologies for formal verification RE Bryant Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995	376	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	337	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	313	2001
Boolean analysis of MOS circuits RE Bryant IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	262	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	202	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	193	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