research
∙
08/31/2023
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Whole-program analysis is an essential technique that enables advanced c...
share
research
∙
07/12/2023
Sound One-Phase Shape Analysis with Biabduction
Biabduction-based shape analysis is a static analysis technique that can...
research
∙
02/05/2023
2LS for Program Analysis
2LS ("tools") is a verification tool for C programs, built upon the CPRO...
research
∙
07/26/2022
Perun: Performance Version System
In this paper, we present Perun: an open-source tool suite for profiling...
research
∙
07/05/2022
Static Deadlock Detection in Low-Level C Code
We present a novel scalable deadlock analyser L2D2 capable of handling C...
research
∙
06/27/2022
Designing Approximate Arithmetic Circuits with Combined Error Constraints
Approximate circuits trading the power consumption for the quality of re...
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
∙
03/05/2020
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
We present a novel approach for designing complex approximate arithmetic...
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
∙
09/16/2019
PredatorHP Attacks Interval-Sized Regions
This paper describes shortly the basic principles of the PredatorHP (Pre...
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
∙
03/02/2019
2LS: Heap Analysis and Memory Safety (Competition Contribution)
2LS is a framework for analysis of sequential C programs that can verify...
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
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
We consider the problem of approximate reduction of non-deterministic au...
research
∙
12/15/2016