Nick Feng

According to our database, Nick Feng authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Radu Calinescu, Marsha Chechik

CoRR, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Code-Level Functional Equivalence Checking of Annotative Software Product Lines.

Alan Wang, Nick Feng, Marsha Chechik

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Early Verification of Legal Compliance via Bounded Satisfiability Checking.

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Bounded Satisfiability Checking of Metric First-order Temporal Logic.

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

CoRR, 2022

2021

Verification by Gambling on Program Slices.

Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Clause Size Reduction with all-UIP Learning.

Nick Feng, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Scaling Client-Specific Equivalence Checking via Impact Boundary Search.

Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020