85 citations · 262 across the 21 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.FL2016
A Language-theoretic View on Network Protocols
Pierre Ganty, Boris Köpf, Pedro Valero
Input validation is the first line of defense against malformed or malicious inputs. It is therefore critical that the validator (which is often part of the parser) is free of bugs…
cs.FL2016★ 7 cited
Bounded-oscillation Pushdown Automata
Pierre Ganty, Damir Valput
We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In parti…
cs.PL2016★ 5 cited
Solving non-linear Horn clauses using a linear Horn clause solver
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
In this paper we show that checking satisfiability of a set of non-linear Horn clauses (also called a non-linear Horn clause program) can be achieved using a solver for linear Horn…