1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
From -Calculus to Alternating Tree Automata using Parity Games
M. Fareed Arif
-Calculus and automata on infinite trees are complementary ways of describing infinite tree languages. The correspondence between -Calculus and alternating tree automaton is…
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,…
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…