Publications about Error Conditions
Theses and projects (PhD, MSc, BSc, Project)
-
CEGECoRe: Finding Precise Error Conditions Using CPAchecker.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2025.
Keyword(s):
Software Model Checking,
Error Conditions
PDF
BibTeX Entry
@misc{HajujCEGECoRe, author = {Felix Hajuj}, title = {CEGECoRe: Finding Precise Error Conditions Using CPAchecker}, year = {2025}, pdf = {https://www.sosy-lab.org/research/bsc/2025.Hajuj.CEGECoRe_Finding_Precise_Error_Conditions_Using_CPAchecker.pdf}, keyword = {Software Model Checking, Error Conditions}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, } -
Validation of Error Conditions as Violation Witnesses in CPAchecker.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2025.
Keyword(s):
Software Model Checking,
Error Conditions
BibTeX Entry
@misc{KoeppelValidationErrorConditions, author = {Tim Köppel}, title = {Validation of Error Conditions as Violation Witnesses in CPAchecker}, year = {2025}, keyword = {Software Model Checking, Error Conditions}, _pdf = {https://www.sosy-lab.org/research/bsc/2025.Koeppel.Validation_of_Error_Conditions_as_Violation_Witnesses_in_CPAchecker.restricted.pdf}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, } -
Enhancing Distributed Summary Synthesis with Data-Flow Analysis.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2024.
Keyword(s):
Software Model Checking,
Error Conditions
PDF
BibTeX Entry
@misc{RuckstuhlDssWithDf, author = {Sara Ruckstuhl}, title = {Enhancing Distributed Summary Synthesis with Data-Flow Analysis}, year = {2024}, pdf = {https://www.sosy-lab.org/research/bsc/2024.Ruckstuhl.Enhancing_DSS_with_DF.pdf}, keyword = {Software Model Checking, Error Conditions}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, } -
Reconstruction of Verification Witnesses in Distributed Summary Synthesis.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2024.
Keyword(s):
Software Model Checking,
Error Conditions
BibTeX Entry
@misc{ZakzoukWitnessesInDss, author = {Omar Zakzouk}, title = {Reconstruction of Verification Witnesses in Distributed Summary Synthesis}, year = {2024}, keyword = {Software Model Checking, Error Conditions}, _pdf = {https://www.sosy-lab.org/research/bsc/2024.Zakzouk.Reconstruction_of_Witnesses_in_DSS.pdf}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, } -
Validation of Error Invariants in CPAchecker.
Bachelor's Thesis, LMU Munich, Software Systems Lab,
2024.
Keyword(s):
Software Model Checking,
Error Conditions
BibTeX Entry
@misc{KatzValidationErrorInvariants, author = {Oz Katz}, title = {Validation of Error Invariants in CPAchecker}, year = {2024}, keyword = {Software Model Checking, Error Conditions}, _pdf = {https://www.sosy-lab.org/research/bsc/2024.Katz.Validation_of_Error_Invariants.pdf}, field = {Computer Science}, howpublished = {Bachelor's Thesis, LMU Munich, Software Systems Lab}, }
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.