Mohamad Fazelnia

11 papers A* 1A 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Establishing Minimum Elements for Effective Vulnerability Management in AI Software.
Computer
Mohamad Fazelnia, Sara Moshtari, Mehdi Mirakhorli
2025 — conf
A Landscape Study of Open-Source Tools for Software Bill of Materials (SBOM) and Supply Chain Security.
SVM@ICSE
Derek Garcia, Mehdi Tarrit Mirakhorli, Schuyler Dillon, Kevin Laporte, Matthew Morrison, Henry Lu, Viktoria Koscinski, Christopher Enoch, Mohamad Fazelnia, Roger Chen
2024 J jnl
Establishing Minimum Elements for Effective Vulnerability Management in AI Software.
CoRR
Mohamad Fazelnia, Sara Moshtari, Mehdi Mirakhorli
2024 A conf
Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks.
RE
Mohamad Fazelnia, Viktoria Koscinski, Spencer Herzog, Mehdi Mirakhorli
2024 J jnl
Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks.
CoRR
Mohamad Fazelnia, Viktoria Koscinski, Spencer Herzog, Mehdi Mirakhorli
2024 — conf
Neuro-Symbolic Approach to Certified Scientific Software Synthesis.
AIware
Hamid Bagheri, Mehdi Mirakhorli, Mohamad Fazelnia, Ibrahim Mujhid, Md Rashedul Hasan
2024 A* conf
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements.
ASE
Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri
2023 J jnl
A Novel Approach to Identify Security Controls in Source Code.
CoRR
Ahmet Okutan, Ali Shokri, Viktoria Koscinski, Mohamad Fazelnia, Mehdi Mirakhorli
2023 J jnl
Supporting Artificial Intelligence/Machine Learning Security Workers Through an Adversarial Techniques, Tools, and Common Knowledge Framework.
IEEE Secur. Priv.
Mohamad Fazelnia, Ahmet Okutan, Mehdi Mirakhorli
2022 J jnl
Attacks, Defenses, And Tools: A Framework To Facilitate Robust AI/ML Systems.
CoRR
Mohamad Fazelnia, Igor Khokhlov, Mehdi Mirakhorli
2022 J jnl
Supporting AI/ML Security Workers through an Adversarial Techniques, Tools, and Common Knowledge (AI/ML ATT&CK) Framework.
CoRR
Mohamad Fazelnia, Ahmet Okutan, Mehdi Mirakhorli