Thomas Pani
Orcid: 0000-0002-4434-0248
According to our database1,
Thomas Pani
authored at least 6 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification.
Formal Methods Syst. Des., December, 2024
2021
Formal Methods Syst. Des., 2021
2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Formal Methods Syst. Des., 2017
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015