Scaling Client-Specific Equivalence Checking via Impact Boundary Search. - Nick Feng; Federico Mora 002; Vincent Hui; Marsha Chechik (ASE, 2020)

Clause Size Reduction with all-UIP Learning. - Nick Feng; Fahiem Bacchus (SAT, 2020)

Verification by Gambling on Program Slices. - Murad Akhundov; Federico Mora 002; Nick Feng; Vincent Hui; Marsha Chechik (ATVA, 2021)

Bounded Satisfiability Checking of Metric First-order Temporal Logic. - Nick Feng; Lina Marsso; Mehrdad Sabetzadeh; Marsha Chechik (CoRR, 2022)

Early Verification of Legal Compliance via Bounded Satisfiability Checking. - Nick Feng; Lina Marsso; Mehrdad Sabetzadeh; Marsha Chechik (CAV (3), 2023)

Towards a Formal Framework for Normative Requirements Elicitation. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Beverley A. Townsend; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (ASE, 2023)

Code-Level Functional Equivalence Checking of Annotative Software Product Lines. - Alan Wang; Nick Feng; Marsha Chechik (SPLC (A), 2023)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Isobel Standen; Ioannis Stefanakos; Calum Imrie; Genaína Nunes Rodrigues; Ana Cavalcanti 001; et al. (ICSE, 2024)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects. - Nick Feng; Lina Marsso; Marsha Chechik (ASE, 2024)

Normative Requirements Operationalization with Large Language Models. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Isobel Standen; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Hanne Bartels; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (RE, 2024)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. - Nick Feng; Alan J. Hu; Sam Bayless; Syed M. Iqbal; Patrick Trentin; Mike Whalen; Lee Pike; John Backes (TACAS (1), 2024)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements. - Kevin Kolyakov; Lina Marsso; Nick Feng; Junwei Quan; Marsha Chechik (ICSE Companion, 2025)

Solving Set Constraints with Comprehensions and Bounded Quantifiers. - Mudathir Mohamed; Nick Feng; Andrew Reynolds 001; Cesare Tinelli; Clark W. Barrett; Marsha Chechik (CoRR, 2025)