Name Card

Full name Familienname, Vorname
Pani, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-9 of 9 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
2Pani Thomas - 2021 - Thread-modular verification of parameterized programs.pdf.jpgPani, Thomas Thread-modular verification of parameterized programsThesis Hochschulschrift 2021
3Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
413_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
5Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsKonferenzbeitrag Inproceedings 2018
6Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical software metrics for benchmarking of verification toolsArtikel Article 2017
7Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical Software Metrics for Benchmarking of Verification ToolsKonferenzbeitrag Inproceedings 2015
8Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Loop Patterns in C ProgramsArtikel Article2015
9Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013