We continue our work [H. Gruber, M. Holzer: Provably shorter regular expressions from deterministic ļ¬nite automata (extended ). In Proc. DLT, LNCS 5257, 2008] on the problem of ļ...
Abstract. Regular expressions and their extensions have become a major component of industry-standard speciļ¬cation languages such as PSL/Sugar ([2]). The model checking procedure...
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
āRegular expression matching has become a critical yet challenging technique in content-aware network processing, such as application identification and deep inspection. To meet ...
The problem of transforming a lattice into a non-deterministic finite state automaton is non-trivial. We present a transformation algorithm which tracks, for each node of an autom...
Mark Seligman, Christian Boitet, Boubaker Meddeb-H...