Gastvorträge am Mittwoch 27.11.: "Klimawandel und Extremereignisse – neue Erkenntnisse für die Klimafolgenforschung durch die Nutzung von HPC" im Rahmen der Public Climate School von Students for Future Munich.

Publications about Benchmarking

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Reliable Benchmarking: Requirements and Solutions.
    International Journal on Software Tools for Technology Transfer (STTT), 21(1):1--29, 2019.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [Abstract]
    DOI: 10.1007/s10009-017-0469-y
    Publication appeared first online in November 2017
    BenchExec is available at: https://github.com/sosy-lab/benchexec
    [bibtex-entry]

  2. Philipp Wendler.
    Beiträge zu praktikabler Prädikatenanalyse.
    In S. Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017, volume D-18 of LNI, pages 261-270.
    Gesellschaft für Informatik (GI), 2018.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, CPAchecker, Software Model Checking.
    [Abstract]
    This is a German summary of the dissertation Towards Practical Predicate Analysis.
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Benchmarking and Resource Measurement.
    In B. Fischer and J. Geldenhuys, editors, Proceedings of the 22nd International Symposium on Model Checking of Software (SPIN 2015, Stellenbosch, South Africa, August 24-26), LNCS 9232, pages 160-178, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [Abstract]
    An extended version of this article appeared in STTT.
    [bibtex-entry]

Theses (PhD, MSc, BSc, Project)

  1. Laura Bschor.
    Modern Architecture and Improved UI for Tables of BenchExec.
    Bachelor's Thesis, LMU Munich, Software Systems Lab, 2019.
    [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [bibtex-entry]

  2. Nils Steinger.
    Measuring, Visualizing, and Optimizing the Energy Consumption of Computer Clusters.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2017.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [bibtex-entry]

  3. Philipp Wendler.
    Towards Practical Predicate Analysis.
    PhD Thesis, University of Passau, Software Systems Lab, 2017.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, CPAchecker, Software Model Checking.
    [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 16 11:59:42 2019


This document was translated from BibTEX by bibtex2html