Time-Frame Folding: Back to the Sequentiality. - Po-Chun Chien; Jie-Hong R. Jiang (ICCAD, 2019)

Time Multiplexing via Circuit Folding. - Po-Chun Chien; Jie-Hong R. Jiang (DAC, 2020)

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. - Shubham Rai; Walter Lau Neto; Yukio Miyasaka; Xinpei Zhang; Mingfei Yu; Qingyang Yi; Masahiro Fujita; Guilherme B. Manske; Matheus F. Pontes; Leomar S. da Rosa; Marilton S. de Aguiar; Paulo F. Butzen; et al. (DATE, 2021)

Compatible Equivalence Checking of X-Valued Circuits. - Yu-Neng Wang; Yun-Rong Luo; Po-Chun Chien; Ping-Lun Wang; Hao-Ren Wang; Wan-Hsuan Lin; Jie-Hong Roland Jiang; Chung-Yang (Ric) Huang (ICCAD, 2021)

Reproduction Package for TACAS 2023 Submission 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. - Dirk Beyer 001; Nian-Ze Lee; Po-Chun Chien (Zenodo, 2022)

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (ASE, 2023)

Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (TACAS (2), 2023)

Reproduction Package for TACAS 2023 Article 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'. - Dirk Beyer 001; Nian-Ze Lee; Po-Chun Chien (Zenodo, 2023)

Reproduction Package for ASE 2023 Tool-Demo Submission 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS). - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2023)

Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2023)

Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (ASE, 2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (SPIN, 2024)

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (TACAS (3), 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

CPV: A Circuit-Based Program Verifier. - Po-Chun Chien; Nian-Ze Lee (TACAS (3), 2024)

MoXIchecker: An Extensible Model Checker for MoXI. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (VSTTE, 2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version). - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (CoRR, 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Proc. ACM Softw. Eng., 2024)

Reproduction package for SPIN 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'. - Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2024)

Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

MoXIchecker Release 0.1. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Btor2-Cert (HWMCC 2024 Submission). - Zsófia Ádám; Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud Release 1.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Btor2-SelectMC (HWMCC 2024 Submission). - Zhengyang John Lu; Po-Chun Chien; Nian-Ze Lee; Vijay Ganesh 001 (Zenodo, 2024)

Btor2-SelectMC (HWMCC 2024 Submission). - Zhengyang John Lu; Po-Chun Chien; Nian-Ze Lee; Vijay Ganesh 001 (Zenodo, 2024)

MoXIchecker Release 0.2. - Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

BenchCloud Release 1.2. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

BenchCloud Release 1.2.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

BenchCloud Release 1.3. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). - Zhengyang Lu 002; Po-Chun Chien; Nian-Ze Lee; Vijay Ganesh 001 (AAAI, 2025)

Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. - Zhengyang Lu 002; Po-Chun Chien; Nian-Ze Lee; Arie Gurfinkel; Vijay Ganesh 001 (CAV (1), 2025)