Bryan A. Brady

According to our database1, Bryan A. Brady authored at least 9 papers between 2004 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Automatic Term-Level Abstraction.
PhD thesis, 2011

Learning conditional abstractions.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Counterexample-guided SMT-driven optimal buffer sizing.
Proceedings of the Design, Automation and Test in Europe, 2011

Abstraction-based performance verification of NoCs.
Proceedings of the 48th Design Automation Conference, 2011

2010
ATLAS: Automatic Term-level abstraction of RTL designs.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009
An abstraction-based decision procedure for bit-vector arithmetic.
Int. J. Softw. Tools Technol. Transf., 2009

2007
Deciding Bit-Vector Arithmetic with Abstraction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2004
Efficient CAD development for emerging technologies using Objective-C and Cocoa.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004


  Loading...