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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
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
Proceedings of the Automated Deduction - CADE 29, 2023
2022
Math. Struct. Comput. Sci., October, 2022
J. Log. Algebraic Methods Program., 2022
J. Log. Algebraic Methods Program., 2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022
2021
Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report.
CoRR, 2021
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the Protocols, Strands, and Logic, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
J. Log. Algebraic Methods Program., 2020
Proceedings of the IEEE Vehicular Networking Conference, 2020
Proceedings of the Practical Applications of Computational Biology & Bioinformatics, 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
2019
Sci. Comput. Program., 2019
Log. Methods Comput. Sci., 2019
Dagstuhl Reports, 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
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
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
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Computational Methods in Systems Biology, 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
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
Math. Struct. Comput. Sci., 2017
Time, computational complexity, and probability in the analysis of distance-bounding protocols.
J. Comput. Secur., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2017
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the Computational Methods in Systems Biology, 2017
2016
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
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
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
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
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
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
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
Future Gener. Comput. Syst., 2014
Proceedings of the 2014 Virtual Reality International Conference, 2014
Proceedings of the Posters, 2014
Proceedings of the 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2014
Proceedings of the 2014 IEEE Military Communications Conference, 2014
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
Sci. Comput. Program., 2013
J. Parallel Distributed Comput., 2013
Proceedings of the Semantics, 2013
Computing minimal nutrient sets from metabolic networks via linear constraint solving.
BMC Bioinform., 2013
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013
2012
IEEE/ACM Trans. Netw., 2012
ACM Trans. Embed. Comput. Syst., 2012
J. Internet Serv. Appl., 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the 2012 Spring Simulation Multiconference, 2012
Proceedings of the ACM SIGCOMM 2012 Conference, 2012
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
Proceedings of the ACM International Health Informatics Symposium, 2012
2011
J. Res. Pract. Inf. Technol., 2011
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
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
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010
2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
2008
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
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
2007
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007
Proceedings of the Workshop on the Foundations of Interactive Computation, 2007
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
Proceedings of the All About Maude, 2007
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
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007
Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Formal Methods Syst. Des., 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
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
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the Winter Simulation Conference WSC 2006, 2006
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
Proceedings of the Leveraging Applications of Formal Methods, 2006
2005
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005
Proceedings of the Systems Biology and Regulatory Genomics, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005
2004
ACM Trans. Softw. Eng. Methodol., 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
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
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
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
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
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
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
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
IEEE Trans. Software Eng., 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Frontiers of Combining Systems, 2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Theor. Comput. Sci., 1999
Modular Reasoning for Actor Specification Diagrams.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
1997
Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997
Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
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
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995
1994
1993
Theor. Comput. Sci., 1993
1992
Theor. Comput. Sci., 1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
Proceedings of the Memory Management, 1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1991
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991
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
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
Proceedings of the Conditional and Typed Rewriting Systems, 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
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
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