Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits. - Nian-Ze Lee; Hao-Yuan Kuo; Yi-Hsiang Lai; Jie-Hong R. Jiang (ICCAD, 2016)

Sequential engineering change order under retiming and resynthesis. - Nian-Ze Lee; Victor N. Kravets; Jie-Hong R. Jiang (ICCAD, 2017)

Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. - Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang (IJCAI, 2017)

Efficient computation of ECO patch functions. - Ai Quoc Dao; Nian-Ze Lee; Li-Cheng Chen; Mark Po-Hung Lin; Jie-Hong R. Jiang; Alan Mishchenko; Robert K. Brayton (DAC, 2018)

Canonicalization of threshold logic representation and its applications. - Siang-Yun Lee; Nian-Ze Lee; Jie-Hong R. Jiang (ICCAD, 2018)

Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection. - Nian-Ze Lee; Yen-Shi Wang; Jie-Hong R. Jiang (IJCAI, 2018)

Towards Formal Evaluation and Verification of Probabilistic Design. - Nian-Ze Lee; Jie-Hong R. Jiang (IEEE Trans. Computers, 2018)

Comprehensive Search for ECO Rectification Using Symbolic Sampling. - Victor N. Kravets; Nian-Ze Lee; Jie-Hong R. Jiang (DAC, 2019)

Stability analysis for safety of automotive multi-product lines: a search-based approach. - Nian-Ze Lee; Paolo Arcaini; Shaukat Ali 001; Fuyuki Ishikawa (GECCO, 2019)

Searching Parallel Separating Hyperplanes for Effective Compression of Threshold Logic Networks. - Siang-Yun Lee; Nian-Ze Lee; Jie-Hong R. Jiang (ICCAD, 2019)

Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. - Akihisa Yamada 002; Clovis Eberhart; Fuyuki Ishikawa; Nian-Ze Lee (ICST Workshops, 2019)

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. - Shaukat Ali 001; Paolo Arcaini; Ichiro Hasuo; Fuyuki Ishikawa; Nian-Ze Lee (VaMoS, 2019)

Engineering Change Order for Combinational and Sequential Design Rectification. - Jie-Hong R. Jiang; Victor N. Kravets; Nian-Ze Lee (DATE, 2020)

Reproduction Package for TACAS 2021 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2020)

Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty. - Nian-Ze Lee; Jie-Hong R. Jiang (AAAI, 2021)

Constraint Solving for Synthesis and Verification of Threshold Logic Circuits. - Nian-Ze Lee; Jie-Hong R. Jiang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Reproduction Package for ICSE 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2021)

Reproduction Package for CAV 2022 Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

Reproduction Package for JAR Submission 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (Zenodo, 2022)

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 JAR Article 'Interpolation and SAT-Based Model Checking Revisited'. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (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)

The Transformation Game: Joining Forces for Verification. - Dirk Beyer 001; Nian-Ze Lee (Principles of Verification (3), 2024)

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)

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)

Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023). - Marie-Christine Jakobs; Nian-Ze Lee (ACM SIGSOFT Softw. Eng. Notes, 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)

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)

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)

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)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. - Dirk Beyer 001; Nian-Ze Lee; Philipp Wendler (J. Autom. Reason., 2025)