M. Fareed Arif
M. Fareed Arif
Verified email at uiowa.edu - Homepage
Title
Cited by
Cited by
Year
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
MF Arif, C Mencía, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2015
272015
BEACON: An Efficient SAT-Based Tool for Debugging Ontologies
MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2016
262016
Efficient Axiom Pinpointing in EL using SAT Technology.
N Manthey, R Peñaloza, S Rudolph
Description Logics, 2016
162016
Efficient axiom pinpointing with EL2MCS
MF Arif, C Mencía, J Marques-Silva
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015
152015
Architectural and behavioral analysis for cyber security
K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ...
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019
52019
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. CoRR abs/1505.04365 (2015)
MF Arif, C Mencıa, J Marques-Silva
2
Threat Identification and Defense Control Selection for Embedded Systems
Moitra, A., Prince, D., Siu, K., Durling, M. et al.
SAE International Journal of Transportation Cybersecurity and Privacy 3 (2), 2020
12020
Security Property Lifecycle Management for Secure Service Compositions
S Hoque, A Rahim, D Llewellyn-Jones, M Merabti
Cyber Security and Privacy Forum, 67-78, 2013
12013
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System
B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ...
Systems 9 (1), 18, 2021
2021
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
M Echeverria, MF Arif
The Network and Distributed System Security Symposium (NDSS), 2021
2021
SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces
MF Arif, D Larraz, M Echeverria, A Reynolds, O Chowdhury, C Tinelli
2020 Formal Methods in Computer Aided Design (FMCAD), 93-103, 2020
2020
From -Calculus to Alternating Tree Automata using Parity Games
M Fareed Arif
arXiv e-prints, arXiv: 1602.00912, 2016
2016
From μ-Calculus to Alternating Tree Automata using Parity Games
MF Arif
arXiv Report, 2016
2016
The Role of Unsatisfiable Boolean Constraints in Lightweight Description Logics
MF Arif
University College Dublin, 2016
2016
The role of unsatisfiable Boolean constraints in lightweight description logics
MF Arif
University College Dublin. School of Computer Science, 2016
2016
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M Fareed Arif, C Mencía, J Marques-Silva
arXiv e-prints, arXiv: 1505.04365, 2015
2015
Towards Efficient Axiom Pinpointing of EL+ Ontologies
MF Arif, J Marques-Silva
arXiv preprint arXiv:1503.08454, 2015
2015
Towards Efficient Axiom Pinpointing of EL+ Ontologies
M Fareed Arif, J Marques-Silva
arXiv e-prints, arXiv: 1503.08454, 2015
2015
Logic Programming Approach for Concurrent Reachability Games
MF Arif
Technische Universität Dresden (TU Dresden), 2011
2011
ALC-LTL Formulae Generator using OWL API
MF Arif
Technische Universität Dresden (TU Dresden), 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20