Talks
2022
-
New Approaches and Visualization for Verification Coverage.
15.
June
2022.
Keyword(s): Software Model Checking, CPAchecker
Presentation
BibTeX Entry
@misc{HailerVerificationCoverage, author = {Maximilian Hailer}, title = {New Approaches and Visualization for Verification Coverage}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-06-16_MA_New_Approaches_and_Visualization_for_Verification_Coverage_Hailer.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {June}, } -
Developing a Verifier Based on Parallel Portfolio with CoVeriTeam.
16.
March
2022.
Keyword(s): Benchmarking
Presentation
BibTeX Entry
@misc{KleinertParPortfolioCoVeriTeam, author = {Tobias Kleinert}, title = {Developing a Verifier Based on Parallel Portfolio with CoVeriTeam}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-16_BA_Parallel_Portfolio_CoVeriTeam.pdf}, keyword = {Benchmarking}, day = {16}, field = {Computer Science}, month = {March}, } -
Cgroups v2 Support for BenchExec.
9.
March
2022.
Keyword(s): Benchmarking
Presentation
BibTeX Entry
@misc{GlosterCgroupsV2, author = {Robin Gloster}, title = {Cgroups v2 Support for BenchExec}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-09_BA_Cgroups_v2_Support_for_BenchExec_Gloster.pdf}, keyword = {Benchmarking}, day = {9}, field = {Computer Science}, month = {March}, } -
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
Conference talk
at CPA 2022 – 7th International Workshop on CPAchecker,
05.
October
2022.
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 = {CPA 2022 – 7th International Workshop on CPAchecker}, } -
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
Conference talk
at AVM 2022 – 14th Alpine Verification Meeting,
14.
September
2022.
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 = {AVM 2022 – 14th Alpine Verification Meeting}, } -
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.
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 = {iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications}, } -
“Late Merges” in CPAchecker.
Conference talk
at Hüttenseminar SoSy-Lab,
11.
July
2022.
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}, } -
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
Conference talk
at TACAS,
6.
April
2022.
Presentation
BibTeX Entry
@conferencetalk{TACAS22, author = {Sudeep Kanav}, title = {{CoVeriTeam}: {O}n-Demand Composition of Cooperative Verification Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-06_TACAS22_CoVeriTeam_Sudeep.pdf}, day = {6}, month = {April}, venue = {TACAS}, } -
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
Conference talk
at FASE,
4.
April
2022.
Presentation
BibTeX Entry
@conferencetalk{FASE22, author = {Cedric Richter}, title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_FASE22-CoVeriTeam-Combinations_Cedric.pdf}, day = {4}, month = {April}, venue = {FASE}, } -
The Static Analyzer Infer in SV-COMP.
Conference talk
at LMU Munich,
7.
April
2022.
Presentation
BibTeX Entry
@conferencetalk{InferTACAS, author = {Matthias Kettl}, title = {The Static Analyzer Infer in SV-COMP}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-07_TACAS_Infer.pdf}, day = {7}, month = {April}, venue = {LMU Munich}, video = {}, } -
Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR.
Conference talk
at COOP 2022,
03.
April
2022.
Presentation
BibTeX Entry
@conferencetalk{COOP22CCegar, author = {Thomas Lemberger}, title = {Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-03_COOP22_Decomposing_Software_Verification_Thomas.pdf}, day = {03}, month = {April}, venue = {COOP 2022}, video = {}, } -
TestCov: Robust Test-Suite Execution and Coverage Measurement.
Conference talk
at Test-Comp 2022,
04.
April
2022.
Presentation
BibTeX Entry
@conferencetalk{TestComp22TestCov, author = {Thomas Lemberger}, title = {{TestCov}: Robust Test-Suite Execution and Coverage Measurement}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_TestComp22_TestCov_Thomas.pdf}, day = {04}, month = {April}, venue = {Test-Comp 2022}, video = {}, } -
Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker.
Defense
at LMU Munich,
28.
September
2022.
Keyword(s): Software Model Checking, Symbolic Memory Graphs, CPAchecker
Presentation
BibTeX Entry
@defense{BaierMA, author = {Daniel Baier}, title = {Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-28_MA_Implementation_of_Value_Analysis_over_Symbolic_Memory_Graphs_in_CPAchecker_Baier.pdf}, keyword = {Software Model Checking, Symbolic Memory Graphs, CPAchecker}, day = {28}, field = {Computer Science}, month = {September}, venue = {LMU Munich}, } -
Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification.
Defense
at LMU Munich,
24.
February
2022.
Presentation
BibTeX Entry
@defense{KettlMA, author = {Matthias Kettl}, title = {Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-02-24_MA_Adjustable_Block_Analysis.pdf}, day = {24}, month = {February}, venue = {LMU Munich}, video = {}, }
2021
-
A CPA for String Analysis for Java Programs in CPAchecker.
9.
March
2021.
Keyword(s): Software Model Checking, CPAchecker
BibTeX Entry
@misc{AntonischkiStringCPA, author = {Simon Antonischki}, title = {A CPA for String Analysis for Java Programs in CPAchecker}, year = {2021}, keyword = {Software Model Checking, CPAchecker}, day = {9}, field = {Computer Science}, month = {March}, } -
CPU-Energy-Meter.
Conference talk
at TACAS20,
31.
March
2021.
Presentation
BibTeX Entry
@conferencetalk{TACAS20CpuEnergyMeter, author = {Dirk Beyer}, title = {CPU-Energy-Meter}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_CPU-Energy-Meter_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, } -
PDR-for-Software.
Conference talk
at TACAS20,
31.
March
2021.
Presentation
BibTeX Entry
@conferencetalk{TACAS20Pdr, author = {Dirk Beyer}, title = {PDR-for-Software}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_PDR-for-Software_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, } -
PRTest: A plain random tester.
Conference talk
at 3rd International Competition on Software Testing (Test-Comp 2021),
01.
April
2021.
Presentation
Video
BibTeX Entry
@conferencetalk{TestComp21PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_PRTest_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/Ih1tVdZJH2M}, } -
TestCov. Test Execution and Coverage Measurement in Test-Comp.
Conference talk
at 3rd International Competition on Software Testing (Test-Comp 2021),
01.
April
2021.
Presentation
Video
BibTeX Entry
@conferencetalk{TestComp21TestCov, author = {Thomas Lemberger}, title = {TestCov. Test Execution and Coverage Measurement in Test-Comp}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_TestCov_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/pvePmeSJEwM}, } -
Program Transformations with CPAchecker.
Conference talk
at 6th International Workshop on CPAchecker (CPA 2021),
01.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{CPA21ProgramTransformation, author = {Thomas Lemberger}, title = {Program Transformations with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_Program_Transformations_with_CPAchecker_Thomas.pdf}, day = {01}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, } -
Software Verification: Historical Landmarks and Current Developments.
Conference talk
at 6th International Workshop on CPAchecker (CPA 2021),
1.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{CPA21History, author = {Dirk Beyer}, title = {Software Verification: Historical Landmarks and Current Developments}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_SoftwareVerificationHistoricalLandmarksAndCurrentDevelopments_Dirk.pdf}, day = {1}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, } -
CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components.
Conference talk
at ConVeY Retreat (ConVeY 2021),
22.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{CONVEY21CoVeriTeam, author = {Dirk Beyer}, title = {CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_CoVeriTeam_Dirk.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, } -
An Infrastructure for Cooperative Software Verification.
Conference talk
at ConVeY Retreat (ConVeY 2021),
22.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{CONVEY21CoopVeriInfra, author = {Nico Weise}, title = {An Infrastructure for Cooperative Software Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_An_Infrastructure_for_Cooperative_Software_Verification_Nico_Weise.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, } -
Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker.
Conference talk
at ISoLA 2021,
25.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{ISOLA21ValidationMultiThreaded, author = {Dirk Beyer}, title = {Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-25_ISOLA21_ValidationMultiThreaded_Dirk.pdf}, day = {25}, month = {October}, venue = {ISoLA 2021}, video = {}, } -
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
Conference talk
at ISoLA 2021,
29.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{ISOLA21VerificationArtifacts, author = {Dirk Beyer}, title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationArtifacts_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, } -
An Interface Theory for Program Verification.
Conference talk
at ISoLA 2021,
29.
October
2021.
Presentation
BibTeX Entry
@conferencetalk{ISOLA21VerificationInterfaces, author = {Dirk Beyer}, title = {An Interface Theory for Program Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationInterfaces_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, } -
Genetic Programming in Software Verification.
Defense
at LMU Munich,
10.
November
2021.
BibTeX Entry
@defense{GlueckstadtBA, author = {Ludwig Glückstadt}, title = {Genetic Programming in Software Verification}, year = {2021}, day = {10}, month = {November}, venue = {LMU Munich}, video = {}, } -
Converting_Test_Goals_to_Condition_Automata.
Defense
at LMU Munich,
13.
January
2021.
Presentation
BibTeX Entry
@defense{SchoenbergerBA, author = {Frederic Schoenberger}, title = {Converting_Test_Goals_to_Condition_Automata}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-01-13_BA_Converting_Test_Goals_to_Condition_Automata_Schoenberger.pdf}, day = {13}, month = {January}, venue = {LMU Munich}, video = {}, } -
Converting.Between.ACSL.Annotations.and.Witness.Invariants.
Defense
at LMU Munich,
10.
February
2021.
Presentation
BibTeX Entry
@defense{UmbrichtBA, author = {Sven Umbricht}, title = {Converting.Between.ACSL.Annotations.and.Witness.Invariants}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-02-10_BA_Converting.Between.ACSL.Annotations.and.Witness.Invariants_Umbricht.pdf}, day = {10}, month = {February}, venue = {LMU Munich}, video = {}, } -
Implementation and Evaluation of a Simple Taint Analysis for CPAchecker.
Defense
at LMU Munich,
28.
Juli
2021.
BibTeX Entry
@defense{TschoepelBA, author = {Sebastian Tschoepel}, title = {Implementation and Evaluation of a Simple Taint Analysis for CPAchecker}, year = {2021}, day = {28}, month = {Juli}, venue = {LMU Munich}, video = {}, } -
Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec.
Defense
at LMU Munich,
28.
April
2021.
Presentation
BibTeX Entry
@defense{SimonBA, author = {Dennis Simon}, title = {Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-28_BA_ShareableBenchmarkingReportsWithEnhancedFiltersAndDynamicStatisticsForBenchExec_Simon.pdf}, day = {28}, month = {April}, venue = {LMU Munich}, }
2020
-
Difference Verification with Conditions.
Invited talk
at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY),
24.
July
2020.
Presentation
BibTeX Entry
@invitedtalk{ConVeYDifferenceVerification, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-24_ConVeY_Difference_Verification_with_Conditions_Thomas.pdf}, day = {24}, month = {July}, venue = {DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY)}, video = {}, } -
Difference Verification with Conditions.
Conference talk
at 18th International Conference on Software Engineering and Formal Methods (SEFM 2020),
17.
September
2020.
Presentation
BibTeX Entry
@conferencetalk{SEFM20, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-17_SEFM20_DifferenceVerificationWithConditions_Thomas.pdf}, day = {17}, month = {September}, venue = {18th International Conference on Software Engineering and Formal Methods (SEFM 2020)}, video = {}, } -
Fault Localization with CPAchecker.
Conference talk
at 5th International Workshop on CPAchecker (CPA 2020),
28.
September
2020.
Presentation
BibTeX Entry
@conferencetalk{CPA20FaultLocalization, author = {Thomas Lemberger}, title = {Fault Localization with CPAchecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-28_CPA20_FaultLocalizationWithCPAchecker_Thomas.pdf}, day = {28}, month = {September}, venue = {5th International Workshop on CPAchecker (CPA 2020)}, video = {}, } -
Design and Implementation of a Cluster-based Approach for Software Verification.
Defense
at LMU Munich,
29.
January
2020.
BibTeX Entry
@defense{RiedBA, author = {Alexander Ried}, title = {Design and Implementation of a Cluster-based Approach for Software Verification}, year = {2020}, presentation = {}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, } -
RelyGuaranteeSeparationLogic.
Defense
at LMU Munich,
29.
January
2020.
Presentation
BibTeX Entry
@defense{PraktikumPoettinger, author = {Bernhard Poettinger}, title = {RelyGuaranteeSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-01-29_PR_RelyGuaranteeSeparationLogic_Poettinger.pdf}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, } -
Extending the Framework JavaSMT with the SMT Solver Yices2.
Defense
at LMU Munich,
13.
May
2020.
Presentation
BibTeX Entry
@defense{ObermeierBA, author = {Michael Obermeier}, title = {Extending the Framework JavaSMT with the SMT Solver Yices2}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-05-13_BA_IntegrationYices2InJavaSMT_Obermeier.pdf}, day = {13}, month = {May}, venue = {LMU Munich}, video = {}, } -
IdePluginForCpachecker.
Defense
at LMU Munich,
15.
July
2020.
Presentation
BibTeX Entry
@defense{LeimeisterBA, author = {Adrian Leimeister}, title = {IdePluginForCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_IdePluginForCpachecker_Leimeister.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, } -
WebFrontendForVisualizationOfComputationStepsInCpachecker.
Defense
at LMU Munich,
15.
July
2020.
Presentation
BibTeX Entry
@defense{MuenchowBA, author = {Sonja Muenchow}, title = {WebFrontendForVisualizationOfComputationStepsInCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_WebFrontendForVisualizationOfComputationStepsInCpachecker_Muenchow.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, } -
FaultLocalizationWithUnsatCores.
Defense
at LMU Munich,
22.
July
2020.
Presentation
BibTeX Entry
@defense{KettlBA, author = {Matthias Kettl}, title = {FaultLocalizationWithUnsatCores}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-22_BA_FaultLocalizationWithUnsatCores_Kettl.pdf}, day = {22}, month = {July}, venue = {LMU Munich}, video = {}, } -
FaultLocalizationWithTestBasedDistanceMetrics.
Defense
at LMU Munich,
02.
September
2020.
Presentation
BibTeX Entry
@defense{AliBA, author = {Schindar Ali}, title = {FaultLocalizationWithTestBasedDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-02_BA_FaultLocalizationWithTestBasedDistanceMetrics_Ali.pdf}, day = {02}, month = {September}, venue = {LMU Munich}, video = {}, } -
SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic.
Defense
at MA,
16.
September
2020.
Presentation
BibTeX Entry
@defense{BeckMA, author = {Moritz Beck}, title = {SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-16_MA_SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic_Beck.pdf}, day = {16}, month = {September}, venue = {MA}, video = {}, } -
FaultLocalizationWithDistanceMetrics.
Defense
at LMU Munich,
29.
September
2020.
Presentation
BibTeX Entry
@defense{KafounisBA, author = {Angelos Kafounis}, title = {FaultLocalizationWithDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-29_BA_FaultLocalizationWithDistanceMetrics_Kafounis.pdf}, day = {29}, month = {September}, venue = {LMU Munich}, video = {}, } -
Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker.
Defense
at LMU Munich,
30.
September
2020.
BibTeX Entry
@defense{NienderBA, author = {Niedner}, title = {Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker}, year = {2020}, day = {30}, month = {September}, venue = {LMU Munich}, } -
Complexity Measures in Software Engineering.
Defense
at LMU Munich,
21.
October
2020.
Presentation
BibTeX Entry
@defense{LundBA, author = {Simon Lund}, title = {Complexity Measures in Software Engineering}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_Complexity_Measures_in_Software_Engineering_Lund.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, } -
TestHarnessesForPointerBasedCPrograms.
Defense
at LMU Munich,
21.
October
2020.
Presentation
BibTeX Entry
@defense{SelbergBA, author = {Jakob Selberg}, title = {TestHarnessesForPointerBasedCPrograms}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_TestHarnessesForPointerBasedCPrograms_Selberg.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, } -
Software Verification with Numerical Domains in CPAchecker.
Defense
at LMU Munich,
25.
November
2020.
Keyword(s): Software Model Checking, CPAchecker
BibTeX Entry
@defense{ZehendnerBA, author = {Martin Zehendner}, title = {Software Verification with Numerical Domains in CPAchecker}, year = {2020}, keyword = {Software Model Checking, CPAchecker}, day = {25}, month = {November}, venue = {LMU Munich}, }
2019
-
SV-COMP.
Invited talk
at LorentzWS19,
18.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19SvComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-18_LorentzWS19_SV-COMP_Dirk.pdf}, day = {18}, month = {February}, venue = {LorentzWS19}, video = {}, } -
Benchmarking.
Invited talk
at LorentzWS19,
21.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19benchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-21_LorentzWS19_Benchmarking_Dirk.pdf}, day = {21}, month = {February}, venue = {LorentzWS19}, video = {}, } -
Correctness Witnesses.
Invited talk
at LorentzWS19,
22.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19Witnesses, author = {Dirk Beyer}, title = {Correctness Witnesses}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_LorentzWS19_CorrectnessWitnesses_Dirk.pdf}, day = {22}, month = {February}, venue = {LorentzWS19}, video = {}, } -
Benchmarking.
Invited talk
at ConVeY,
24.
October
2019.
Presentation
BibTeX Entry
@invitedtalk{ConVeYBenchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_Benchmarking_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, } -
SV-COMP.
Invited talk
at ConVeY,
24.
October
2019.
Presentation
BibTeX Entry
@invitedtalk{ConVeYSVComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_SV-COMP_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, } -
SecCSL.
Invited talk
at EliteSE,
01.
January
2019.
Presentation
BibTeX Entry
@invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, } -
CombiningVerifiersInConditionalModelChecking.
Conference talk
at SE19,
22.
February
2019.
Presentation
BibTeX Entry
@conferencetalk{SE19, author = {Marie-Christine Jakobs}, title = {CombiningVerifiersInConditionalModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_SE19_CombiningVerifiersInConditionalModelChecking_Marie.pdf}, day = {22}, month = {February}, venue = {SE19}, video = {}, } -
LtlSoftwareModelChecking.
Conference talk
at LMU Munich,
27.
March
2019.
Presentation
BibTeX Entry
@conferencetalk{BunkMA, author = {Thomas Bunk}, title = {LtlSoftwareModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-03-27_MA_LtlSoftwareModelChecking_Bunk.pdf}, day = {27}, month = {March}, venue = {LMU Munich}, video = {}, } -
SV-COMP19.
Conference talk
at SV-COMP19,
06.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{SVCOMP19, author = {Dirk Beyer}, title = {SV-COMP19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_SV-COMP_Dirk.pdf}, day = {06}, month = {April}, venue = {SV-COMP19}, video = {}, } -
Test-Comp19.
Conference talk
at Test-Comp19,
06.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{TestComp19, author = {Dirk Beyer}, title = {Test-Comp19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_Test-Comp_Dirk.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, } -
CoVeriTest.
Conference talk
at Test-Comp19,
06.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{TestComp19CoVeriTest, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_CoVeriTest_Marie.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, } -
PRTest: A plain random tester.
Conference talk
at Test-Comp19,
06.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{TestComp19PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_PRTest_Thomas.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, } -
SV-COMP at TOOLympics.
Conference talk
at TOOLympics19,
07.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{TOOLympics-SV-COMP, author = {Dirk Beyer}, title = {SV-COMP at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-SV-COMP_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, } -
Test-Comp at TOOLympics.
Conference talk
at TOOLympics19,
07.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{TOOLympics-Test-Comp, author = {Dirk Beyer}, title = {Test-Comp at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-Test-Comp_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, } -
Software Verification — An Overview of the State of the Art.
Conference talk
at ETAPS19,
09.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{ETAPS19SoftwareVerification, author = {Dirk Beyer}, title = {Software Verification — An Overview of the State of the Art}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-09_ETAPS19-Software-Verification_Dirk.pdf}, day = {09}, month = {April}, venue = {ETAPS19}, video = {}, } -
CoVeriTest.
Conference talk
at FASE19,
11.
April
2019.
Presentation
BibTeX Entry
@conferencetalk{FASE19, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-11_FASE19_CoVeriTest_Cooperative_Verifier-Based_Testing_Marie.pdf}, day = {11}, month = {April}, venue = {FASE19}, video = {}, } -
DataShowcase.
Conference talk
at MSR19,
25.
May
2019.
Presentation
BibTeX Entry
@conferencetalk{MSR19, author = {Dirk Beyer}, title = {DataShowcase}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-05-25_MSR19_DataShowcase.pdf}, day = {25}, month = {May}, venue = {MSR19}, video = {}, } -
CorrectnessWitnessValidationUsingPredicateAnalysis.
Conference talk
at LMU Munich,
05.
June
2019.
Presentation
BibTeX Entry
@conferencetalk{WieshollerBA, author = {Maximilian Wiesholler}, title = {CorrectnessWitnessValidationUsingPredicateAnalysis}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-05_BA_CorrectnessWitnessValidationUsingPredicateAnalysis_Wiesholler.pdf}, day = {05}, month = {June}, venue = {LMU Munich}, video = {}, } -
TT.
Conference talk
at TYPES,
07.
June
2019.
Presentation
BibTeX Entry
@conferencetalk{TypesInSV, author = {in_SV_Gidon}, title = {TT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-07_TYPES_TT_in_SV_Gidon.pdf}, day = {07}, month = {June}, venue = {TYPES}, video = {}, } -
SMTBasedVerificationOfECMAScriptProgramsInCPAchecker.
Conference talk
at LMU Munich,
26.
June
2019.
Presentation
BibTeX Entry
@conferencetalk{MaierMA, author = {Maier}, title = {SMTBasedVerificationOfECMAScriptProgramsInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-26_MA_SMTBasedVerificationOfECMAScriptProgramsInCPAchecker_Maier.pdf}, day = {26}, month = {June}, venue = {LMU Munich}, video = {}, } -
Conditional Testing. Off-the-Shelf Combination of Test-Case Generators.
Conference talk
at Hüttenseminar SoSy-Lab,
01.
July
2019.
Presentation
BibTeX Entry
@conferencetalk{Huette19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, } -
Testsuite Validator. Isolated test-suite execution and coverage measurement.
Conference talk
at Hüttenseminar SoSy-Lab,
01.
July
2019.
Presentation
BibTeX Entry
@conferencetalk{Huette19TestCov, author = {Thomas Lemberger}, title = {Testsuite Validator. Isolated test-suite execution and coverage measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Testsuite_Validator_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, } -
Future Plans with the Witness Format.
Conference talk
at Huette19,
02.
July
2019.
Presentation
BibTeX Entry
@conferencetalk{Huette19WitnessFormat, author = {Martin Spiessl}, title = {Future Plans with the Witness Format}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-02_Huette19_Future_Plans_With_The_Witness_Format_Martin.pdf}, day = {02}, month = {July}, venue = {Huette19}, video = {}, } -
Conditional Testing. Off-the-Shelf Combination of Test-Case Generators.
Conference talk
at 13th Alpine Verification Meeting (AVM 2019),
09.
September
2019.
Presentation
BibTeX Entry
@conferencetalk{AVM19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-09_AVM19_Conditional_Testing_Thomas.pdf}, day = {09}, month = {September}, venue = {13th Alpine Verification Meeting (AVM 2019)}, video = {}, } -
SecCSL: Security Concurrent_Separation_Logic.
Conference talk
at AVM19,
11.
September
2019.
Presentation
BibTeX Entry
@conferencetalk{AVM19SecCSL, author = {Gidon Ernst}, title = {SecCSL: Security Concurrent_Separation_Logic}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-11_AVM19-SecCSL_Security_Concurrent_Separation_Logic.pdf}, day = {11}, month = {September}, venue = {AVM19}, video = {}, } -
Cooperative Verification.
Conference talk
at CPA19-Chiemsee,
01.
October
2019.
Presentation
BibTeX Entry
@conferencetalk{CPA19CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-01_CPA19-Chiemsee_Cooperative-Verification_Dirk.pdf}, day = {01}, month = {October}, venue = {CPA19-Chiemsee}, video = {}, } -
VerifyThis tasks in sv-benchmarks.
Conference talk
at CPA19-VerifyThis,
02.
October
2019.
Presentation
BibTeX Entry
@conferencetalk{CPA19VerifyThis, author = {Gidon Ernst}, title = {VerifyThis tasks in sv-benchmarks}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19-VerifyThis_tasks_in_sv-benchmarks.pdf}, day = {02}, month = {October}, venue = {CPA19-VerifyThis}, video = {}, } -
Current Development Of CPAchecker.
Conference talk
at CPA19,
02.
October
2019.
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 = {}, } -
Conditional Testing. Off-the-Shelf Combination of Test-Case Generators.
Conference talk
at 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019),
29.
October
2019.
Presentation
BibTeX Entry
@conferencetalk{ATVA19, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-29_ATVA19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {29}, month = {October}, venue = {17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)}, video = {}, } -
TestCov: Robust Test-Suite Execution and Coverage Measurement.
Conference talk
at 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019),
12.
November
2019.
Presentation
Video
BibTeX Entry
@conferencetalk{ASE19, author = {Thomas Lemberger}, title = {TestCov: Robust Test-Suite Execution and Coverage Measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-12_ASE19_TestCov_Thomas_Lemberger.pdf}, day = {12}, month = {November}, venue = {34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, video = {https://youtu.be/sBv7eMpS6JM}, } -
NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker.
Defense
at LMU Munich,
09.
January
2019.
Presentation
BibTeX Entry
@defense{GerlachBA, author = {Gerlach}, title = {NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-01-09_BA_NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker_Gerlach.pdf}, day = {09}, month = {January}, venue = {LMU Munich}, video = {}, } -
MeasuringAndOptimizingEnergyConsumptionOfVerificationWork.
Defense
at LMU Munich,
30.
October
2019.
Presentation
BibTeX Entry
@defense{HailerBA, author = {Maximilian Hailer}, title = {MeasuringAndOptimizingEnergyConsumptionOfVerificationWork}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-30_BA_MeasuringAndOptimizingEnergyConsumptionOfVerificationWork_Hailer.pdf}, day = {30}, month = {October}, venue = {LMU Munich}, video = {}, } -
ModernArchitectureAndImprovedUIforTablesOfBenchExec.
Defense
at LMU Munich,
06.
November
2019.
Presentation
BibTeX Entry
@defense{BschorBA, author = {Laura Bschor}, title = {ModernArchitectureAndImprovedUIforTablesOfBenchExec}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-06_BA_ModernArchitectureAndImprovedUIforTablesOfBenchExec_Bschor.pdf}, day = {06}, month = {November}, venue = {LMU Munich}, video = {}, } -
Integration of the SMT Solver Boolector into JavaSMT.
Defense
at LMU Munich,
27.
November
2019.
Presentation
BibTeX Entry
@defense{BaierBA, author = {Daniel Baier}, title = {Integration of the SMT Solver Boolector into JavaSMT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-27_BA_IntegrationBoolectorInJavaSMT_Baier.pdf}, day = {27}, month = {November}, venue = {LMU Munich}, video = {}, }
2018
-
Stateful-and-Witnesses.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Witnesses, author = {Dirk Beyer}, title = {Stateful-and-Witnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-All_Stateful-and-Witnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
Stateful-Verification.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part1, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part1_Stateful-Verification.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
CorrectnessWitnesses.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part2, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part2_CorrectnessWitnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
ExecutionBasedValidation.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part3, author = {Dirk Beyer}, title = {ExecutionBasedValidation}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part3_ExecutionBasedValidation.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
Conclusion.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part4, author = {Dirk Beyer}, title = {Conclusion}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part4_Conclusion.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
Cooperative Verification (Keynote).
Invited talk
at TAP18,
27.
June
2018.
Presentation
BibTeX Entry
@invitedtalk{TAP18CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification (Keynote)}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-27_TAP18-Keynote-CooperativeVerification_Dirk.pdf}, day = {27}, month = {June}, venue = {TAP18}, video = {}, } -
Cooperative Verification.
Invited talk
at Konstanz-CooperativeVerification,
19.
July
2018.
Presentation
BibTeX Entry
@invitedtalk{KonstanzCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-19_Konstanz-CooperativeVerification_Dirk.pdf}, day = {19}, month = {July}, venue = {Konstanz-CooperativeVerification}, video = {}, } -
Cooperative Verification.
Invited talk
at fortiss-CooperativeVerification,
27.
July
2018.
Presentation
BibTeX Entry
@invitedtalk{fortissCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-27_fortiss-CooperativeVerification_Dirk.pdf}, day = {27}, month = {July}, venue = {fortiss-CooperativeVerification}, video = {}, } -
Cooperative Verification.
Invited talk
at BTU Cottbus,
28.
September
2018.
Presentation
BibTeX Entry
@invitedtalk{CottbusCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-28_BTU-Cottbus_CooperativeVerification_Dirk.pdf}, day = {28}, month = {September}, venue = {BTU Cottbus}, video = {}, } -
CPAchecker.
Conference talk
at RiSE-Winterschool18,
08.
February
2018.
Presentation
BibTeX Entry
@conferencetalk{RiSEWinterSchoolPart1, author = {Dirk Beyer}, title = {CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part1_CPAchecker.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, } -
LazyAbstraction.
Conference talk
at RiSE-Winterschool18,
08.
February
2018.
Presentation
BibTeX Entry
@conferencetalk{RiSEWinterSchoolPart2, author = {Dirk Beyer}, title = {LazyAbstraction}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part2_LazyAbstraction.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, } -
AlgorithmsSMT.
Conference talk
at RiSE-Winterschool18,
08.
February
2018.
Presentation
BibTeX Entry
@conferencetalk{RiSEWinterSchoolPart3, author = {Dirk Beyer}, title = {AlgorithmsSMT}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part3_AlgorithmsSMT.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, } -
Stateful-Verification.
Conference talk
at RiSE-Winterschool18,
08.
February
2018.
Presentation
BibTeX Entry
@conferencetalk{RiSEWinterSchoolPart4, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part4_Stateful-Verification.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, } -
Beiträge Zu Praktikabler Prädikatenanalyse.
Conference talk
at GiDiss,
08.
May
2018.
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 = {}, } -
CPAchecker.
Conference talk
at SSFT Summer School18,
23.
May
2018.
Presentation
BibTeX Entry
@conferencetalk{SSFTSummerSchoolPart1, author = {Dirk Beyer}, title = {CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-23_SSFTSummerSchoolPart1_CPAchecker.pdf}, day = {23}, month = {May}, venue = {SSFT Summer School18}, video = {}, } -
AlgorithmsSMT.
Conference talk
at SSFT Summer School18,
23.
May
2018.
Presentation
BibTeX Entry
@conferencetalk{SSFTSummerSchoolPart2, author = {Dirk Beyer}, title = {AlgorithmsSMT}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-23_SSFTSummerSchoolPart2_AlgorithmsSMT.pdf}, day = {23}, month = {May}, venue = {SSFT Summer School18}, video = {}, } -
CMC-Reducers.
Conference talk
at SSFT Summer School18,
24.
May
2018.
Presentation
BibTeX Entry
@conferencetalk{SSFTSummerSchoolPart3, author = {Dirk Beyer}, title = {CMC-Reducers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart3_CMC-Reducers.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, } -
CorrectnessWitnesses.
Conference talk
at SSFT Summer School18,
24.
May
2018.
Presentation
BibTeX Entry
@conferencetalk{SSFTSummerSchoolPart4, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart4_CorrectnessWitnesses.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, } -
TestsFromWitnesses.
Conference talk
at SSFT Summer School18,
24.
May
2018.
Presentation
BibTeX Entry
@conferencetalk{SSFTSummerSchoolPart5, author = {Dirk Beyer}, title = {TestsFromWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart5_TestsFromWitnesses.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, } -
ReducerBasedConstructionOfConditionalVerifiers.
Conference talk
at ICSE18,
01.
June
2018.
Presentation
BibTeX Entry
@conferencetalk{ICSE18, author = {Marie-Christine Jakobs}, title = {ReducerBasedConstructionOfConditionalVerifiers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-01_ICSE18_ReducerBasedConstructionOfConditionalVerifiers_Marie.pdf}, day = {01}, month = {June}, venue = {ICSE18}, video = {}, } -
CPA-SymExec: Efficient Symbolic Execution in CPAchecker.
Conference talk
at ASE18,
07.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{ASE18SymExec, author = {Thomas Lemberger}, title = {CPA-SymExec: Efficient Symbolic Execution in CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-07_ASE18_CPASymExec_Thomas.pdf}, day = {07}, month = {September}, venue = {ASE18}, video = {}, } -
Domain-Independent Multi-threaded Software Model Checking.
Conference talk
at ASE18,
07.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{ASE18Bam, author = {Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-07_ASE18_ParallelBAM_Karlheinz.pdf}, day = {07}, month = {September}, venue = {ASE18}, video = {}, } -
CooperativeTestCaseGeneration.
Conference talk
at CPA18,
25.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18CoVeriTest, author = {Marie-Christine Jakobs}, title = {CooperativeTestCaseGeneration}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_CooperativeTestCaseGeneration_Marie.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, } -
New Developments In BenchExec.
Conference talk
at CPA18,
25.
September
2018.
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 = {}, } -
Domain-Independent Multi-threaded Software Model Checking.
Conference talk
at CPA18,
25.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18Bam, author = {Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_ParallelBAM_Karlheinz.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, } -
Reducer-Based Construction of Conditional Model Checkers.
Conference talk
at CPA18,
25.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18Reducers, author = {Dirk Beyer}, title = {Reducer-Based Construction of Conditional Model Checkers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_ReducerBasedConstruction_Dirk.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, } -
StrategySelection.
Conference talk
at CPA18,
25.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18StrategySelection, author = {Matthias Dangl}, title = {StrategySelection}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_StrategySelection_Matthias.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, } -
Incremental Slicing. CEGAR + Program Slicing.
Conference talk
at CPA18,
26.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18IncrementalSlicing, author = {Thomas Lemberger}, title = {Incremental Slicing. CEGAR + Program Slicing}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-26_CPA18_IncrementalSlicing_Thomas.pdf}, day = {26}, month = {September}, venue = {CPA18}, video = {}, } -
Slicing Abstractions.
Conference talk
at CPA18,
26.
September
2018.
Presentation
BibTeX Entry
@conferencetalk{CPA18SlicingAbstractions, author = {Martin Spiessl}, title = {Slicing Abstractions}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-26_CPA18_SlicingAbstractions_Martin.pdf}, day = {26}, month = {September}, venue = {CPA18}, video = {}, } -
Strategy Selection.
Conference talk
at ISoLA18,
05.
November
2018.
Presentation
BibTeX Entry
@conferencetalk{ISoLA18StrategySelection, author = {Dirk Beyer}, title = {Strategy Selection}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-05_ISoLA18_StrategySelection_Dirk.pdf}, day = {05}, month = {November}, venue = {ISoLA18}, video = {}, } -
In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.
Conference talk
at ISoLA18,
06.
November
2018.
Presentation
BibTeX Entry
@conferencetalk{ISoLA18Bam, author = {Dirk Beyer}, title = {In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-06_ISoLA18_BAM-CoW-Refinement_Dirk.pdf}, day = {06}, month = {November}, venue = {ISoLA18}, video = {}, } -
Applying CPAchecker to Large Explicit State Spaces.
Conference talk
at ISoLA18,
08.
November
2018.
Presentation
BibTeX Entry
@conferencetalk{ISoLA18RersCPAchecker, author = {Dirk Beyer}, title = {Applying CPAchecker to Large Explicit State Spaces}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-08_ISoLA18_RERS-CPAchecker-Participation-Report_Dirk.pdf}, day = {08}, month = {November}, venue = {ISoLA18}, video = {}, }
2017
-
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 = {}, } -
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 = {}, } -
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 = {}, }
2016
-
SymbolicExecutionWithCegar.
Conference talk
at ISoLA16,
10.
October
2016.
Presentation
BibTeX Entry
@conferencetalk{ISoLA16, author = {Dirk Beyer}, title = {SymbolicExecutionWithCegar}, year = {2016}, presentation = {https://www.sosy-lab.org/research/prs/2016-10-10_ISoLA16_SymbolicExecutionWithCegar_Dirk.pdf}, day = {10}, month = {October}, venue = {ISoLA16}, video = {}, }
2015
-
Reliable Benchmarking of Software Verification in the Cloud.
Conference talk
at HPI Potsdam Future SOC Lab Day (Spring 2015),
15.
April
2015.
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 = {HPI Potsdam Future SOC Lab Day (Spring 2015)}, }
2013
-
InformationReuse.
Conference talk
at ESOP13,
21.
March
2013.
Presentation
BibTeX Entry
@conferencetalk{ESOP13, author = {Andreas Stahlbauer}, title = {InformationReuse}, year = {2013}, presentation = {https://www.sosy-lab.org/research/prs/2013-03-21_ESOP13_InformationReuse_Andreas.pdf}, day = {21}, month = {March}, venue = {ESOP13}, video = {}, }
2010
-
DepDegree.
Conference talk
01.
June
2010.
Presentation
BibTeX Entry
@conferencetalk{DepDegree, author = {Dirk Beyer}, title = {DepDegree}, year = {2010}, presentation = {https://www.sosy-lab.org/research/prs/2010-06_DepDegree.pdf}, day = {01}, month = {June}, venue = {}, video = {}, }
2009
-
CPAplus.
Invited talk
at UCB,
16.
April
2009.
Presentation
BibTeX Entry
@invitedtalk{UCB, author = {Dirk Beyer}, title = {CPAplus}, year = {2009}, presentation = {https://www.sosy-lab.org/research/prs/2009-04-16_UCB_CPAplus.pdf}, day = {16}, month = {April}, venue = {UCB}, video = {}, }
2008
-
BLAST.
Invited talk
at EPFL,
08.
May
2008.
Presentation
BibTeX Entry
@invitedtalk{EPFL, author = {Dirk Beyer}, title = {BLAST}, year = {2008}, presentation = {https://www.sosy-lab.org/research/prs/2008-05-08_EPFL_BLAST_Dirk.pdf}, day = {08}, month = {May}, venue = {EPFL}, video = {}, }
2007
-
Configurable-Program-Analysis.
Conference talk
at CAV07,
07.
July
2007.
Presentation
BibTeX Entry
@conferencetalk{CAV07, author = {Dirk Beyer}, title = {Configurable-Program-Analysis}, year = {2007}, presentation = {https://www.sosy-lab.org/research/prs/2007-07-07_CAV07_Configurable-Program-Analysis.pdf}, day = {07}, month = {July}, venue = {CAV07}, 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.