Dirk Beyer and Nian-Ze Lee, “The Transformation Game: Joining Forces for Verification,” Principles of Verification: Cycling the Probabilistic Landscape, Lecture Notes in Computer Science 15262, 175-205, Nov. 2024
Dirk Beyer, Po-Chun Chien, Marek Jankola, and Nian-Ze Lee, “A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification,” Proceedings of the ACM on Software Engineering, 1, 2028-2050, Jul. 2024
Marie-Christine Jakobs and Nian-Ze Lee, “Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023),” ACM SIGSOFT Software Engineering Notes, 49, 25-26, Apr. 2024
Nian-Ze Lee and Jie-Hong R. Jiang, “Constraint Solving for Synthesis and Verification of Threshold Logic Circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40, 904-917, May 2021
Nian-Ze Lee and Jie-Hong R. Jiang, “Towards Formal Evaluation and Verification of Probabilistic Design,” IEEE Transactions on Computers, 67, 1202-1216, Aug. 2018
Conference & proceeding papers:
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, and Philipp Wendler, “Software Verification with CPAchecker 3.0: Tutorial and User Guide,” International Symposium on Formal Methods (FM), 543-570, 2024
Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “Augmenting Interpolation-Based Model Checking with Auxiliary Invariants,” International Symposium on Model Checking Software (SPIN), 227-247, 2024
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, and Nils Sirrenberg, “Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 129-149, 2024
Po-Chun Chien and Nian-Ze Lee, “CPV: A Circuit-Based Program Verifier,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 365-370, 2024
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch-Rosenfeld, Martin Spiessl, Henrik Wachowitz, and Philipp Wendler, “CPAchecker 2.3 with Strategy Selection,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 359-364, 2024
Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification,” IEEE/ACM International Conference on Automated Software Engineering (ASE), 2050-2053, 2023
Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator,” International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 152-172, 2023
Nian-Ze Lee and Jie-Hong R. Jiang, “Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty,” AAAI Conference on Artificial Intelligence, 3877-3885, 2021
Jie-Hong R. Jiang, Victor N. Kravets, and Nian-Ze Lee, “Engineering Change Order for Combinational and Sequential Design Rectification,” Design, Automation & Test in Europe Conference & Exhibition (DATE), 726-731, 2020
Victor N. Kravets, Nian-Ze Lee, and Jie-Hong R. Jiang, “Comprehensive Search for ECO Rectification Using Symbolic Sampling,” Annual Design Automation Conference (DAC), 71:1-71:6, 2019
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, and Nian-Ze Lee, “Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain,” International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), 12:1-12:6, 2019
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, and Nian-Ze Lee, “Scenario Sampling for Cyber Physical Systems Using Combinatorial Testing,” International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 198-199, 2019
Siang-Yun Lee, Nian-Ze Lee, and Jie-Hong R. Jiang, “Searching Parallel Separating Hyperplanes for Effective Compression of Threshold Logic Networks,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, and Fuyuki Ishikawa, “Stability Analysis for Safety of Automotive Multi-Product Lines: A Search-Based Approach,” Genetic and Evolutionary Computation Conference (GECCO), 1241-1249, 2019
Siang-Yun Lee, Nian-Ze Lee, and Jie-Hong R. Jiang, “Canonicalization of Threshold Logic Representation and Its Applications,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 85:1-85:8, 2018
Nian-Ze Lee, Yen-Shi Wang, and Jie-Hong R. Jiang, “Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection,” International Joint Conference on Artificial Intelligence (IJCAI), 1339-1345, 2018
Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, and Robert K. Brayton, “Efficient Computation of ECO Patch Functions,” Annual Design Automation Conference (DAC), 51:1-51:6, 2018
Nian-Ze Lee, Victor N. Kravets, and Jie-Hong R. Jiang, “Sequential Engineering Change Order under Retiming and Resynthesis,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 109-116, 2017
Nian-Ze Lee, Yen-Shi Wang, and Jie-Hong R. Jiang, “Solving Stochastic Boolean Satisfiability under Random-Exist Quantification,” International Joint Conference on Artificial Intelligence (IJCAI), 688-694, 2017
Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, and Jie-Hong R. Jiang, “Analytic Approaches to the Collapse Operation and Equivalence Verification of Threshold Logic Circuits,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 5:1-5:8, 2016
Nian-Ze Lee and Jie-Hong R. Jiang, “Towards Formal Evaluation and Verification of Probabilistic Design,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 340-347, 2014
Books:
Nian-Ze Lee, “Stochastic Boolean Satisfiability: Decision Procedures, Generalization, and Applications,” National Taiwan University, Taiwan, Jul. 2021
other:
Salih Ates, Dirk Beyer, Po-Chun Chien, and Nian-Ze Lee, “MoXIchecker: An Extensible Model Checker for MoXI,” 2024, arXiv/CoRR, 2407(15551)