research
∙
03/02/2023
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)
Case split is a core proof rule in current decision procedures for the t...
share
research
∙
01/18/2023
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
We introduce a new paradigm for analysing and finding bugs in quantum ci...
research
∙
01/05/2023
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)
Complementation of nondeterministic Büchi automata (BAs) is an important...
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...
research
∙
06/04/2022
Complementing Büchi Automata with Ranker (Technical Report)
We present the tool Ranker for complementing Büchi automata (BAs). Ranke...
research
∙
05/24/2022
Register Set Automata (Technical Report)
We present register set automata (RsAs), a register automaton model over...
research
∙
10/19/2021
Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report)
We propose several heuristics for mitigating one of the main causes of c...
research
∙
10/15/2020
Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)
This paper provides several optimizations of the rank-based approach for...
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
∙
05/17/2019
Simulations in Rank-Based Büchi Automata Complementation
The long search for an optimal complementation construction for Büchi au...
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/30/2017
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
We consider the problem of automatically verifying that a parameterized ...
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