BibTeX records: Bryan A. Brady

download as .bib file

@phdthesis{DBLP:phd/basesearch/Brady11,
  author       = {Bryan A. Brady},
  title        = {Automatic Term-Level Abstraction},
  school       = {University of California, Berkeley, {USA}},
  year         = {2011},
  url          = {http://www.escholarship.org/uc/item/2h54t3gt},
  timestamp    = {Tue, 18 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Brady11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/HolcombBS11,
  author       = {Daniel E. Holcomb and
                  Bryan A. Brady and
                  Sanjit A. Seshia},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {Abstraction-based performance verification of NoCs},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {492--497},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024840},
  doi          = {10.1145/2024724.2024840},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/HolcombBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/BradyHS11,
  author       = {Bryan A. Brady and
                  Daniel E. Holcomb and
                  Sanjit A. Seshia},
  title        = {Counterexample-guided SMT-driven optimal buffer sizing},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {329--334},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763058},
  doi          = {10.1109/DATE.2011.5763058},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/BradyHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/BradyBS11,
  author       = {Bryan A. Brady and
                  Randal E. Bryant and
                  Sanjit A. Seshia},
  editor       = {Per Bjesse and
                  Anna Slobodov{\'{a}}},
  title        = {Learning conditional abstractions},
  booktitle    = {International Conference on Formal Methods in Computer-Aided Design,
                  {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages        = {116--124},
  publisher    = {{FMCAD} Inc.},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2157674},
  timestamp    = {Mon, 09 Aug 2021 15:21:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BradyBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BradyBSO10,
  author       = {Bryan A. Brady and
                  Randal E. Bryant and
                  Sanjit A. Seshia and
                  John W. O'Leary},
  title        = {{ATLAS:} Automatic Term-level abstraction of {RTL} designs},
  booktitle    = {8th {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/MEMCOD.2010.5558624},
  doi          = {10.1109/MEMCOD.2010.5558624},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BradyBSO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BryantKOSSB09,
  author       = {Randal E. Bryant and
                  Daniel Kroening and
                  Jo{\"{e}}l Ouaknine and
                  Sanjit A. Seshia and
                  Ofer Strichman and
                  Bryan A. Brady},
  title        = {An abstraction-based decision procedure for bit-vector arithmetic},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {11},
  number       = {2},
  pages        = {95--104},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10009-009-0101-x},
  doi          = {10.1007/S10009-009-0101-X},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BryantKOSSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/JhaBS07,
  author       = {Susmit Jha and
                  Bryan A. Brady and
                  Sanjit A. Seshia},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  P. S. Thiagarajan},
  title        = {Symbolic Reachability Analysis of Lazy Linear Hybrid Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
                  {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4763},
  pages        = {241--256},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75454-1\_18},
  doi          = {10.1007/978-3-540-75454-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/JhaBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BryantKOSSB07,
  author       = {Randal E. Bryant and
                  Daniel Kroening and
                  Jo{\"{e}}l Ouaknine and
                  Sanjit A. Seshia and
                  Ofer Strichman and
                  Bryan A. Brady},
  editor       = {Orna Grumberg and
                  Michael Huth},
  title        = {Deciding Bit-Vector Arithmetic with Abstraction},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  13th International Conference, {TACAS} 2007, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2007
                  Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4424},
  pages        = {358--372},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71209-1\_28},
  doi          = {10.1007/978-3-540-71209-1\_28},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BryantKOSSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icecsys/BradyJK04,
  author       = {Bryan A. Brady and
                  Alex K. Jones and
                  Ivan S. Kourtev},
  title        = {Efficient {CAD} development for emerging technologies using Objective-C
                  and Cocoa},
  booktitle    = {Proceedings of the 2004 11th {IEEE} International Conference on Electronics,
                  Circuits and Systems, {ICECS} 2004, Tel Aviv, Israel, December 13-15,
                  2004},
  pages        = {369--372},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICECS.2004.1399695},
  doi          = {10.1109/ICECS.2004.1399695},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/icecsys/BradyJK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.