Thomas Pani

According to our database, Thomas Pani authored at least 7 papers between 2015 and 2025.

Collaborative distances:

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

2025

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.

Igor Konnov, Jure Kukovec, Thomas Pani, Roberto Saltini, Thanh-Hai Tran

CoRR, January, 2025

2024

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification.

Thomas Pani, Georg Weissenbacher, Florian Zuleger

Formal Methods Syst. Des., December, 2024

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