Mohamad Fazelnia -

Registered user since Tue 30 Apr 2024

Name:Mohamad Fazelnia

Affiliation:University of Hawaii at Manoa

Contributions

2025

SVM

Author of A Landscape Study of Open-Source Tools for Software Bill of Materials (SBOM) for Supply Chain Security within the Software Vulnerability Management-track

2024

ASE

Author of Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements within the NIER Track-track

AIware

Author of Neuro-Symbolic Approach to Certified Scientific Software Synthesis within the Main Track-track

Requirements Engineering

Author of Lessons from the Use of Natural Language Inference (NLI) in Requirement Engineering Tasks within the Research Papers-track