Randal Bryant

Citat de

	Toate	Din 2020
Referințe bibliografice	33507	3477
h-index	61	21
i10-index	154	46

1400

700

350

1050

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202585 148 170 159 223 415 442 613 701 832 889 918 948 974 911 987 1078 1139 1298 1337 1350 1370 1283 1145 1202 1157 1085 1041 987 973 871 824 870 718 664 719 697 705 604 86

Acces public

Afișați-le pe toate

12 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
David O'HallaronProfessor of CS and ECE, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
Miroslav N. VelevAries Design Automation, LLCAdresă de e-mail confirmată pe aries-da.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchAdresă de e-mail confirmată pe microsoft.com
Somesh JhaLubar Chair of Computer Science, University of WisconsinAdresă de e-mail confirmată pe cs.wisc.edu
Carl SegerWASP Professor at Chalmers University of Technology and University of GothenburgAdresă de e-mail confirmată pe chalmers.se
Manuela M. VelosoHerbert A. Simon University Professor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
Jiří ŠimšaGoogleAdresă de e-mail confirmată pe google.com
Manish PandeyAdjunct Professor, ECE Department at Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
Garth Alan GibsonPresident & CEO, Vector Institute; Consulting Professor of Computer Science, Carnegie MellonAdresă de e-mail confirmată pe vectorinstitute.ai
Ofer StrichmanTechnion, Haifa, IsraelAdresă de e-mail confirmată pe ie.technion.ac.il
Tom ShefflerRoche Sequencing SolutionsAdresă de e-mail confirmată pe alumni.virginia.edu
Dawn SongProfessor of Computer Science, UC BerkeleyAdresă de e-mail confirmată pe cs.berkeley.edu
Mihai ChristodorescuGoogleAdresă de e-mail confirmată pe christodorescu.org
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
Daniel KroeningAmazonAdresă de e-mail confirmată pe amazon.com
Randy KatzUniversity of California, BerkeleyAdresă de e-mail confirmată pe cs.Berkeley.edu
Armin BiereProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
Ed LazowskaBill & Melinda Gates Chair in Computer Science & Engineering, University of WashingtonAdresă de e-mail confirmată pe cs.washington.edu

Urmăriți

Randal Bryant

Carnegie Mellon University

Adresă de e-mail confirmată pe cs.cmu.edu - Pagina de pornire

Formal verification binary decision diagrams


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Graph-based algorithms for boolean function manipulation RE Bryant Computers, IEEE Transactions on 100 (8), 677-691, 1986	13434	1986
Symbolic boolean manipulation with ordered binary-decision diagrams RE Bryant ACM Computing Surveys (CSUR) 24 (3), 293-318, 1992	3292	1992
Efﬁcient implementation of a BDD package KS Brace, RL Rudell, RE Bryant ACM/IEEE Proc. 27th DAC, 40-45, 1990	1911*	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	1179	2005
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	786	1991
Computer systems: a programmer's perspective R Bryant, DR O'Hallaron Prentice Hall, 2003	688*	2003
Verification of arithmetic circuits with binary moment diagrams RE Bryant, YA Chen Design Automation, 1995. DAC'95. 32nd Conference on, 535-541, 1995	675	1995
Simulation of packet communication architecture computer systems RE Bryant Massachusetts Institute of Technology, 1977	557	1977
A switch-level model and simulator for MOS digital systems Bryant IEEE Transactions on computers 100 (2), 160-177, 1984	551	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	385	2008
Binary decision diagrams and beyond: Enabling technologies for formal verification RE Bryant Proceedings of IEEE International Conference on Computer Aided Design (ICCAD …, 1995	383	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	382	1987
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions RE Bryant, SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 78-92, 2002	342	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	271	1987
Data-intensive supercomputing: The case for DISC RE Bryant technical report cmu-cs-07-128, carnegie mellon university, 2007	243	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	204	2007
Computer systems: A programmer's perspective RE Bryant, DR O'Hallaron Pearson, 2015	172	2015

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori