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