
Generating Symbolic Reasoning Problems with Transformer GANs
Constructing training data for symbolic reasoning domains is challenging...
read it

Visual Analysis of Hyperproperties for Understanding Model Checking Results
Model checkers provide algorithms for proving that a mathematical model ...
read it

Neural Circuit Synthesis from Specification Patterns
We train hierarchical Transformers on the task of synthesizing hardware ...
read it

SelfStabilizing Phase Clocks and the Adaptive Majority Problem
We present a selfstabilising phase clock for population protocols. In t...
read it

Realizing Omegaregular Hyperproperties
We studied the hyperlogic HyperQPTL, which combines the concepts of trac...
read it

Efficient Monitoring of Hyperproperties using Prefix Trees
Hyperproperties, such as noninterference and observational determinism,...
read it

The Hierarchy of Hyperlogics
Hyperproperties, which generalize trace properties by relating multiple ...
read it

Teaching Temporal Logics to Neural Networks
We show that a deep neural network can learn the semantics of lineartim...
read it

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
We present RVHyper, a runtime verification tool for hyperproperties. Hyp...
read it

ConstraintBased Monitoring of Hyperproperties
Verifying hyperproperties at runtime is a challenging problem as hyperpr...
read it

Model Checking Quantitative Hyperproperties
Hyperproperties are properties of sets of computation traces. In this pa...
read it

Synthesizing Reactive Systems from Hyperproperties
We study the reactive synthesis problem for hyperproperties given as for...
read it

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment
Hyperproperties are properties that refer to multiple computation traces...
read it

Monitoring Hyperproperties
Hyperproperties, such as noninterference and observational determinism,...
read it
Christopher Hahn
is this you? claim profile