M. Fareed Arif

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Regular Tree Languages

Complete Axiomatization

Semantic Relations

Top Venues

Publications

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. FMCAD (2023)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. CoRR (2021)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. NDSS (2021)
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
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. FMCAD (2020)
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
^+ Ontologies. SAT (2016)
M. Fareed Arif
From $μ$-Calculus to Alternating Tree Automata using Parity Games. CoRR (2016)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient Axiom Pinpointing with EL2MCS. KI (2015)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. CoRR (2015)
M. Fareed Arif, João Marques-Silva
Towards Efficient Axiom Pinpointing of EL+ Ontologies. CoRR (2015)
M. Fareed Arif, Carlos Mencía, João Marques-Silva
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT (2015)