Resume
Biography
Academic History
Research Information
Advisor: Sanjit A. Seshia
Interests: Automatic Abstraction from RTL, Decision Procedures, Processor Verification, Hardware Design, Embedded Systems
Research tool: Verilog to UCLID translator with (semi-) automatic abstraction: v2ucl
Bryan Brady: Publications
Publications
Deciding Bit-Vector Arithmetic with Abstraction
R. E. Bryant, D. Kroening, J. Ouaknine, S. A. Seshia, O. Strichman, B. A. Brady
In 13th Intl. Conference on Tools and Algorithms for the Construction of Systems (TACAS), March 2007
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
S. K. Jha, B. A. Brady, S. A. Seshia
In the 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), October 2007, pages 241-256.
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
S. K. Jha, B. A. Brady, S. A. Seshia
Technical Report EECS-2007-32, EECS Department, University of California, Berkeley (2007)
Efficient CAD Development for Emerging Technologies Using Objective-C and Cocoa
B. A. Brady, A. K. Jones, and I. S. Kourtev
IEEE International Conference on Electronics, Circuits and Systems, 2004
|
