• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
Home » Archives for Carolyn Talcott
Carolyn Talcott

Carolyn Talcott

Program Director, Symbolic Systems Biology, Computer Science Laboratory
Go to bio page

Publications

Cyber & formal methods publications June 1, 2015

Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery

Carolyn Talcott

We have demonstrated how combining chemoinformatics and bioinformatics for T. cruzi drug discovery can bring interesting in vivo active molecules to light that may have been overlooked.

Cyber & formal methods publications April 1, 2015 Conference Paper

Discrete Vs. Dense Times in the Analysis of Cyber-Physical Security Protocols

Carolyn Talcott

This paper investigates the foundational differences and the impacts on the analysis when using models with discrete time and models with dense time.

Information & computer science publications January 1, 2015 Chapter

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

Carolyn Talcott

We are interested in principles for designing and building open distributed systems consisting of multiple cyber-physical agents, specifically, where a coherent global view is unattainable and timely consensus is impossible. Such agents attempt to contribute to a system goal by making local decisions to sense and effect their environment based on local information. In this paper we propose a model, formalized in the Maude rewriting logic system, that allows experimenting with and reasoning about designs of such systems. Features of the model include communication via sharing of partially ordered knowledge, making explicit the physical state as well as the cyber perception of this state, and the use of a notion of soft constraints developed by Martin Wirsing and his team to specify agent behavior. The paper begins with a discussion of desiderata for such models and concludes with a small case study to illustrate the use of the modeling framework.

Information & computer science publications August 1, 2014 Conference Paper

Expanding the Metabolite Mimic Approach to Identify Hits for Mycobacterium Tuberculosis

Carolyn Talcott, Peter Madrid

Cyber & formal methods publications December 1, 2013 Article

A Distributed Logic for Networked Cyber-Physical Systems

Carolyn Talcott

Cyber & formal methods publications August 1, 2013 Article

Large-Scale Access Scheduling in Wireless Mesh Networks Using Social Centrality

Carolyn Talcott

Cyber & formal methods publications August 1, 2013

Application Patterns for Cyber-Physical Systems

Carolyn Talcott

Inspired by a new programming paradigm based on partially ordered knowledge sharing model for loosely coupled distributed computing and its implementation in our cyber-application framework, this paper studies how to program an NCPS and exploit the capabilities provided by the underlying framework.

Biomedical sciences publications January 1, 2013

In Silico Systems Biology Approaches for the Identification of Antimicrobial Targets

Carolyn Talcott

We have compiled software tools and databases that are typically used for target identification through in silico analyses. We have also identified enzyme- and broad-spectrum metabolite-based drug targets that have emerged through in silico systems microbiology.

Cyber & formal methods publications January 1, 2013

Achieving Resilience of Heterogeneous Networks Through Predictive, Formal Analysis

Grit Denker, Carolyn Talcott

We design and implement a “what-if” analysis methodology using formal methods. Our methodology analyzes the impact of failures and changes in heterogeneous networks on QoS of flows.

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International