Follow
Thomas Pani
Thomas Pani
Independent / Self-employed
No verified email - Homepage
Title
Cited by
Cited by
Year
Empirical software metrics for benchmarking of verification tools
Y Demyanova, T Pani, H Veith, F Zuleger
International Conference on Computer Aided Verification, 561-579, 2015
502015
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms
T Pani, G Weissenbacher, F Zuleger
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
72018
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs: With an application to proving that non-blocking algorithms are bounded lock-free
T Pani, G Weissenbacher, F Zuleger
Formal Methods in System Design 57 (2), 270-302, 2021
32021
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
T Pani, G Weissenbacher, F Zuleger
Formal Methods in System Design, 1-38, 2023
12023
Thread-modular Counter Abstraction for Parameterized Program Safety
T Pani, G Weissenbacher, F Zuleger
2020 Formal Methods in Computer Aided Design (FMCAD), 67-76, 2020
12020
Thread-Modular Verification of Parameterized Programs
DIT Pani
Technische Universität Wien, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6