Nick Feng

Orcid: 0009-0002-3908-2755

According to our database1, Nick Feng authored at least 10 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Normative Requirements Operationalization with Large Language Models.
CoRR, 2024

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023
Code-Level Functional Equivalence Checking of Annotative Software Product Lines.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Towards a Formal Framework for Normative Requirements Elicitation.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Early Verification of Legal Compliance via Bounded Satisfiability Checking.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Bounded Satisfiability Checking of Metric First-order Temporal Logic.
CoRR, 2022

2021
Verification by Gambling on Program Slices.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
Clause Size Reduction with all-UIP Learning.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Scaling Client-Specific Equivalence Checking via Impact Boundary Search.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020


  Loading...