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…
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott +2
In spite of the rapidly increasing number of applications of machine learning in various domains, a principled and systematic approach to the incorporation of domain knowledge in t…
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data
Mark-Oliver Stehr, Peter Avar, Andrew R. Korte +12
There is an abundance of complex dynamic systems that are critical to our daily lives and our society but that are hardly understood, and even with today's possibilities to sense a…
Compliance in Real Time Multiset Rewriting Models
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
The notion of compliance in Multiset Rewriting Models (MSR) has been introduced for untimed models and for models with discrete time. In this paper we revisit the notion of complia…
Reasoning about effects: from lists to cyber-physical agents
Ian A. Mason, Carolyn L. Talcott
Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programm…
Symbolic Timed Observational Equivalence
Vivek Nigam, Carolyn Talcott, Abrãao Aires Urquiza
Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels.…
A Component-oriented Framework for Autonomous Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meanin…
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
Many security protocols rely on the assumptions on the physical properties in which its protocol sessions will be carried out. For instance, Distance Bounding Protocols take into a…
A Compositional Framework for Preference-Aware Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a…
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
Time-Sensitive Distributed Systems (TSDS), such as applications using autonomous drones, achieve goals under possible environment interference (\eg, winds). Moreover, goals are oft…
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
Vivek Nigam, Carolyn Talcott, Abraão Aires Urquiza
Timed Intruder Models have been proposed for the verification of Cyber-Physical Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical restricti…
The Immune System: the ultimate fractionated cyber-physical system
Carolyn Talcott
In this little vision paper we analyze the human immune system from a computer science point of view with the aim of understanding the architecture and features that allow robust,…