activity
20122026
most citedLarge-Scale Analysis of Framework-Specific Exceptions in Android Apps

115 citations · 262 across the 51 of their papers we have counts for

collaborators
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019★ 10 cited

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Translating formulas of Linear Temporal Logic (LTL) over finite traces, or LTLf, to symbolic Deterministic Finite Automata (DFA) plays an important role not only in LTLf synthesis,…