Po-Chun Chien
Orcid: 0000-0001-5139-5178
According to our database1,
Po-Chun Chien
authored at least 13 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Proc. ACM Softw. Eng., 2024
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).
CoRR, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
2021
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
Proceedings of the International Conference on Computer-Aided Design, 2019