Thomas Pani

From MaRDI portal
Person:526769

Available identifiers

zbMath Open pani.thomasMaRDI QIDQ526769

List of research outcomes





PublicationDate of PublicationType
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification2025-01-13Paper
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free2021-12-08Paper
Empirical software metrics for benchmarking of verification tools2017-05-15Paper

Research outcomes over time

This page was built for person: Thomas Pani

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:526769&oldid=7814184"
Powered by MediaWiki