• Sign in
  • Sign up
conf.researchr.org / Nian-Ze Lee
  • ASE 2023 profile
  • FSE 2024 profile
Nian-Ze Lee

Registered user since Mon 4 Sep 2023

Name:Nian-Ze Lee
Country:Germany
Affiliation:LMU Munich
Personal website: https://nianzelee.github.io/
Research interests:Formal Methods, Model Checking, Program Analysis, EDA

Contributions

2024

ESEC/FSE

  • Author of A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification within the Research Papers-track
  • Author of A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification within the Posters-track

2023

ASE

  • Author of CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification within the Tool Demonstrations-track
Share
xMon 19 May 12:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up