Talks of year 2017
Guest lectures, invited talks, and tutorials
-
Repositories Group: Best Practices on Artifact Integration.
Invited talk
at ACM TaskForce on Reproducibility,
07.
December
2017.
doi:10.5281/zenodo.7296608
Publisher's Version
Presentation
BibTeX Entry
@invitedtalk{ACM-WS-Repro17, author = {Dirk Beyer}, title = {Repositories Group: Best Practices on Artifact Integration}, year = {2017}, doi = {10.5281/zenodo.7296608}, presentation = {https://www.sosy-lab.org/research/prs/2017-12-07_ACM-WS-Repro_BestPracticesOnArtifactIntegration_Dirk.pdf}, day = {07}, month = {December}, venue = {ACM TaskForce on Reproducibility}, video = {}, } -
Predicate-Analysis.
Invited talk
at LMU Munich (FSV2),
28.
November
2017.
Presentation
BibTeX Entry
@invitedtalk{FSV2Predicate, author = {Dirk Beyer}, title = {Predicate-Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-28_FSV2_Predicate-Analysis.pdf}, day = {28}, month = {November}, venue = {LMU Munich (FSV2)}, video = {}, }
Conference and other Presentations
-
Software Verification: Testing vs. Model Checking. A Comparative Evaluation of the State of the Art.
Conference talk
at 13th Haifa Verification Conference (HVC 2017),
15.
November
2017.
Presentation
BibTeX Entry
@conferencetalk{HVC17, author = {Thomas Lemberger}, title = {Software Verification: Testing vs. Model Checking. A Comparative Evaluation of the State of the Art}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-15_HVC17_TestStudy_Thomas.pdf}, day = {15}, month = {November}, venue = {13th Haifa Verification Conference (HVC 2017)}, video = {}, }
Thesis defenses
-
Towards Practical Predicate Analysis.
Defense
at University of Passau,
20.
November
2017.
Presentation
BibTeX Entry
@defense{RigorosumWendler, author = {Philipp Wendler}, title = {Towards Practical Predicate Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-20_RigorosumWendler_TowardsPracticalPredicateAnalysis.pdf}, day = {20}, month = {November}, venue = {University of Passau}, video = {}, }
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.