Thomas Pani

According to our database, Thomas Pani authored at least 5 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Formal Methods Syst. Des., 2021

2020

Thread-modular Counter Abstraction for Parameterized Program Safety.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2018

Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Empirical software metrics for benchmarking of verification tools.

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Formal Methods Syst. Des., 2017

2015

Loop Patterns in C Programs.

Thomas Pani, Helmut Veith, Florian Zuleger

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