Bryan Brady, Ph.D. - Publications

Affiliations: 
2011 Electrical Engineering & Computer Sciences University of California, Berkeley, Berkeley, CA 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)

9 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Chadderdon DJ, Xin L, Qi J, Brady B, Miller JA, Sun K, Janik MJ, Li W. Selective Oxidation of 1,2-Propanediol in Alkaline Anion-Exchange Membrane Electrocatalytic Flow Reactors: Experimental and DFT Investigations Acs Catalysis. 5: 6926-6936. DOI: 10.1021/acscatal.5b01085  0.44
2011 Brady BA, Bryant RE, Seshia SA. Learning conditional abstractions 2011 Formal Methods in Computer-Aided Design, Fmcad 2011. 116-124.  0.68
2011 Holcomb D, Brady B, Seshia S. Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497.  0.68
2011 Brady BA, Holcomb D, Seshia SA. Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334.  0.68
2010 Brady BA, Bryant RE, Seshia SA, O'Leary JW. ATLAS: Automatic term-level abstraction of RTL designs 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 31-40. DOI: 10.1109/MEMCOD.2010.5558624  0.68
2009 Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. An abstraction-based decision procedure for bit-vector arithmetic International Journal On Software Tools For Technology Transfer. 11: 95-104. DOI: 10.1007/s10009-009-0101-x  0.68
2007 Bryant RE, Kroening D, Ouaknine J, Seshia SA, Strichman O, Brady B. Deciding bit-vector arithmetic with abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 358-372.  0.68
2007 Jha S, Brady BA, Seshia SA. Symbolic reachability analysis of lazy linear hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4763: 241-256.  0.68
2004 Brady BA, Jones AK, Kourtev IS. Efficient CAD development for emerging technologies using Objective-C and Cocoa 11th Ieee International Conference On Electronics, Circuits and Systems, Icecs 2004. 369-372.  0.68
Show low-probability matches.