| 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 | 27 | 2015 |
| 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 | 26 | 2016 |
| Efficient Axiom Pinpointing in EL using SAT Technology. N Manthey, R Peñaloza, S Rudolph Description Logics, 2016 | 16 | 2016 |
| Efficient axiom pinpointing with EL2MCS MF Arif, C Mencía, J Marques-Silva Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2015 | 15 | 2015 |
| 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 | 5 | 2019 |
| 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 | 1 | 2020 |
| 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 | 1 | 2013 |
| 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 |
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
