View in EDS

Gray-box runtime enforcement of hyperproperties.

Saved in:

Bibliographic Details
Title:	Gray-box runtime enforcement of hyperproperties.
Authors:	Hsu, Tzu-Han¹, tzuhan@msu.edu, Oliveira da Costa, Ana², ana.costa@ist.ac.at, Wintenberg, Andrew^3,4, awintenb@umich.edu, Bartocci, Ezio⁵, ezio.bartocci@tuwien.ac.at, Bonakdarpour, Borzoo¹, borzoo@msu.edu
Source:	Acta Informatica; Sep2025, Vol. 62 Issue 3, p1-33, 33p
Database:	Applied Science & Technology Source

Description
ISSN:	00015903
DOI:	10.1007/s00236-025-00502-1