| 2026 | TACAS | A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. | Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger |
| 2025 | AAAI | Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh |
| 2025 | CAV | Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | TACAS | Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. | Zsfia dm, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg |
| 2024 | TACAS | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler |
| 2024 | TACAS | CPV: A Circuit-Based Program Verifier. | Po-Chun Chien, Nian-Ze Lee |
| 2023 | TACAS | Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. | Dirk Beyer, Po-Chun Chien, Nian-Ze Lee |
| 2021 | AAAI | Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty. | Nian-Ze Lee, Jie-Hong R. Jiang |
| 2020 | DATE | Engineering Change Order for Combinational and Sequential Design Rectification. | Jie-Hong R. Jiang, Victor N. Kravets, Nian-Ze Lee |
| 2019 | DAC | Comprehensive Search for ECO Rectification Using Symbolic Sampling. | Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang |
| 2019 | GECCO | Stability analysis for safety of automotive multi-product lines: a search-based approach. | Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa |
| 2019 | ICCAD | Searching Parallel Separating Hyperplanes for Effective Compression of Threshold Logic Networks. | Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang |
| 2019 | ICST | Scenario Sampling for Cyber Physical Systems using Combinatorial Testing. | Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee |
| 2018 | DAC | 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 |
| 2018 | ICCAD | Canonicalization of threshold logic representation and its applications. | Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang |
| 2018 | IJCAI | Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection. | Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang |
| 2017 | ICCAD | Sequential engineering change order under retiming and resynthesis. | Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang |
| 2017 | IJCAI | Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. | Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang |
| 2016 | ICCAD | 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 |
| 2014 | ICCAD | Towards formal evaluation and verification of probabilistic design. | Nian-Ze Lee, Jie-Hong R. Jiang |