4 papers
Privacy-Preserving Robustness-Guided Testing
Charles Koll, Houssam Abbas, Mike Rosulek
In industries like semi-conductors and aerospace, it is common for the design company to contract out part of the testing process to a Testing-as-a-Service (TaaS) company. In such…
Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock
Charles Koll, Houssam Abbas
We give the first theoretical characterization, and the first algorithm, for continuous monitoring of a distributed Cyber-Physical System (CPS) against a dense-time temporal logic…
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
Charles Koll, Preston Tan Hang, Mike Rosulek +1
In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy giv…
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour +1
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a…