M. Fareed Arif

According to our database, M. Fareed Arif authored at least 9 papers between 2015 and 2023.

Collaborative distances:

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

2023

CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury

Syst., 2021

PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification.

Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.

M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2016

From $μ$-Calculus to Alternating Tree Automata using Parity Games.

M. Fareed Arif

CoRR, 2016

BEACON: An Efficient SAT-Based Tool for Debugging <i>EL</i>^+ Ontologies.

M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva

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

2015

Towards Efficient Axiom Pinpointing of EL+ Ontologies.

M. Fareed Arif, João Marques-Silva

CoRR, 2015

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing.

M. Fareed Arif, Carlos Mencía, João Marques-Silva

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

Efficient Axiom Pinpointing with EL2MCS.

M. Fareed Arif, Carlos Mencía, João Marques-Silva

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015