Thomas Pani

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 5

Top Topics

Development Effort

Software Metrics

Threshold Values

Stopping Criterion

Top Venues

Formal Methods Syst. Des.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Thomas Pani, Georg Weissenbacher, Florian Zuleger
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. Formal Methods Syst. Des. 57 (2) (2021)
Thomas Pani, Georg Weissenbacher, Florian Zuleger
Thread-modular Counter Abstraction for Parameterized Program Safety. FMCAD (2020)
Thomas Pani, Georg Weissenbacher, Florian Zuleger
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. FMCAD (2018)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Formal Methods Syst. Des. 50 (2-3) (2017)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Software Engineering (2016)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical Software Metrics for Benchmarking of Verification Tools. CAV (1) (2015)
Thomas Pani, Helmut Veith, Florian Zuleger
Loop Patterns in C Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)