We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
2 papers accepted at ASE 2024: BenchCloud and CoVeriTeam GUI

Talks of Philipp Wendler

Conference and other Presentations
  1. Dirk Beyer, Thomas Lemberger, and Philipp Wendler. Software Verification with CPAchecker 3.0: Tutorial and User Guide. Conference talk at FM 2024, 10. September 2024. Link to this entry Keyword(s): CPAchecker, Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{FM24-CPAcheckerTutorial, author = {Dirk Beyer and Thomas Lemberger and Philipp Wendler}, title = {Software Verification with CPAchecker 3.0: Tutorial and User Guide}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_CPAchecker_Tutorial.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM 2024}, }
  2. Dirk Beyer and Philipp Wendler. The Next Decade of the CPAchecker Development Process. Conference talk at 9th International Workshop on CPAchecker (CPA 2024), 09. September 2024. Link to this entry Keyword(s): CPAchecker, Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{CPA24-CPAcheckerDevelopment, author = {Dirk Beyer and Philipp Wendler}, title = {The Next Decade of the CPAchecker Development Process}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_The_Next_Decade_of_the_CPAchecker_Development_Process_Philipp.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, }
  3. Philipp Wendler. Handling Flaky Regression Tests in CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-FlakyTests, author = {Philipp Wendler}, title = {Handling Flaky Regression Tests in CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA23_Handling_Flaky_Regression_Tests_in_CPAchecker_Philipp.pdf}, keyword = {CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  4. Daniel Baier, Dirk Beyer, Thomas Bunk, Po-Chun Chien, Matthias Kettl, Nian-Ze Lee, Martin Spiessl, Henrik Wachowitz, and Philipp Wendler. CPAchecker (Competition Contribution for SV-COMP ’23). Conference talk at TACAS 2023, 24. April 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{TACAS23-CPAchecker-Poster, author = {Daniel Baier and Dirk Beyer and Thomas Bunk and Po-Chun Chien and Matthias Kettl and Nian-Ze Lee and Martin Spiessl and Henrik Wachowitz and Philipp Wendler}, title = {CPAchecker (Competition Contribution for SV-COMP ’23)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_TACAS23_CPAchecker_Poster.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
  5. Philipp Wendler. Reliable Benchmarking: Requirements and Solutions. Conference talk at RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results, 22. April 2023. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @conferencetalk{RRRR23Benchmarking, author = {Philipp Wendler}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-22_RRRR23_Benchmarking_Philipp.pdf}, keyword = {Benchmarking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="https://qcomp.org/rrrr/2023/">RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results</a>}, }
  6. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at CPA 2022 – 7th International Workshop on CPAchecker, 05. October 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-05_CPA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {05}, field = {Computer Science}, month = {October}, venue = {<a href="https://uol.de/en/computingscience/groups/formal-methods/forschung/7th-international-workshop-on-cpachecker-cpa-22">CPA 2022 – 7th International Workshop on CPAchecker</a>}, }
  7. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at AVM 2022 – 14th Alpine Verification Meeting, 14. September 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-14_AVM22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {14}, field = {Computer Science}, month = {September}, venue = {<a href="https://avm.sosy-lab.org/2022/">AVM 2022 – 14th Alpine Verification Meeting</a>}, }
  8. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications, 11. August 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{iPRA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-08-11_iPRA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {August}, venue = {<a href="https://ipra-2022.bitbucket.io/">iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications</a>}, }
  9. Philipp Wendler. “Late Merges” in CPAchecker. Conference talk at Hüttenseminar SoSy-Lab, 11. July 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{Huette22LateMerges, author = {Philipp Wendler}, title = {“Late Merges” in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-07-11_Huette22_Late_Merges_in_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, }
  10. Philipp Wendler. Current Development Of CPAchecker. Conference talk at CPA19, 02. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA19CPAchecker, author = {Philipp Wendler}, title = {Current Development Of CPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19_CurrentDevelopmentOfCPAchecker_Philipp.pdf}, day = {02}, month = {October}, venue = {CPA19}, video = {}, }
  11. Philipp Wendler. New Developments In BenchExec. Conference talk at CPA18, 25. September 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA18Benchexec, author = {Philipp Wendler}, title = {New Developments In BenchExec}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_NewDevelopmentsInBenchExec_Philipp.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
  12. Philipp Wendler. Beiträge Zu Praktikabler Prädikatenanalyse. Conference talk at GiDiss, 08. May 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{GiDissWendler, author = {Philipp Wendler}, title = {Beiträge Zu Praktikabler Prädikatenanalyse}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-08_GiDiss_BeitraegeZuPraktikablerPraedikatenanalyse.pdf}, day = {08}, month = {May}, venue = {GiDiss}, video = {}, }
  13. Philipp Wendler. Reliable Benchmarking of Software Verification in the Cloud. Conference talk at HPI Potsdam Future SOC Lab Day (Spring 2015), 15. April 2015. Link to this entry Keyword(s): Benchmarking, Cloud-Based Software Verification Presentation
    BibTeX Entry
    @conferencetalk{HPI15VerifierCloud, author = {Philipp Wendler}, title = {Reliable Benchmarking of Software Verification in the Cloud}, year = {2015}, presentation = {https://www.sosy-lab.org/research/prs/2015-04-15_HPI_Reliable_Benchmarking_of_Software_Verification_in_the_Cloud_Philipp.pdf}, keyword = {Benchmarking, Cloud-Based Software Verification}, day = {15}, field = {Computer Science}, month = {April}, venue = {<a href="https://hpi.de/forschung/future-soc-lab.html">HPI Potsdam Future SOC Lab</a> Day (Spring 2015)}, }
  14. Philipp Wendler. Conference talk at Dagstuhl 2014, April 2014. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FASE13ExplicitStateMC, author = {Philipp Wendler}, title = {}, year = {2014}, presentation = {https://www.sosy-lab.org/research/prs/2014-04_Dagstuhl_PredAbs_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {}, field = {Computer Science}, month = {April}, venue = {Dagstuhl 2014}, }
  15. Philipp Wendler. Conditional Model Checking. Conference talk at FSE12, 15. November 2012. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FSE12CMC, author = {Philipp Wendler}, title = {Conditional Model Checking}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-11-15_FSE12_Conditional_Model_Checking_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {FSE12}, }

Thesis defenses
  1. Philipp Wendler. Towards Practical Predicate Analysis. Defense at University of Passau, 20. November 2017. Link to this entry 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.

Last modified: Tue Dec 17 10:40:26 2024 UTC