14 citations · 48 across the 17 of their papers we have counts for
17 papers
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Vivek Nigam, Carolyn Talcott
Cyber-physical systems (CPSes), such as autonomous vehicles, use sophisticated components like ML-based controllers. It is difficult to provide evidence about the safe functioning…
A Rewriting Framework for Interacting Cyber-Physical Agents
Benjamin Lion, Farhad Arbab, Carolyn Talcott
The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor mod…
Runtime Composition Of Systems of Interacting Cyber-Physical Components
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient c…
Intentional Forgetting
Deborah Shands, Carolyn Talcott
Many damaging cybersecurity attacks are enabled when an attacker can access residual sensitive information (e.g. cryptographic keys, personal identifiers) left behind from earlier…
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified usin…
Transcriptional Response of SK-N-AS Cells to Methamidophos
Akos Vertes, Albert-Baskar Arul, Peter Avar +13
Transcriptomics response of SK-N-AS cells to methamidophos (an acetylcholine esterase inhibitor) exposure was measured at 10 time points between 0.5 and 48 h. The data was analyzed…