M. Fareed Arif

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