Carolyn L. Talcott

Affiliations:
  • Stanford University, USA


According to our database1, Carolyn L. Talcott authored at least 232 papers between 1985 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Technical Report: Time-Bounded Resilience.
CoRR, 2024

2023
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.
CoRR, 2023

Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Incremental Rewriting Modulo SMT.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
Detection and diagnosis of deviations in distributed systems of autonomous agents.
Math. Struct. Comput. Sci., October, 2022

On the Security and Complexity of Periodic Systems.
SN Comput. Sci., 2022

A probabilistic approximate logic for neuro-symbolic learning and reasoning.
J. Log. Algebraic Methods Program., 2022

Automated construction of security integrity wrappers for Industry 4.0 applications.
J. Log. Algebraic Methods Program., 2022

A formal framework for distributed cyber-physical systems.
J. Log. Algebraic Methods Program., 2022

A Rewriting Framework for Cyber-Physical Systems.
CoRR, 2022

Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

A Rewriting Framework for Interacting Cyber-Physical Agents.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Runtime Composition of Systems of Interacting Cyber-Physical Components.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021
Resource and timing aspects of security protocols.
J. Comput. Secur., 2021

A Semantic Model for Interacting Cyber-Physical Systems.
Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

Intentional Forgetting.
CoRR, 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.
CoRR, 2021

On Security Analysis of Periodic Systems: Expressiveness and Complexity.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

On the Complexity of Verification of Time-Sensitive Distributed Systems.
Proceedings of the Protocols, Strands, and Logic, 2021

Composition of Languages, Models, and Analyses.
Proceedings of the Composing Model-Based Analysis Tools, 2021


Introduction.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Conclusion.
Proceedings of the Composing Model-Based Analysis Tools, 2021

Overview of Challenges in Composing Model-Based Analysis Tools.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Programming and symbolic computation in Maude.
J. Log. Algebraic Methods Program., 2020

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control.
Proceedings of the IEEE Vehicular Networking Conference, 2020

Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model.
Proceedings of the Practical Applications of Computational Biology & Bioinformatics, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2019
Soft component automata: Composition, compilation, logic, and verification.
Sci. Comput. Program., 2019

Reasoning about effects: from lists to cyber-physical agents.
Log. Methods Comput. Sci., 2019

Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481).
Dagstuhl Reports, 2019

Transcriptional Response of SK-N-AS Cells to Methamidophos.
CoRR, 2019

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
CoRR, 2019

Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data.
CoRR, 2019

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information.
IEEE Access, 2019

Formal Security Verification of Industry 4.0 Applications.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Resource-Bounded Intruders in Denial of Service Attacks.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract).
Proceedings of the Computational Methods in Systems Biology, 2019

Symbolic Timed Trace Equivalence.
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018
Compliance in Real Time Multiset Rewriting Models.
CoRR, 2018

Symbolic Timed Observational Equivalence.
CoRR, 2018

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude.
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018


Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols.
Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

From Soft Agents to Soft Component Automata and Back.
Proceedings of the It's All About Coordination, 2018

2017
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing.
IEEE Trans. Computers, 2017

A rewriting framework and logic for activities subject to regulations.
Math. Struct. Comput. Sci., 2017

Time, computational complexity, and probability in the analysis of distance-bounding protocols.
J. Comput. Secur., 2017

A Framework for Analyzing Adaptive Autonomous Aerial Vehicles.
Proceedings of the Software Engineering and Formal Methods, 2017

Reverse Inference in Symbolic Systems Biology.
Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2017

A Component-Oriented Framework for Autonomous Agents.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Explaining Response to Drugs Using Pathway Logic.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
A Compositional Framework for Preference-Aware Agents.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach.
Proceedings of the 10th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2016

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.
Proceedings of the Computer Security - ESORICS 2016, 2016

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015
Executable Formal Models in Rewriting Logic (Invited Talk).
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Inferring Executable Models from Formalized Experimental Evidence.
Proceedings of the Computational Methods in Systems Biology, 2015

Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems.
Proceedings of the Software, 2015

José Meseguer: Scientist and Friend Extraordinaire.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Two Decades of Maude.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
Tailoring consistency in group membership for mobile networks.
Future Gener. Comput. Syst., 2014

SeCG: Serendipity enabled cyber games project.
Proceedings of the 2014 Virtual Reality International Conference, 2014

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge.
Proceedings of the Posters, 2014

A Logic Computational Framework to Query Dynamics on Complex Biological Pathways.
Proceedings of the 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2014

Adaptive Interest Modeling Improves Content Services at the Network Edge.
Proceedings of the 2014 IEEE Military Communications Conference, 2014

Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway.
Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, 2014

A reduction-based approach towards scaling up formal analysis of internet configurations.
Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.
Proceedings of the Specification, Algebra, and Software, 2014

2013
A distributed logic for Networked Cyber-Physical Systems.
Sci. Comput. Program., 2013

Large-scale access scheduling in wireless mesh networks using social centrality.
J. Parallel Distributed Comput., 2013

The Immune System: the ultimate fractionated cyber-physical system.
Proceedings of the Semantics, 2013

Computing minimal nutrient sets from metabolic networks via linear constraint solving.
BMC Bioinform., 2013

Achieving resilience of heterogeneous networks through predictive, formal analysis.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Application patterns for cyber-physical systems.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012
FSR: formal analysis and implementation toolkit for safe interdomain routing.
IEEE/ACM Trans. Netw., 2012

xTune: A formal methodology for cross-layer tuning of mobile embedded systems.
ACM Trans. Embed. Comput. Syst., 2012

Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program., 2012

Resilient dependable cyber-physical systems: a middleware perspective.
J. Internet Serv. Appl., 2012

Reduction-Based Formal Analysis of BGP Instances.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Formal specification of multisimulations using Maude.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Reduction-based analysis of BGP systems with BGPVerif.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

A Rewriting Framework for Activities Subject to Regulations.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Brief announcement: a calculus of policy-based routing systems.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Towards an automated assistant for clinical investigations.
Proceedings of the ACM International Health Informatics Symposium, 2012

2011
Comparing three coordination models: Reo, ARC, and PBRD.
Sci. Comput. Program., 2011

Document Logic: Risk Analysis of Business Processes Through Document Authenticity.
J. Res. Pract. Inf. Technol., 2011

Ensuring Security and Availability through Model-Based Cross-Layer Adaptation.
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Analyzing BGP Instances in Maude.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Tailoring group membership consistency for mobile networks.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

Applications of Pathway Logic Modeling to Target Identification.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

A Formal Methodology for Compositional Cross-Layer Optimization.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Toward Distributed Declarative Control of Networked Cyber-Physical Systems.
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010

Understanding signalling networks as collections of signal transduction pathways.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009
Editorial.
High. Order Symb. Comput., 2009

A Graphical User Interface for Maude-NPA.
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Unification and Narrowing in Maude 2.4.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008
Cyber-Physical Systems and Events.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Pathway Logic.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.
Proceedings of the Design, Automation and Test in Europe, 2008

Formal specification of agent-object oriented programs.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

Analyzing a Discrete Model of Aplysia Central Pattern Generator
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Policy-Based Cognitive Radios.
IEEE Wirel. Commun., 2007

Editorial.
High. Order Symb. Comput., 2007

Comparing Three Coordination Models: Reo, ARC, and RRD.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

A Formal Framework for Interactive Agents.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007


Specifying Parameterized Data Structures in Maude.
Proceedings of the All About Maude, 2007




Complete List of Maude Commands.
Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.
Proceedings of the All About Maude, 2007

A Sampler of Application Areas.
Proceedings of the All About Maude, 2007

Object-Oriented Modules.
Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.
Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.
Proceedings of the All About Maude, 2007

Metaprogramming Applications.
Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.
Proceedings of the All About Maude, 2007


Model Checking Invariants Through Search.
Proceedings of the All About Maude, 2007

Object-Based Programming.
Proceedings of the All About Maude, 2007

Predefined Data Modules.
Proceedings of the All About Maude, 2007



A Hierarchy of Data Types: From Trees to Sets.
Proceedings of the All About Maude, 2007


Syntax and Basic Parsing.
Proceedings of the All About Maude, 2007



Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Spectral Decomposition of Signaling Networks.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

Quantitative and Probabilistic Modeling in Pathway Logic.
Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007

Analyzing Pathways Using SAT-Based Approaches.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Multiple Representations of Biological Processes.
Trans. Comp. Sys. Biology, 2006

Editorial.
High. Order Symb. Comput., 2006

Editorial.
High. Order Symb. Comput., 2006

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods Syst. Des., 2006

A Rewriting Logic Framework for Soft Constraints.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Policy-based Coordination in PAGODA: A Case Study.
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

Rewriting Logic Systems.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Preface.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Symbolic modeling of signal transduction in pathway logic.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

A semantic model for safe protocol interaction.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Formal Executable Models of Cell Signaling Primitives.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Reputation-based trust management.
J. Comput. Secur., 2005

Coordination Models Based on a Formal Model of Distributed Object Reflection.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Actors and Logical Analysis of Interactive Systems.
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Proceedings of the Systems Biology and Regulatory Genomics, 2005

Practical Techniques for Language Design and Prototyping.
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

Pathway Logic Helping Biologists Understand and Organize Pathway Information.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004
A formal model for reasoning about adaptive QoS-enabled middleware.
ACM Trans. Softw. Eng. Methodol., 2004

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Formal Checklists for Remote Agent Dependability.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Proceedings of the Biocomputing 2004, 2004

Exploring adaptability of secure group communication using formal prototyping techniques.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004

Techniques for Executing and Reasoning about Specification Diagrams.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
The Maude 2.0 System.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management.
Proceedings of the Self-Managing Distributed Systems, 2003

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
Actor theories in rewriting logic.
Theor. Comput. Sci., 2002

Specification Diagrams for Actor Systems.
High. Order Symb. Comput., 2002

Plan in Maude: Specifying an Active Network Programming Language.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Executable Models of Biological Networks.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Semantic Models for Distributed Object Reflection.
Proceedings of the ECOOP 2002, 2002

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

2001
Editorial.
High. Order Symb. Comput., 2001

Reasoning Theories.
J. Autom. Reason., 2001

A Semantic Framework for Modeling and Reasoning about Reflective Middleware.
IEEE Distributed Syst. Online, 2001

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
A Control-Flow Analysis for a Calculus of Concurrent Objects.
IEEE Trans. Software Eng., 2000

Semantic interoperation of open systems.
ACM SIGSOFT Softw. Eng. Notes, 2000

Maude.
ACM SIGSOFT Softw. Eng. Notes, 2000

Simple Network Protocol Simulation within Maude.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Rewriting Semantics of Meta-Objects and Composable Distributed Services.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Composing and Controlling Search in Reasoning Theories Using Mappings.
Proceedings of the Frontiers of Combining Systems, 2000

Towards a Toolkit for Actor System Specification.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Actor Languages Their Syntax, Semantics, Translation, and Equivalence.
Theor. Comput. Sci., 1999

Introduction.
High. Order Symb. Comput., 1999

Modular Reasoning for Actor Specification Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

A Partial Order Event Model for Concurrent Objects.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Composable Semantic Models for Actor Theories.
High. Order Symb. Comput., 1998

Using Abstract Resources to Control Reasoning.
J. Log. Lang. Inf., 1998

Mapping OMRS to rewriting logic.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

1997
A Foundation for Actor Computation.
J. Funct. Program., 1997

Reasoning about Programs With Effects.
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Can Actors and pi-Agents Live Together?
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Preface.
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

A Semantically Sound Actor Tranlsation.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
From Operational Semantics to Domain Theory.
Inf. Comput., 1996

An actor rewriting theory.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Proceedings of the Frontiers of Combining Systems, 1996

1995
A Variable Typed Logic of Effects
Inf. Comput., May, 1995

Reasoning About Object Systems in VTLoE.
Int. J. Found. Comput. Sci., 1995

Reasoning about Meta Level Activities in Open Distributed Systems.
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994
The Logic of FOL Systems: Formulated in Set Theory.
Proceedings of the Logic, 1994

Program Transformation via Contextual Assertions.
Proceedings of the Logic, 1994

1993
A Theory of Binding Structures and Applications to Rewriting.
Theor. Comput. Sci., 1993

1992
A Theory for Program and Data Type Specification.
Theor. Comput. Sci., 1992

Inferring the Equivalence of Functional Programs That Mutate Data.
Theor. Comput. Sci., 1992

References, Local Variables and Operational Reasoning
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Scalable Distributed Garbage Collection for Systems of Active Objects.
Proceedings of the Memory Management, 1992

A Theory of Classes for a Functional Language with Effects.
Proceedings of the Computer Science Logic, 6th Workshop, 1992

Towards a Theory of Actor Computation.
Proceedings of the CONCUR '92, 1992

1991
Equivalence in Functional Languages with Effects.
J. Funct. Program., 1991

Program Transformations for Configuring Components.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

Binding Structures.
Proceedings of the Artificial and Mathematical Theory of Computation, 1991

Towards a Theory of Binding Structures: An Abstract Algebra.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Reasoning About Programs with Effects.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

A Simplifier for Untyped Lambda Expressions.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989
Axiomatizing Operational Equivalence in the Presence of Side Effects
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Programming, Transforming, and Providing with Function Abstractions and Memories.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1986
<i>Rum</i>. An Intensional Theory of Function and Control Abstractions.
Proceedings of the Foundations of Logic and Functional Programming, 1986

1985
The essence of Rum: a theory of the intensional and extensional aspects of lisp-type computation.
PhD thesis, 1985


  Loading...