research
∙
08/05/2023
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
We present the first decentralized algorithm for detecting predicates ov...
share
research
∙
07/11/2023
Introducing Asynchronicity to Probabilistic Hyperproperties
Probabilistic hyperproperties express probabilistic relations between di...
research
∙
01/30/2023
Stream-based Decentralized Runtime Verification
Industrial Control Systems (ICS) are often built from geographically dis...
research
∙
01/17/2023
Bounded Model Checking for Asynchronous Hyperproperties
Many types of attacks on confidentiality stem from the nondeterministic ...
research
∙
01/15/2023
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
Bounded model checking (BMC) is an effective technique for hunting bugs ...
research
∙
04/20/2022
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Transactions involving multiple blockchains are implemented by cross-cha...
research
∙
09/21/2021
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties
This paper presents HyperQube, a push-button QBF-based bounded model che...
research
∙
04/28/2021
A Temporal Logic for Asynchronous Hyperproperties
Hyperproperties are properties of computational systems that require mor...
research
∙
01/19/2021
Controller Synthesis for Hyperproperties
We investigate the problem of controller synthesis for hyperproperties s...
research
∙
01/19/2021
Program Repair for Hyperproperties
We study the repair problem for hyperproperties specified in the tempora...
research
∙
01/19/2021
The Complexity of Monitoring Hyperproperties
We study the runtime verification of hyperproperties, expressed in the t...
research
∙
09/18/2020
Bounded Model Checking for Hyperproperties
This paper introduces the first bounded model checking (BMC) algorithm f...
research
∙
05/13/2020
Probabilistic Hyperproperties with Nondeterminism
We study the problem of formalizing and checking probabilistic hyperprop...
research
∙
02/23/2020
Automata for Hyperlanguages
Hyperproperties lift conventional trace properties from a set of executi...
research
∙
06/20/2019
Gray-box Monitoring of Hyperproperties (Extended Version)
Many important system properties, particularly in security and privacy, ...
research
∙
06/17/2019
Statistical Verification of Hyperproperties for Cyber-Physical System
Many important properties of cyber-physical systems (CPS) are defined up...
research
∙
02/11/2019
Statistical Model Checking for Probabilistic Hyperproperties
In this paper, we propose the temporal logic HyperPCTL^* that extends PC...
research
∙
07/12/2018
Decentralized Multi-UAV Routing in the Presence of Disturbances
We introduce a decentralized and online path planning technique for a ne...
research
∙
04/05/2018