We stand with Ukraine

We stand with Ukraine

Matthias Dangl

Orcid: 0000-0001-7333-6734

According to our database¹, Matthias Dangl authored at least 24 papers between 2015 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Witness-based validation of verification results with applications to software-model checking.

[BibT_eX]

[DOI]

PhD thesis, 2022

Verification Witnesses.

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

,

Thomas Lemberger

,

Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 2022

2021

Correction to: A Unifying View on SMT-Based Software Verification.

[BibT_eX]

[DOI]

,

,

Philipp Wendler

J. Autom. Reason., 2021

2020

Reproduction Package for TOSEM Article 'Verification Witnesses'.

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

,

Thomas Lemberger

,

Michael Tautschnig

Dataset, March, 2020

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'.

[BibT_eX]

[DOI]

,

Dataset, February, 2020

Software Verification with PDR: An Implementation of the State of the Art.

[BibT_eX]

[DOI]

,

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'.

[BibT_eX]

[DOI]

,

Dataset, October, 2019

Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'.

[BibT_eX]

[DOI]

,

Dataset, August, 2019

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.

[BibT_eX]

[DOI]

,

CoRR, 2019

2018

A Unifying View on SMT-Based Software Verification.

[BibT_eX]

[DOI]

,

,

Philipp Wendler

J. Autom. Reason., 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.

[BibT_eX]

[DOI]

,

,

Thomas Lemberger

,

Michael Tautschnig

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

[BibT_eX]

[DOI]

,

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

Exchanging Verification Witnesses between Verifiers.

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

Proceedings of the Software Engineering 2017, 2017

2016

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

Dataset, July, 2016

Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.

[BibT_eX]

[DOI]

,

Dataset, July, 2016

Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.

[BibT_eX]

[DOI]

,

Dataset, July, 2016

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.

[BibT_eX]

[DOI]

,

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Correctness witnesses: exchanging verification results between verifiers.

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.

[BibT_eX]

[DOI]

,

,

,

Matthias Heizmann

,

Andreas Stahlbauer

Proceedings of the Software Engineering 2016, 2016

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.

[BibT_eX]

[DOI]

,

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'.

[BibT_eX]

[DOI]

,

,

Philipp Wendler

Dataset, June, 2015

Combining k-Induction with Continuously-Refined Invariants.

[BibT_eX]

[DOI]

,

,

Philipp Wendler

CoRR, 2015

CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).

[BibT_eX]

[DOI]

,

,

Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.

[BibT_eX]

[DOI]

,

,

Philipp Wendler

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Loading...