Carolyn L. Talcott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
38
Active years
1989–2025
Best venue rank
A*
Where they publish
- NationalPACBB4 papers
- ACADE3 papers
- CPPDP2 papers
- CISoLA2 papers
- A*PODC2 papers
- CUIC2 papers
- BCONCUR2 papers
- A*ICALP2 papers
- A*LICS2 papers
- CCoordination1 paper
- NationalTASE1 paper
- CICTAC1 paper
- CICISSP1 paper
- CFMICS1 paper
- CETFA1 paper
- A*CCS1 paper
- BSEFM1 paper
- AESORICS1 paper
- A*INFOCOM1 paper
- A*SIGCOMM1 paper
- ATACAS1 paper
- CFORTE1 paper
- BEDOC1 paper
- ADATE1 paper
- CBIBE1 paper
- CCIBCB1 paper
- CPRDC1 paper
- NationalWSC1 paper
- MulticonferenceSAC1 paper
- BRECOMB1 paper
- AMiddleware1 paper
- NationalPSB1 paper
- AECOOP1 paper
- BFASE1 paper
- BFM1 paper
- BCSL1 paper
- CPEPM1 paper
- AECAI1 paper
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Dialects for the CoAP IoT Messaging Protocol. | Carolyn L. Talcott |
| 2025 | PPDP | On the Automated Verification of BGP Convergence. | Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott |
| 2024 | PPDP | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2023 | CADE | Incremental Rewriting Modulo SMT. | Gerald Whitters, Vivek Nigam, Carolyn L. Talcott |
| 2023 | TASE | Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. | Vivek Nigam, Carolyn L. Talcott |
| 2022 | CADE | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2022 | ICTAC | 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 |
| 2022 | ISoLA | A Rewriting Framework for Interacting Cyber-Physical Agents. | Benjamin Lion, Farhad Arbab, Carolyn L. Talcott |
| 2021 | ICISSP | 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 |
| 2020 | FMICS | 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 |
| 2020 | PACBB | Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. | Adrin Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-Garca, Emiliano Hernndez Galilea, Carolyn L. Talcott |
| 2019 | ETFA | Formal Security Verification of Industry 4.0 Applications. | Vivek Nigam, Carolyn L. Talcott |
| 2018 | CCS | 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 |
| 2017 | PACBB | Reverse Inference in Symbolic Systems Biology. | Beatriz Santos-Buitrago, Adrin Riesco, Merrill Knapp, Gustavo Santos-Garca, Carolyn L. Talcott |
| 2017 | SEFM | A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. | Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito |
| 2016 | CADE | Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Carolyn L. Talcott |
| 2016 | ESORICS | Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. | Vivek Nigam, Carolyn L. Talcott, Abrao Aires Urquiza |
| 2016 | PACBB | Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. | Gustavo Santos-Garca, Carolyn L. Talcott, Adrin Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas |
| 2014 | INFOCOM | 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 |
| 2014 | PACBB | A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. | Gustavo Santos-Garca, Javier De Las Rivas, Carolyn L. Talcott |
| 2012 | PODC | Brief announcement: a calculus of policy-based routing systems. | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
| 2012 | SIGCOMM | 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 |
| 2012 | TACAS | Reduction-Based Formal Analysis of BGP Instances. | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
| 2011 | FORTE | Analyzing BGP Instances in Maude. | Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | UIC | Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. | Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott |
| 2010 | UIC | Toward Distributed Declarative Control of Networked Cyber-Physical Systems. | Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott |
| 2009 | EDOC | Document Logic: Risk analysis of business processes through document authenticity. | Shusaku Iida, Grit Denker, Carolyn L. Talcott |
| 2008 | DATE | Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian |
| 2007 | BIBE | Quantitative and Probabilistic Modeling in Pathway Logic. | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari |
| 2007 | CIBCB | Spectral Decomposition of Signaling Networks. | Bahram Parvin, Nirmalya Ghosh, Laura Heiser, Merrill Knapp, Carolyn L. Talcott, Keith Laderoute, Joe W. Gray, Paul T. Spellman |
| 2006 | ISoLA | Formal Executable Models of Cell Signaling Primitives. | Carolyn L. Talcott |
| 2006 | PRDC | 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 |
| 2006 | WSC | Symbolic modeling of signal transduction in pathway logic. | Carolyn L. Talcott |
| 2006 | SAC | A semantic model for safe protocol interaction. | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott |
| 2005 | RECOMB | The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. | David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln |
| 2004 | Middleware | Exploring adaptability of secure group communication using formal prototyping techniques. | Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott |
| 2004 | PSB | Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. | Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute |
| 2002 | ECOOP | Semantic Models for Distributed Object Reflection. | Jos Meseguer, Carolyn L. Talcott |
| 2001 | FASE | Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. | Peter Csaba lveczky, Mark Keaton, Jos Meseguer, Carolyn L. Talcott, Steve Zabele |
| 2001 | FM | A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha |
| 1999 | CONCUR | A Partial Order Event Model for Concurrent Objects. | Jos Meseguer, Carolyn L. Talcott |
| 1997 | ICALP | A Semantically Sound Actor Tranlsation. | Ian A. Mason, Carolyn L. Talcott |
| 1995 | PODC | Reasoning about Meta Level Activities in Open Distributed Systems. | Nalini Venkatasubramanian, Carolyn L. Talcott |
| 1992 | CONCUR | Towards a Theory of Actor Computation. | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | CSL | A Theory of Classes for a Functional Language with Effects. | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | LICS | References, Local Variables and Operational Reasoning | Ian A. Mason, Carolyn L. Talcott |
| 1991 | PEPM | Program Transformations for Configuring Components. | Ian A. Mason, Carolyn L. Talcott |
| 1990 | ECAI | Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. | Carolyn L. Talcott, Richard W. Weyhrauch |
| 1989 | ICALP | Programming, Transforming, and Providing with Function Abstractions and Memories. | Ian A. Mason, Carolyn L. Talcott |
| 1989 | LICS | Axiomatizing Operational Equivalence in the Presence of Side Effects | Ian A. Mason, Carolyn L. Talcott |