A Aralex Aachen research explorer

October 08, 2019 article Open access

Statistical Verification of Hyperproperties for Cyber-Physical Systems

ACM Transactions on Embedded Computing Systems

DOI: 10.1145/3358232 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 6 stored of 47

Introducing Asynchronicity to Probabilistic Hyperproperties
2023 Lecture notes in computer science conference-paper Computer Science Distributed systems and fault tolerance

1

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

5

citations
Probabilistic Hyperproperties with Rewards
2022 Lecture notes in computer science conference-paper Computer Science Distributed systems and fault tolerance

6

citations
HyperPCTL Model Checking by Probabilistic Decomposition
2022 Lecture notes in computer science conference-paper Computer Science Distributed systems and fault tolerance

2

citations
Parameter Synthesis for Probabilistic Hyperproperties
2020 EPiC series in computing conference-paper Computer Science Privacy-Preserving Technologies in Data Open access

9

citations
Probabilistic Hyperproperties with Nondeterminism
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

23

citations

6 results

References 0