Nian-Ze Lee

36 papers A* 7A 7Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module.
TACAS (2)
Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger
2025 A* conf
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract).
AAAI
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh
2025 — conf
Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking.
CAV (1)
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh
2025 J jnl
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
J. Autom. Reason.
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
2024 J jnl
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Proc. ACM Softw. Eng.
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
2024 J jnl
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).
CoRR
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024 — conf
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.
SPIN
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024 — conf
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.
TACAS (3)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
2024 — conf
CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
TACAS (3)
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 — conf
CPV: A Circuit-Based Program Verifier.
TACAS (3)
Po-Chun Chien, Nian-Ze Lee
2024 — conf
MoXIchecker: An Extensible Model Checker for MoXI.
VSTTE
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024 J jnl
MoXIchecker: An Extensible Model Checker for MoXI.
CoRR
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2024 J jnl
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).
CoRR
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 — conf
Software Verification with CPAchecker 3.0: Tutorial and User Guide.
FM (2)
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 J jnl
Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023).
ACM SIGSOFT Softw. Eng. Notes
Marie-Christine Jakobs, Nian-Ze Lee
2024 — conf
The Transformation Game: Joining Forces for Verification.
Principles of Verification (3)
Dirk Beyer, Nian-Ze Lee
2023 — conf
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.
TACAS (2)
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2023 A* conf
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.
ASE
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
2022 J jnl
Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification.
CoRR
Dirk Beyer, Nian-Ze Lee, Philipp Wendler
2021 J jnl
Constraint Solving for Synthesis and Verification of Threshold Logic Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Nian-Ze Lee, Jie-Hong R. Jiang
2021 A* conf
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty.
AAAI
Nian-Ze Lee, Jie-Hong R. Jiang
2020 A conf
Engineering Change Order for Combinational and Sequential Design Rectification.
DATE
Jie-Hong R. Jiang, Victor N. Kravets, Nian-Ze Lee
2019 A* conf
Comprehensive Search for ECO Rectification Using Symbolic Sampling.
DAC
Victor N. Kravets, Nian-Ze Lee, Jie-Hong R. Jiang
2019 J jnl
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty.
CoRR
Nian-Ze Lee, Jie-Hong R. Jiang
2019 — conf
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing.
ICST Workshops
Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa, Nian-Ze Lee
2019 A conf
Searching Parallel Separating Hyperplanes for Effective Compression of Threshold Logic Networks.
ICCAD
Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang
2019 A conf
Stability analysis for safety of automotive multi-product lines: a search-based approach.
GECCO
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
2019 — conf
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
VaMoS
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
2018 A conf
Canonicalization of threshold logic representation and its applications.
ICCAD
Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang
2018 A* conf
Efficient computation of ECO patch functions.
DAC
Ai Quoc Dao, Nian-Ze Lee, Li-Cheng Chen, Mark Po-Hung Lin, Jie-Hong R. Jiang, Alan Mishchenko, Robert K. Brayton
2018 A* conf
Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection.
IJCAI
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang
2018 J jnl
Towards Formal Evaluation and Verification of Probabilistic Design.
IEEE Trans. Computers
Nian-Ze Lee, Jie-Hong R. Jiang
2017 A conf
Sequential engineering change order under retiming and resynthesis.
ICCAD
Nian-Ze Lee, Victor N. Kravets, Jie-Hong R. Jiang
2017 A* conf
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.
IJCAI
Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang
2016 A conf
Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits.
ICCAD
Nian-Ze Lee, Hao-Yuan Kuo, Yi-Hsiang Lai, Jie-Hong R. Jiang
2014 A conf
Towards formal evaluation and verification of probabilistic design.
ICCAD
Nian-Ze Lee, Jie-Hong R. Jiang