research
∙
12/05/2022
Word Equations in Synergy with Regular Constraints (Technical Report)
When eating spaghetti, one should have the sauce and noodles mixed inste...
share
research
∙
05/05/2022
Low-Level Bi-Abduction
The paper proposes a new static analysis designed to handle open program...
research
∙
10/29/2020
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)
String analysis is the problem of reasoning about how strings are manipu...
research
∙
10/04/2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)
We propose an efficient algorithm for determinising counting automata (C...
research
∙
05/21/2019
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)
We propose a lazy decision procedure for the logic WSkS. It builds a ter...
research
∙
04/24/2019
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Deep packet inspection via regular expression (RE) matching is a crucial...
research
∙
07/23/2018
Simulation Algorithms for Symbolic Automata (Technical Report)
We investigate means of efficient computation of the simulation relation...
research
∙
10/24/2017
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
We consider the problem of approximate reduction of non-deterministic au...
research
∙
10/24/2017