Journal article published at Science of Computer Programming:
"Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" (and 2 more papers)

Publications of year 2005

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer, Andreas Noack, and Claus Lewerentz.
    Efficient Relational Calculation for Software Analysis.
    IEEE Transactions on Software Engineering (TSE), 31(2):137-149, 2005. Invited to special issue of selected papers from WCRE 2003.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    DOI: 10.1109/TSE.2005.23
    Also available as postprint at the eScholarship Repository, University of California:
    http://repositories.cdlib.org/postprints/687
    CrocoPat is available at: http://www.sosy-lab.org/~dbeyer/CrocoPat
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer.
    Co-Change Visualization.
    In Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005, Budapest, September 25-30), Industrial and Tool volume, Budapest, pages 89-92, 2005.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    ICSM 2005, Budapest, September 25-30
    Tool Paper
    CCVisu is available at: http://www.sosy-lab.org/~dbeyer/CCVisu
    [bibtex-entry]

  2. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger.
    An Interface Formalism for Web Services.
    In Proceedings of the First International Workshop on Foundations of Interface Technologies (FIT 2005, San Francisco, CA, August 21), 2005.
    [ Material ] [ Article ] Keyword(s): Interfaces for Component-Based Design.
    [Abstract]
    FIT 2005, San Francisco, CA, August 21
    [bibtex-entry]

  3. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger.
    Web Service Interfaces.
    In Proceedings of the 14th ACM International World Wide Web Conference (WWW 2005, Chiba, May 10-14), pages 148-159, 2005.
    ACM Press, New York (NY).
    [ Article ] Keyword(s): Interfaces for Component-Based Design.
    [Abstract]
    WWW 2005, Chiba, Japan, May 10-14,
    © 2006 ACM
    Online: https://doi.org/10.1145/1060745.1060770
    [bibtex-entry]

  4. 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: https://doi.org/10.1007/b107062
    [bibtex-entry]

  5. Dirk Beyer and Andreas Noack.
    Clustering Software Artifacts Based on Frequent Common Changes.
    In Proceedings of the 13th IEEE International Workshop on Program Comprehension (IWPC 2005, St. Louis, MO, May 15-16), pages 259-268, 2005.
    IEEE Computer Society Press, Los Alamitos (CA).
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract]
    IWPC 2005, St. Louis, MO, May 15-16
    Online: https://doi.org/10.1109/WPC.2005.12
    Supplementary material: http://www.sosy-lab.org/~dbeyer/co-change/
    [bibtex-entry]

Internal reports

  1. 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]

  2. Dirk Beyer and Andreas Noack.
    Mining Co-Change Clusters from Version Repositories.
    Technical report IC/2005/003, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), January 2005.
    [ Material ] [ Article ] Keyword(s): Structural Analysis and Comprehension.
    [Abstract] [bibtex-entry]

Theses and projects (PhD, MSc, BSc, Project)

  1. CCVisu: Visual Clustering and Software-Structure Assessment, 2005.
    [ Material ] Keyword(s): Software Development Project, Structural Analysis and Comprehension.
    [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: Wed Feb 24 15:19:20 2021


This document was translated from BibTEX by bibtex2html