Mohamad Fazelnia

According to our database, Mohamad Fazelnia authored at least 8 papers between 2022 and 2024.

Collaborative distances:

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

2024

Establishing Minimum Elements for Effective Vulnerability Management in AI Software.

Mohamad Fazelnia, Sara Moshtari, Mehdi Mirakhorli

CoRR, 2024

Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks.

Mohamad Fazelnia, Viktoria Koscinski, Spencer Herzog, Mehdi Mirakhorli

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements.

Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Neuro-Symbolic Approach to Certified Scientific Software Synthesis.

Hamid Bagheri, Mehdi Mirakhorli, Mohamad Fazelnia, Ibrahim Mujhid, Md Rashedul Hasan

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023

Supporting Artificial Intelligence/Machine Learning Security Workers Through an Adversarial Techniques, Tools, and Common Knowledge Framework.

Mohamad Fazelnia, Ahmet Okutan, Mehdi Mirakhorli

IEEE Secur. Priv., 2023

A Novel Approach to Identify Security Controls in Source Code.

Ahmet Okutan, Ali Shokri, Viktoria Koscinski, Mohamad Fazelnia, Mehdi Mirakhorli

CoRR, 2023

2022

Supporting AI/ML Security Workers through an Adversarial Techniques, Tools, and Common Knowledge (AI/ML ATT&CK) Framework.

Mohamad Fazelnia, Ahmet Okutan, Mehdi Mirakhorli

CoRR, 2022

Attacks, Defenses, And Tools: A Framework To Facilitate Robust AI/ML Systems.

Mohamad Fazelnia, Igor Khokhlov, Mehdi Mirakhorli

CoRR, 2022