10 citations · 13 across the 3 of their papers we have counts for
3 papers
Hypernode Automata
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formula…
Flavours of Sequential Information Flow
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may r…
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
The synthesis problem asks to construct a reactive finite-state system from an -regular specification. Initial specifications are often unrealizable, which means that there is n…