Efficient Axiom Pinpointing with EL2MCS. - M. Fareed Arif; Carlos Mencía; João Marques-Silva 001 (KI, 2015)

Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. - M. Fareed Arif; Carlos Mencía; João Marques-Silva 001 (SAT, 2015)

Towards Efficient Axiom Pinpointing of EL+ Ontologies. - M. Fareed Arif; João Marques-Silva 001 (CoRR, 2015)

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. - M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; João Marques-Silva 001 (SAT, 2016)

From $μ$-Calculus to Alternating Tree Automata using Parity Games. - M. Fareed Arif (CoRR, 2016)

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. - M. Fareed Arif; Daniel Larraz; Mitziu Echeverria; Andrew Reynolds 001; Omar Chowdhury; Cesare Tinelli (FMCAD, 2020)

PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. - Mitziu Echeverria; Zeeshan Ahmed; Bincheng Wang; M. Fareed Arif; Syed Rafiul Hussain; Omar Chowdhury (NDSS, 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; et al. (Syst., 2021)

CRV: Automated Cyber-Resiliency Reasoning for System Design Models. - Daniel Larraz; Robert Lorch; Moosa Yahyazadeh; M. Fareed Arif; Omar Chowdhury; Cesare Tinelli (FMCAD, 2023)