Publications about BLAST

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    The Software Model Checker Blast: Applications to Software Engineering.
    International Journal on Software Tools for Technology Transfer (STTT), 9(5-6):505-525, 2007. Invited to special issue of selected papers from FASE 2004/05.
    [ Material ] [ Article ] Keyword(s): Software Model Checking, BLAST, Software Model Checking.
    [Abstract] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer and Philipp Wendler.
    Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT.
    In Gianpiero Cabodi and Satnam Singh, editors, Proceedings of the 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012, Cambrige, UK, October 22-25), pages 106-113, 2012.
    FMCAD.
    [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, and Damien Zufferey.
    Shape Refinement through Explicit Heap Analysis.
    In D.S. Rosenblum and G. Taentzer, editors, Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010, Paphos, Cyprus, March 22-26), LNCS 6013, pages 263-277, 2010.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract] [bibtex-entry]

  3. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Program Analysis with Dynamic Precision Adjustment.
    In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008, L'Aquila, September 15-19), pages 29-38, 2008.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    ASE 2008, L'Aquila, September 15-19.
    © 2008 IEEE
    Online: http://dx.doi.org/10.1109/ASE.2008.13
    [bibtex-entry]

  4. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko.
    Invariant Synthesis for Combined Theories.
    In B. Cook and A. Podelski, editors, Proceedings of the Eighth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, Nice, January 14-16), LNCS 4349, pages 378-394, 2007.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    VMCAI 2007, Nice, January 14-16,
    , editors.
    © 2007 Springer-Verlag
    Online: http://dx.doi.org/10.1007/978-3-540-69738-1_27
    [bibtex-entry]

  5. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko.
    Path Invariants.
    In Proceedings of the 2007 ACM Conference on Programming Language Design and Implementation (PLDI 2007, San Diego, CA, June 10-13), pages 300-309, 2007.
    ACM Press, New York (NY).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    PLDI 2007, San Diego, CA, June 10-13,
    © 2007 ACM
    Online: http://dx.doi.org/10.1145/1250734.1250769
    [bibtex-entry]

  6. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
    In W. Damm and H. Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7), LNCS 4590, pages 504-518, 2007.
    Springer-Verlag, Heidelberg.
    [ Article ] [ Presentation ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    CAV 2007, Berlin, July 3-7,
    Werner Damm, Holger Hermanns, editors.
    © 2007 Springer-Verlag
    Online: http://dx.doi.org/10.1007/978-3-540-73368-3_51
    [bibtex-entry]

  7. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Lazy Shape Analysis.
    In T. Ball and R.B. Jones, editors, Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006, Seattle, WA, August 17-20), LNCS 4144, pages 532-546, 2006.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    CAV 2006, Seattle, WA, August 17-20,
    Thomas Ball, Robert B. Jones, editors.
    © 2006 Springer-Verlag
    Online: http://dx.doi.org/10.1007/11817963_48
    An extended version of this paper appeared in Proc. Dagstuhl Seminar 06081, IBFI Schloss Dagstuhl, 2006:
    http://drops.dagstuhl.de/portals/06081/
    Supplementary material: http://www.sosy-lab.org/~dbeyer/blast_sa/
    [bibtex-entry]

  8. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    Checking Memory Safety with Blast.
    In M. Cerioli, editor, Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering (FASE 2005, Edinburgh, April 2-10), LNCS 3442, pages 2-18, 2005.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    FASE 2005, Edinburgh, April 2-10,
    Maura Cerioli, editor.
    © 2006 Springer-Verlag
    Online: http://dx.doi.org/10.1007/b107062
    [bibtex-entry]

  9. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    Generating Tests from Counterexamples.
    In Proceedings of the 26th IEEE International Conference on Software Engineering (ICSE 2004, Edinburgh, May 26-28), pages 326-335, 2004.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract] [bibtex-entry]

  10. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    The Blast Query Language for Software Verification.
    In R. Giacobazzi, editor, Proceedings of the 11th International Static Analysis Symposium (SAS 2004, Verona, August 26-28), LNCS 3148, pages 2-18, 2004.
    Springer-Verlag, Heidelberg.
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    SAS 2004, Verona, August 26-28,
    Roberto Giacobazzi, editor.
    © 2006 Springer-Verlag
    Online: http://dx.doi.org/10.1007/b99688
    [bibtex-entry]

  11. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar.
    An Eclipse Plug-in for Model Checking.
    In Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC 2004, Bari, June 24-26), pages 251-255, 2004.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Article ] Keyword(s): BLAST, Software Model Checking.
    [Abstract]
    IWPC 2004, Bari, June 24-26
    Online: http://dx.doi.org/10.1109/WPC.2004.1311069
    [bibtex-entry]

Internal reports

  1. Dirk Beyer and M. Erkan Keremoglu.
    CPAchecker: A Tool for Configurable Software Verification.
    Technical report SFU-CS-2009-02, School of Computing Science (CMPT), Simon Fraser University (SFU), January 2009.
    [ Material ] [ Article ] Keyword(s): CPAchecker, Software Model Checking.
    [Abstract] [bibtex-entry]

  2. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
    Lazy Shape Analysis.
    Technical report MTC-REPORT-2005-006, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2005.
    [ Material ] [ Article ] Keyword(s): Software Model Checking.
    [Abstract] [bibtex-entry]

(All PublicationsIndex)



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.




Last modified: Mon Dec 10 02:12:10 2018


This document was translated from BibTEX by bibtex2html