Bryan Brady, Ph.D.
Affiliations: | 2011 | Electrical Engineering & Computer Sciences | University of California, Berkeley, Berkeley, CA, United States |
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)Google:
"Bryan Brady"Cross-listing: Robotree
Parents
Sign in to add mentorSanjit A. Seshia | grad student | 2011 | UC Berkeley | |
(Automatic Term-Level Abstraction.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Brady BA, Bryant RE, Seshia SA. (2011) Learning conditional abstractions 2011 Formal Methods in Computer-Aided Design, Fmcad 2011. 116-124 |
Holcomb D, Brady B, Seshia S. (2011) Abstraction-based performance verification of NoCs Proceedings - Design Automation Conference. 492-497 |
Brady BA, Holcomb D, Seshia SA. (2011) Counterexample-guided SMT-driven optimal buffer sizing Proceedings -Design, Automation and Test in Europe, Date. 329-334 |
Brady BA, Bryant RE, Seshia SA, et al. (2010) ATLAS: Automatic term-level abstraction of RTL designs 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 31-40 |
Bryant RE, Kroening D, Ouaknine J, et al. (2009) An abstraction-based decision procedure for bit-vector arithmetic International Journal On Software Tools For Technology Transfer. 11: 95-104 |
Bryant RE, Kroening D, Ouaknine J, et al. (2007) 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 |
Jha S, Brady BA, Seshia SA. (2007) 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 |