The essence of Rum: a theory of the intensional and extensional aspects of lisp-type computation. - Carolyn L. Talcott (1985)

Rum. An Intensional Theory of Function and Control Abstractions. - Carolyn L. Talcott (Foundations of Logic and Functional Programming, 1986)

Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. - Alexandre Bronstein; Carolyn L. Talcott (Automatic Verification Methods for Finite State Systems, 1989)

Programming, Transforming, and Providing with Function Abstractions and Memories. - Ian A. Mason; Carolyn L. Talcott (ICALP, 1989)

Axiomatizing Operational Equivalence in the Presence of Side Effects - Ian A. Mason; Carolyn L. Talcott (LICS, 1989)

A Simplifier for Untyped Lambda Expressions. - Louis Galbiati; Carolyn L. Talcott (CTRS, 1990)

Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. - Carolyn L. Talcott; Richard W. Weyhrauch (ECAI, 1990)

Reasoning About Programs with Effects. - Ian A. Mason; Carolyn L. Talcott (PLILP, 1990)

Towards a Theory of Binding Structures: An Abstract Algebra. - Carolyn L. Talcott (AMAST, 1991)

Binding Structures. - Carolyn L. Talcott (Artificial and Mathematical Theory of Computation, 1991)

Program Transformations for Configuring Components. - Ian A. Mason; Carolyn L. Talcott (PEPM, 1991)

Equivalence in Functional Languages with Effects. - Ian A. Mason; Carolyn L. Talcott (J. Funct. Program., 1991)

Towards a Theory of Actor Computation. - Gul Agha; Ian A. Mason; Scott F. Smith 001; Carolyn L. Talcott (CONCUR, 1992)

A Theory of Classes for a Functional Language with Effects. - Furio Honsell; Ian A. Mason; Scott F. Smith 001; Carolyn L. Talcott (CSL, 1992)

Scalable Distributed Garbage Collection for Systems of Active Objects. - Nalini Venkatasubramanian; Gul Agha; Carolyn L. Talcott (IWMM, 1992)

References, Local Variables and Operational Reasoning - Ian A. Mason; Carolyn L. Talcott (LICS, 1992)

Inferring the Equivalence of Functional Programs That Mutate Data. - Ian A. Mason; Carolyn L. Talcott (Theor. Comput. Sci., 1992)

A Theory for Program and Data Type Specification. - Carolyn L. Talcott (Theor. Comput. Sci., 1992)

A Theory of Binding Structures and Applications to Rewriting. - Carolyn L. Talcott (Theor. Comput. Sci., 1993)

Program Transformation via Contextual Assertions. - Ian A. Mason; Carolyn L. Talcott (Logic, Language and Computation, 1994)

The Logic of FOL Systems: Formulated in Set Theory. - Richard W. Weyhrauch; Carolyn L. Talcott (Logic, Language and Computation, 1994)

Reasoning about Meta Level Activities in Open Distributed Systems. - Nalini Venkatasubramanian; Carolyn L. Talcott (PODC, 1995)

Reasoning About Object Systems in VTLoE. - Ian A. Mason; Carolyn L. Talcott (Int. J. Found. Comput. Sci., 1995)

A Variable Typed Logic of Effects - Furio Honsell; Ian A. Mason; Scott F. Smith 001; Carolyn L. Talcott (Inf. Comput., 1995)

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. - Fausto Giunchiglia; Paolo Pecchiari; Carolyn L. Talcott (FroCoS, 1996)

An actor rewriting theory. - Carolyn L. Talcott (WRLA, 1996)

From Operational Semantics to Domain Theory. - Ian A. Mason; Scott F. Smith 001; Carolyn L. Talcott (Inf. Comput., 1996)

A Semantically Sound Actor Tranlsation. - Ian A. Mason; Carolyn L. Talcott (ICALP, 1997)

Preface. - Andrew D. Gordon 001; Andrew M. Pitts; Carolyn L. Talcott (HOOTS, 1997)

Can Actors and pi-Agents Live Together? - Ugo Montanari; Carolyn L. Talcott (HOOTS, 1997)

Reasoning about Programs With Effects. - Carolyn L. Talcott (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

A Foundation for Actor Computation. - Gul Agha; Ian A. Mason; Scott F. Smith 001; Carolyn L. Talcott (J. Funct. Program., 1997)

Mapping OMRS to rewriting logic. - José Meseguer 001; Carolyn L. Talcott (WRLA, 1998)

Using Abstract Resources to Control Reasoning. - Richard W. Weyhrauch; Marco Cadoli; Carolyn L. Talcott (J. Log. Lang. Inf., 1998)

Composable Semantic Models for Actor Theories. - Carolyn L. Talcott (High. Order Symb. Comput., 1998)

A Partial Order Event Model for Concurrent Objects. - José Meseguer 001; Carolyn L. Talcott (CONCUR, 1999)

Modular Reasoning for Actor Specification Diagrams. - Scott F. Smith 001; Carolyn L. Talcott (FMOODS, 1999)

Editorial. - Olivier Danvy; Carolyn L. Talcott (High. Order Symb. Comput., 1999)

Introduction. - Olivier Danvy; Carolyn L. Talcott (High. Order Symb. Comput., 1999)

Actor Languages Their Syntax, Semantics, Translation, and Equivalence. - Ian A. Mason; Carolyn L. Talcott (Theor. Comput. Sci., 1999)

Towards a Toolkit for Actor System Specification. - Carolyn L. Talcott (AMAST, 2000)

Composing and Controlling Search in Reasoning Theories Using Mappings. - Alessandro Coglio; Fausto Giunchiglia; José Meseguer 001; Carolyn L. Talcott (FroCoS, 2000)

Rewriting Semantics of Meta-Objects and Composable Distributed Services. - Grit Denker; José Meseguer 001; Carolyn L. Talcott (WRLA, 2000)

Simple Network Protocol Simulation within Maude. - Ian A. Mason; Carolyn L. Talcott (WRLA, 2000)

Maude. - José Meseguer 001; Carolyn L. Talcott (ACM SIGSOFT Softw. Eng. Notes, 2000)

Semantic interoperation of open systems. - José Meseguer 001; Carolyn L. Talcott (ACM SIGSOFT Softw. Eng. Notes, 2000)

A Control-Flow Analysis for a Calculus of Concurrent Objects. - Paolo Di Blasio; Kathleen Fisher; Carolyn L. Talcott (IEEE Trans. Software Eng., 2000)

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. - Peter Csaba Ölveczky; Mark Keaton; José Meseguer 001; Carolyn L. Talcott; Steve Zabele (FASE, 2001)

A Semantic Framework for Modeling and Reasoning about Reflective Middleware. - Nalini Venkatasubramanian; Carolyn L. Talcott (IEEE Distributed Syst. Online, 2001)

Reasoning Theories. - Fausto Giunchiglia; Paolo Pecchiari; Carolyn L. Talcott (J. Autom. Reason., 2001)

Editorial. - Olivier Danvy; Takayasu Ito; Carolyn L. Talcott (High. Order Symb. Comput., 2001)

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. - José Meseguer 001; Peter Csaba Ölveczky; Mark-Oliver Stehr; Carolyn L. Talcott (DANCE, 2002)

Semantic Models for Distributed Object Reflection. - José Meseguer 001; Carolyn L. Talcott (ECOOP, 2002)

A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. - Carolyn L. Talcott (FMOODS, 2002)

Pathway Logic: Executable Models of Biological Networks. - Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; Carolyn L. Talcott (WRLA, 2002)

Plan in Maude: Specifying an Active Network Programming Language. - Mark-Oliver Stehr; Carolyn L. Talcott (WRLA, 2002)

Specification Diagrams for Actor Systems. - Scott F. Smith 001; Carolyn L. Talcott (High. Order Symb. Comput., 2002)

Actor theories in rewriting logic. - Carolyn L. Talcott (Theor. Comput. Sci., 2002)

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. - Steven Eker; Keith Laderoute; Patrick Lincoln; M. G. Sriram; Carolyn L. Talcott (CMSB, 2003)

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. - Carolyn L. Talcott; Steven Eker; Merrill Knapp; Patrick Lincoln; Keith Laderoute (CSB, 2003)

Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. - Sandeep Uttamchandani; Carolyn L. Talcott; David Pease (DSOM, 2003)

The Maude 2.0 System. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2003)

Techniques for Executing and Reasoning about Specification Diagrams. - Prasanna Thati; Carolyn L. Talcott; Gul Agha (AMAST, 2004)

Exploring adaptability of secure group communication using formal prototyping techniques. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (Adaptive and Reflective Middleware, 2004)

Formal Checklists for Remote Agent Dependability. - Grit Denker; Carolyn L. Talcott (WRLA, 2004)

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. - Ian A. Mason; Carolyn L. Talcott (WRLA, 2004)

A formal model for reasoning about adaptive QoS-enabled middleware. - Nalini Venkatasubramanian; Carolyn L. Talcott; Gul Agha (ACM Trans. Softw. Eng. Methodol., 2004)

Pathway Logic Helping Biologists Understand and Organize Pathway Information. - Merrill Knapp; Linda Briesemeister; Steven Eker; Patrick Lincoln; Andy Poggio; Carolyn L. Talcott; Keith Laderoute (CSB Workshops, 2005)

Practical Techniques for Language Design and Prototyping. - Mark-Oliver Stehr; Carolyn L. Talcott (Foundations of Global Computing, 2005)

The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. - David L. Dill; Merrill Knapp; Pamela Gage; Carolyn L. Talcott; Keith Laderoute; Patrick Lincoln (Systems Biology and Regulatory Genomics, 2005)

Actors and Logical Analysis of Interactive Systems. - Ian A. Mason; Carolyn L. Talcott (FInCo@ETAPS, 2005)

Coordination Models Based on a Formal Model of Distributed Object Reflection. - Carolyn L. Talcott (MTCoord@COORDINATION, 2005)

Reputation-based trust management. - Vitaly Shmatikov; Carolyn L. Talcott (J. Comput. Secur., 2005)

Formal Executable Models of Cell Signaling Primitives. - Carolyn L. Talcott (ISoLA, 2006)

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (PRDC, 2006)

A semantic model for safe protocol interaction. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Carolyn L. Talcott (SAC, 2006)

Symbolic modeling of signal transduction in pathway logic. - Carolyn L. Talcott (WSC, 2006)

Preface. - Grit Denker; Carolyn L. Talcott (WRLA, 2006)

Rewriting Logic Systems. - Grit Denker; Carolyn L. Talcott; Grigore Rosu; Mark van den Brand; Steven Eker; Traian-Florin Serbanuta (WRLA, 2006)

Policy-based Coordination in PAGODA: A Case Study. - Carolyn L. Talcott (CoOrg/MTCoord@COORDINATION, 2006)

A Rewriting Logic Framework for Soft Constraints. - Martin Wirsing; Grit Denker; Carolyn L. Talcott; Andy Poggio; Linda Briesemeister (WRLA, 2006)

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. - Peter Csaba Ölveczky; José Meseguer 001; Carolyn L. Talcott (Formal Methods Syst. Des., 2006)

Editorial. - Olivier Danvy; Andrzej Filinski; Jean-Louis Giavitto; Andy King; Pierre-Etienne Moreau; Carolyn L. Talcott (High. Order Symb. Comput., 2006)

Editorial. - Furio Honsell; Carolyn L. Talcott (High. Order Symb. Comput., 2006)

Multiple Representations of Biological Processes. - Carolyn L. Talcott; David L. Dill (Trans. Comp. Sys. Biology, 2006)

Analyzing Pathways Using SAT-Based Approaches. - Ashish Tiwari 001; Carolyn L. Talcott; Merrill Knapp; Patrick Lincoln; Keith Laderoute (AB, 2007)

Quantitative and Probabilistic Modeling in Pathway Logic. - Alessandro Abate; Yu Bai; Nathalie Sznajder; Carolyn L. Talcott; Ashish Tiwari 001 (BIBE, 2007)

Spectral Decomposition of Signaling Networks. - Bahram Parvin; Nirmalya Ghosh; Laura Heiser; Merrill Knapp; Carolyn L. Talcott; Keith Laderoute; Joe W. Gray; Paul T. Spellman (CIBCB, 2007)

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (FMOODS, 2007)

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (FORMATS, 2007)

Introduction. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Using Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Syntax and Basic Parsing. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Functional Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Hierarchy of Data Types: From Trees to Sets. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

System Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Module Operations. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Predefined Data Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Based Programming. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Model Checking Invariants Through Search. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

LTL Model Checking. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Reflection, Metalevel Computation, and Strategies. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Metaprogramming Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

User Interfaces and Metalanguage Applications. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Full Maude: Extending Core Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Object-Oriented Modules. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

A Sampler of Application Areas. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Debugging and Troubleshooting. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Complete List of Maude Commands. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Core Maude Grammar. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (All About Maude, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

Playing with Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Specifying Parameterized Data Structures in Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Miguel Palomino; Alberto Verdejo (All About Maude, 2007)

Mobile Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Adrián Riesco 001; Alberto Verdejo (All About Maude, 2007)

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. - Daniel Elenius; Grit Denker; Mark-Oliver Stehr; Rukman Senanayake; Carolyn L. Talcott; David Wilkins (POLICY, 2007)

A Formal Framework for Interactive Agents. - Carolyn L. Talcott (FInCo@ETAPS, 2007)

Comparing Three Coordination Models: Reo, ARC, and RRD. - Carolyn L. Talcott; Marjan Sirjani; Shangping Ren (FOCLASA, 2007)

Editorial. - Narciso Martí-Oliet; Grigore Rosu; Carolyn L. Talcott (High. Order Symb. Comput., 2007)

Policy-Based Cognitive Radios. - David Wilkins; Grit Denker; Mark-Oliver Stehr; Daniel Elenius; Rukman Senanayake; Carolyn L. Talcott (IEEE Wirel. Commun., 2007)

Analyzing a Discrete Model of Aplysia Central Pattern Generator - Ashish Tiwari 001; Carolyn L. Talcott (CMSB, 2008)

Formal specification of agent-object oriented programs. - Francesco Pagliarecci; Luca Spalazzi; Mark-Oliver Stehr; Carolyn L. Talcott (CTS, 2008)

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (DATE, 2008)

Pathway Logic. - Carolyn L. Talcott (SFM, 2008)

Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. - Yue Yu 002; Shangping Ren; Carolyn L. Talcott (FOCLASA@ICALP, 2008)

Cyber-Physical Systems and Events. - Carolyn L. Talcott (Software-Intensive Systems and New Computing Paradigms, 2008)

Unification and Narrowing in Maude 2.4. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (RTA, 2009)

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (FACS@FMWeek, 2009)

A Graphical User Interface for Maude-NPA. - Sonia Santiago; Carolyn L. Talcott; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (PROLE, 2009)

Understanding signalling networks as collections of signal transduction pathways. - Robin Donaldson; Carolyn L. Talcott; Merrill Knapp; Muffy Calder (CMSB, 2010)

Toward Distributed Declarative Control of Networked Cyber-Physical Systems. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (UIC, 2010)

A Formal Methodology for Compositional Cross-Layer Optimization. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Applications of Pathway Logic Modeling to Target Identification. - Anupama Panikkar; Merrill Knapp; Huaiyu Mi; Dave Anderson; Krishna Kodukula; Amit K. Galande; Carolyn L. Talcott (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. - Mark-Oliver Stehr; Carolyn L. Talcott; John M. Rushby; Patrick Lincoln; Minyoung Kim 002; Steven Cheung; Andy Poggio (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Tailoring group membership consistency for mobile networks. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Carolyn L. Talcott; Mark-Oliver Stehr (CTS, 2011)

Analyzing BGP Instances in Maude. - Anduo Wang; Carolyn L. Talcott; Limin Jia 001; Boon Thau Loo; Andre Scedrov (FMOODS/FORTE, 2011)

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; José Meseguer 001; Carolyn L. Talcott (RTA, 2011)

Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. - Minyoung Kim 002; Mark-Oliver Stehr; Ashish Gehani; Carolyn L. Talcott (UIC, 2011)

Document Logic: Risk Analysis of Business Processes Through Document Authenticity. - Shusaku Iida; Grit Denker; Carolyn L. Talcott (J. Res. Pract. Inf. Technol., 2011)

Comparing three coordination models: Reo, ARC, and PBRD. - Carolyn L. Talcott; Marjan Sirjani; Shangping Ren (Sci. Comput. Program., 2011)

Towards an automated assistant for clinical investigations. - Vivek Nigam; Tajana Ban Kirigin; Andre Scedrov; Carolyn L. Talcott; Max I. Kanovich; Ranko Perovic (IHI, 2012)

Brief announcement: a calculus of policy-based routing systems. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (PODC, 2012)

A Rewriting Framework for Activities Subject to Regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (RTA, 2012)

Reduction-based analysis of BGP systems with BGPVerif. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Carolyn L. Talcott; Boon Thau Loo; Andre Scedrov (SIGCOMM, 2012)

Formal specification of multisimulations using Maude. - Leila Jalali; Carolyn L. Talcott; Nalini Venkatasubramanian; Sharad Mehrotra (SpringSim (TMS-DEVS), 2012)

Reduction-Based Formal Analysis of BGP Instances. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (TACAS, 2012)

Resilient dependable cyber-physical systems: a middleware perspective. - Grit Denker; Nikil D. Dutt; Sharad Mehrotra; Mark-Oliver Stehr; Carolyn L. Talcott; Nalini Venkatasubramanian (J. Internet Serv. Appl., 2012)

Formal modeling of evolving self-adaptive systems. - Narges Khakpour; Saeed Jalili; Carolyn L. Talcott; Marjan Sirjani; Mohammad Reza Mousavi 001 (Sci. Comput. Program., 2012)

xTune: A formal methodology for cross-layer tuning of mobile embedded systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (ACM Trans. Embed. Comput. Syst., 2012)

FSR: formal analysis and implementation toolkit for safe interdomain routing. - Anduo Wang; Limin Jia 001; Wenchao Zhou; Yiqing Ren; Boon Thau Loo; Jennifer Rexford; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (IEEE/ACM Trans. Netw., 2012)

Application patterns for cyber-physical systems. - Jong-Seok Choi; Tim McCarthy; Maneesh Yadav; Minyoung Kim 002; Carolyn L. Talcott; Eric Gressier-Soudan (CPSNA, 2013)

Achieving resilience of heterogeneous networks through predictive, formal analysis. - Zhijing Qin; Grit Denker; Carolyn L. Talcott; Nalini Venkatasubramanian (HiCoNS, 2013)

Computing minimal nutrient sets from metabolic networks via linear constraint solving. - Steven Eker; Markus Krummenacker; Alexander Glennon Shearer; Ashish Tiwari 001; Ingrid M. Keseler; Carolyn L. Talcott; Peter D. Karp (BMC Bioinform., 2013)

The Immune System: the ultimate fractionated cyber-physical system. - Carolyn L. Talcott (Festschrift for Dave Schmidt, 2013)

Large-scale access scheduling in wireless mesh networks using social centrality. - Di Wu 002; Lichun Bao; Amelia C. Regan; Carolyn L. Talcott (J. Parallel Distributed Comput., 2013)

A distributed logic for Networked Cyber-Physical Systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott (Sci. Comput. Program., 2013)

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (Specification, Algebra, and Software, 2014)

A reduction-based approach towards scaling up formal analysis of internet configurations. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Boon Thau Loo; Carolyn L. Talcott; Andre Scedrov (INFOCOM, 2014)

Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway. - Gustavo Santos-García; Javier De Las Rivas; Carolyn L. Talcott (IWBBIO, 2014)

Adaptive Interest Modeling Improves Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (MILCOM, 2014)

A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. - Gustavo Santos-García; Javier De Las Rivas; Carolyn L. Talcott (PACBB, 2014)

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (UMAP Workshops, 2014)

SeCG: Serendipity enabled cyber games project. - Eric Gressier-Soudan; Isabelle Astic; Stéphane Natkin; J. Murray; Minyoung Kim 002; Carolyn L. Talcott; P. Gautier (VRIC, 2014)

Tailoring consistency in group membership for mobile networks. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (Future Gener. Comput. Syst., 2014)

Two Decades of Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Santiago Escobar 001; Patrick Lincoln; Narciso Martí-Oliet; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

José Meseguer: Scientist and Friend Extraordinaire. - Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn L. Talcott (Logic, Rewriting, and Concurrency, 2015)

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. - Carolyn L. Talcott; Farhad Arbab; Maneesh Yadav (Software, Services, and Systems, 2015)

Inferring Executable Models from Formalized Experimental Evidence. - Vivek Nigam; Robin Donaldson; Merrill Knapp; Tim McCarthy; Carolyn L. Talcott (CMSB, 2015)

Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. - Gustavo Santos-García; Carolyn L. Talcott; Javier De Las Rivas (HSB, 2015)

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (POST, 2015)

Executable Formal Models in Rewriting Logic (Invited Talk). - Carolyn L. Talcott (RTA, 2015)

The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction. - Carolyn L. Talcott (BIBM, 2016)

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (IJCAR, 2016)

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (ESORICS (2), 2016)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (FORMATS, 2016)

Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. - Gustavo Santos-García; Carolyn L. Talcott; Adrián Riesco 001; Beatriz Santos-Buitrago; Javier De Las Rivas (PACBB, 2016)

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. - Carolyn L. Talcott; Vivek Nigam; Farhad Arbab; Tobias Kappé (SFM, 2016)

A Compositional Framework for Preference-Aware Agents. - Tobias Kappé; Farhad Arbab; Carolyn L. Talcott (V2CPS@IFM, 2016)

Explaining Response to Drugs Using Pathway Logic. - Carolyn L. Talcott; Merrill Knapp (CMSB, 2017)

A Component-Oriented Framework for Autonomous Agents. - Tobias Kappé; Farhad Arbab; Carolyn L. Talcott (FACS, 2017)

Reverse Inference in Symbolic Systems Biology. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; Gustavo Santos-García; Carolyn L. Talcott (PACBB, 2017)

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. - Ian A. Mason; Vivek Nigam; Carolyn L. Talcott; Alisson Vasconcelos de Brito (SEFM Workshops, 2017)

Time, computational complexity, and probability in the analysis of distance-bounding protocols. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2017)

A rewriting framework and logic for activities subject to regulations. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott; Ranko Perovic (Math. Struct. Comput. Sci., 2017)

ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing. - Di Wu 002; Dmitri I. Arkhipov; Minyoung Kim 002; Carolyn L. Talcott; Amelia C. Regan; Julie A. McCann; Nalini Venkatasubramanian (IEEE Trans. Computers, 2017)

From Soft Agents to Soft Component Automata and Back. - Carolyn L. Talcott (It's All About Coordination, 2018)

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. - Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CPS-SPC@CCS, 2018)

Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Hang Li; Peter Nemes; Lida Parvin; Sylwia Stopka; Sunil Hwang; Ziad J. Sahab; Linwen Zhang; Deborah I. Bunin; et al. (CMSB, 2018)

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott (WRLA@ETAPS, 2018)

Symbolic Timed Observational Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (CoRR, 2018)

Compliance in Real Time Multiset Rewriting Models. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2018)

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. - Musab A. AlTurki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Symbolic Timed Trace Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CMSB, 2019)

Resource-Bounded Intruders in Denial of Service Attacks. - Abraão Aires Urquiza; Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CSF, 2019)

Formal Security Verification of Industry 4.0 Applications. - Vivek Nigam; Carolyn L. Talcott (ETFA, 2019)

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; José Carlos R. Alcantud; Gustavo Santos-García; Carolyn L. Talcott (IEEE Access, 2019)

Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. - Mark-Oliver Stehr; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Carolyn L. Talcott; Brian M. Davis; Christine A. Morton; et al. (CoRR, 2019)

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott; Merrill Knapp; Akos Vertes (CoRR, 2019)

Transcriptional Response of SK-N-AS Cells to Methamidophos. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CoRR, 2019)

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). - Francisco Durán 001; Robert Heinrich; Diego Perez-Palacin; Carolyn L. Talcott; Steffen Zschaler (Dagstuhl Reports, 2019)

Reasoning about effects: from lists to cyber-physical agents. - Ian A. Mason; Carolyn L. Talcott (Log. Methods Comput. Sci., 2019)

Soft component automata: Composition, compilation, logic, and verification. - Tobias Kappé; Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (Sci. Comput. Program., 2019)

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Ali Sedaghatbaf; Aida Causevic; Marjan Sirjani; Carolyn L. Talcott (FMICS, 2020)

Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. - Adrián Riesco 001; Beatriz Santos-Buitrago; Merrill Knapp; Gustavo Santos-García; Emiliano Hernández Galilea; Carolyn L. Talcott (PACBB, 2020)

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. - Yuri Gil Dantas; Vivek Nigam; Carolyn L. Talcott (VNC, 2020)

Programming and symbolic computation in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2020)

Overview of Challenges in Composing Model-Based Analysis Tools. - Francisco Durán 001; Robert Heinrich; Carolyn L. Talcott; Steffen Zschaler (Composing Model-Based Analysis Tools, 2021)

Conclusion. - Francisco Durán 001; Robert Heinrich; Carolyn L. Talcott; Steffen Zschaler (Composing Model-Based Analysis Tools, 2021)

Introduction. - Robert Heinrich; Francisco Durán 001; Carolyn L. Talcott; Steffen Zschaler (Composing Model-Based Analysis Tools, 2021)

Foundations. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe; Francisco Durán 001; et al. (Composing Model-Based Analysis Tools, 2021)

Composition of Languages, Models, and Analyses. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe (Composing Model-Based Analysis Tools, 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (Protocols, Strands, and Logic, 2021)

On Security Analysis of Periodic Systems: Expressiveness and Complexity. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICISSP, 2021)

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. - Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CoRR, 2021)

Intentional Forgetting. - Deborah Shands; Carolyn L. Talcott (CoRR, 2021)

Resource and timing aspects of security protocols. - Abraão Aires Urquiza; Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2021)

Runtime Composition of Systems of Interacting Cyber-Physical Components. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (WADT, 2022)

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (IJCAR, 2022)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (ICTAC, 2022)

A Rewriting Framework for Interacting Cyber-Physical Agents. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (ISoLA (3), 2022)

Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. - Vivek Nigam; Carolyn L. Talcott (WRLA@ETAPS, 2022)

A Rewriting Framework for Cyber-Physical Systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (CoRR, 2022)

A formal framework for distributed cyber-physical systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

A semantic model for interacting cyber-physical systems. - Benjamin Lion; Farhad Arbab; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

Automated construction of security integrity wrappers for Industry 4.0 applications. - Vivek Nigam; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

A probabilistic approximate logic for neuro-symbolic learning and reasoning. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

On the Security and Complexity of Periodic Systems. - Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (SN Comput. Sci., 2022)

Detection and diagnosis of deviations in distributed systems of autonomous agents. - Vivek Nigam; Minyoung Kim 002; Ian A. Mason; Carolyn L. Talcott (Math. Struct. Comput. Sci., 2022)

Incremental Rewriting Modulo SMT. - Gerald Whitters; Vivek Nigam; Carolyn L. Talcott (CADE, 2023)

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. - Vivek Nigam; Carolyn L. Talcott (TASE, 2023)

Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. - Vivek Nigam; Carolyn L. Talcott (CoRR, 2023)

Programming Open Distributed Systems in Maude. - Francisco Durán 001; Steven Eker; Santiago Escobar 001; Narciso Martí-Oliet; José Meseguer 001; Rubén Rubio; Carolyn L. Talcott (PPDP, 2024)

Time-Bounded Resilience. - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (WRLA, 2024)

Technical Report: Time-Bounded Resilience. - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (CoRR, 2024)

Dialects for CoAP-like Messaging Protocols. - Carolyn L. Talcott (CoRR, 2024)

Concurrent Rules Machines. - Farhad Arbab; Carolyn L. Talcott (Rebeca for Actor Analysis in Action, 2025)

Dialects for the CoAP IoT Messaging Protocol. - Carolyn L. Talcott (COORDINATION, 2025)