Thomas Pani
Thomas Pani
Bestätigte E-Mail-Adresse bei forsyte.tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
322015
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
42018
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
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3