Παρακολούθηση
Thomas Pani
Thomas Pani
Independent / Self-employed
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα thpani.net - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–6