| 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 | 50 | 2015 |
| 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 | 7 | 2018 |
| 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 | 3 | 2021 |
| 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 | 1 | 2023 |
| 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 | 1 | 2020 |
| Thread-Modular Verification of Parameterized Programs DIT Pani Technische Universität Wien, 2021 | | 2021 |
Florian ZulegerAssociate Professor, TU WienEmail confirmado em forsyte.tuwien.ac.at
