Nian-Ze Lee

4 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FSE ×2 AAAI ×1 FM ×1

Frequent coauthors

Po-Chun Chien

×4

Dirk Beyer

×3

Thomas Lemberger

×2

Marek Jankola

×2

Bo-Yuan Huang

×1

Zhengyang Lu

×1

Vijay Ganesh

×1

Daniel Baier

×1

Marie-Christine Jakobs

×1

Matthias Kettl

×1

Marian Lingsch Rosenfeld

×1

Henrik Wachowitz

×1

Papers

HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects
FSE 2026 ·
Dirk Beyer
,
Po-Chun Chien
,
Bo-Yuan Huang
, Nian-Ze Lee,
Thomas Lemberger
Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
AAAI 2025 ·
Zhengyang Lu
,
Po-Chun Chien
, Nian-Ze Lee,
Vijay Ganesh
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
FSE 2024 ·
Dirk Beyer
,
Po-Chun Chien
,
Marek Jankola
, Nian-Ze Lee
Software Verification with CPAchecker 3.0: Tutorial and User Guide
FM 2024 ·
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