Nian-Ze Lee

Identifiers

• name variant Nian-Ze Lee 0.60 · backfill

Papers (5)

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) cs.SE · 2024 · author #7
2. MoXIchecker: An Extensible Model Checker for MoXI cs.SE · 2024 · author #4
3. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version) cs.SE · 2024 · author #3
4. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification cs.SE · 2022 · author #2
5. Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty cs.LO · 2019 · author #1

Mentions

• 2403.07821 #3 · arxiv_oai · confidence 0.70 Nian-Ze Lee
• 2409.02094 #7 · arxiv_oai · confidence 0.70 Nian-Ze Lee
• 2407.15551 #4 · arxiv_oai · confidence 0.70 Nian-Ze Lee
• 2208.05046 #2 · arxiv_oai · confidence 0.70 Nian-Ze Lee
• 1911.04112 #1 · arxiv_oai · confidence 0.70 Nian-Ze Lee

Frequent Coauthors

• Dirk Beyer 4 shared papers
• Po-Chun Chien 3 shared papers
• Philipp Wendler 2 shared papers
• Daniel Baier 1 shared papers
• Henrik Wachowitz 1 shared papers
• Jie-Hong R. Jiang 1 shared papers
• Marek Jankola 1 shared papers
• Marian Lingsch-Rosenfeld 1 shared papers
• Marie-Christine Jakobs 1 shared papers
• Matthias Kettl 1 shared papers
• Salih Ates 1 shared papers
• Thomas Lemberger 1 shared papers