1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.CR2021
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang +3
End-user-devices in the current cellular ecosystem are prone to many different vulnerabilities across different generations and protocol layers. Fixing these vulnerabilities retros…
cs.LO2015★ 1 cited
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
M. Fareed Arif, Carlos Mencía, Joao Marques-Silva
The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of practical applications, that includes a wide range of diagnosis problems. As a concrete example,…
cs.LO2015
Towards Efficient Axiom Pinpointing of EL+ Ontologies
M. Fareed Arif, Joao Marques-Silva
The EL family of Description Logics (DLs) has been the subject of interest in recent years. On the one hand, these DLs are tractable, but fairly inexpressive. On the other hand, th…