default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarolyn L. Talcott
Person information
- affiliation: Stanford University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c146]Francisco Durán
, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming Open Distributed Systems in Maude. PPDP 2024: 7:1-7:12- [c145]Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott:
Time-Bounded Resilience. WRLA 2024: 22-44 - [i21]Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott:
Technical Report: Time-Bounded Resilience. CoRR abs/2401.05585 (2024) - 2023
- [c144]Gerald Whitters, Vivek Nigam, Carolyn L. Talcott:
Incremental Rewriting Modulo SMT. CADE 2023: 560-576 - [c143]Vivek Nigam, Carolyn L. Talcott:
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE 2023: 1-19 - [i20]Vivek Nigam, Carolyn L. Talcott:
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR abs/2304.11564 (2023) - 2022
- [j64]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. 124: 100719 (2022) - [j63]Vivek Nigam, Carolyn L. Talcott:
Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. 126: 100745 (2022) - [j62]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. 128: 100795 (2022) - [j61]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. 129: 100807 (2022) - [j60]Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott:
Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. 32(9): 1254-1282 (2022) - [j59]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3(5): 356 (2022) - [c142]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT 2022: 141-162 - [c141]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - [c140]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC 2022: 96-113 - [c139]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) 2022: 356-372 - [c138]Vivek Nigam, Carolyn L. Talcott:
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS 2022: 212-229 - [i19]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR abs/2205.13008 (2022) - [i18]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Cyber-Physical Systems. CoRR abs/2206.03997 (2022) - [i17]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Formal Framework for Distributed Cyber-Physical Systems. CoRR abs/2207.01048 (2022) - 2021
- [j58]Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource and timing aspects of security protocols. J. Comput. Secur. 29(3): 299-340 (2021) - [c137]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275 - [c136]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP 2021: 43-54 - [c135]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. ICE 2021: 77-95 - [p30]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Introduction. Composing Model-Based Analysis Tools 2021: 1-8 - [p29]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p28]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Overview of Challenges in Composing Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 41-43 - [p27]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - [p26]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Conclusion. Composing Model-Based Analysis Tools 2021: 301-307 - [e9]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools. Springer 2021, ISBN 978-3-030-81914-9 [contents] - [i16]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR abs/2105.03531 (2021) - [i15]Deborah Shands, Carolyn L. Talcott:
Intentional Forgetting. CoRR abs/2106.09802 (2021) - [i14]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. CoRR abs/2106.15661 (2021) - 2020
- [j57]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [c134]Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott:
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS 2020: 130-147 - [c133]Adrián Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-García, Emiliano Hernández Galilea, Carolyn L. Talcott:
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. PACBB 2020: 80-90 - [c132]Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott:
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC 2020: 1-8 - [c131]Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA@ETAPS 2020: 197-215 - [e8]Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9 [contents]
2010 – 2019
- 2019
- [j56]Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, José Carlos R. Alcantud, Gustavo Santos-García, Carolyn L. Talcott:
Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. IEEE Access 7: 18183-18193 (2019) - [j55]Ian A. Mason, Carolyn L. Talcott:
Reasoning about effects: from lists to cyber-physical agents. Log. Methods Comput. Sci. 15(2) (2019) - [j54]Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019) - [c130]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning 2019: 89-111 - [c129]Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 192-213 - [c128]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, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). CMSB 2019: 368-372 - [c127]Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource-Bounded Intruders in Denial of Service Attacks. CSF 2019: 382-396 - [c126]Vivek Nigam, Carolyn L. Talcott:
Formal Security Verification of Industry 4.0 Applications. ETFA 2019: 1043-1050 - [i13]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, Christopher J. Sevinsky, Maria I. Zavodszky, Akos Vertes:
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. CoRR abs/1905.02291 (2019) - [i12]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes:
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR abs/1907.11321 (2019) - [i11]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, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos. CoRR abs/1908.03841 (2019) - [i10]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - [i9]Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports 9(11): 97-116 (2019) - 2018
- [c125]Carolyn L. Talcott:
From Soft Agents to Soft Component Automata and Back. It's All About Coordination 2018: 189-207 - [c124]Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS 2018: 60-71 - [c123]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, Merrill Knapp, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Sean R. Dinn, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. CMSB 2018: 238-255 - [c122]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - [i8]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Observational Equivalence. CoRR abs/1801.04066 (2018) - [i7]Ian A. Mason, Carolyn L. Talcott:
Reasoning about effects: from lists to cyber-physical agents. CoRR abs/1801.08450 (2018) - [i6]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Compliance in Real Time Multiset Rewriting Models. CoRR abs/1811.04826 (2018) - 2017
- [j53]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25(6): 585-630 (2017) - [j52]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27(3): 332-375 (2017) - [j51]Di Wu, Dmitri I. Arkhipov, Minyoung Kim, Carolyn L. Talcott, Amelia C. Regan, Julie A. McCann, Nalini Venkatasubramanian:
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing. IEEE Trans. Computers 66(2): 183-198 (2017) - [c121]Carolyn L. Talcott, Merrill Knapp:
Explaining Response to Drugs Using Pathway Logic. CMSB 2017: 249-264 - [c120]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Component-Oriented Framework for Autonomous Agents. FACS 2017: 20-38 - [c119]Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott:
Reverse Inference in Symbolic Systems Biology. PACBB 2017: 101-109 - [c118]Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito:
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops 2017: 406-422 - [i5]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR abs/1702.03504 (2017) - [i4]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Component-oriented Framework for Autonomous Agents. CoRR abs/1708.00072 (2017) - 2016
- [c117]Carolyn L. Talcott:
The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction. BIBM 2016: 1468-1476 - [c116]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c115]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) 2016: 450-470 - [c114]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS 2016: 228-244 - [c113]Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas:
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. PACBB 2016: 173-181 - [c112]Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé:
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35 - [c111]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Compositional Framework for Preference-Aware Agents. V2CPS@IFM 2016: 21-35 - [i3]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR abs/1605.08563 (2016) - [i2]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR abs/1606.07886 (2016) - 2015
- [c110]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c109]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [c108]Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav:
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems 2015: 273-290 - [c107]Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott:
Inferring Executable Models from Formalized Experimental Evidence. CMSB 2015: 90-103 - [c106]Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas:
Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. HSB 2015: 226-245 - [c105]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST 2015: 259-279 - [c104]Carolyn L. Talcott:
Executable Formal Models in Rewriting Logic (Invited Talk). RTA 2015: 22-22 - [e7]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - 2014
- [j50]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Tailoring consistency in group membership for mobile networks. Future Gener. Comput. Syst. 31: 134-146 (2014) - [c103]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software 2014: 402-433 - [c102]Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov:
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM 2014: 637-645 - [c101]Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott:
Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway. IWBBIO 2014: 924-935 - [c100]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM 2014: 1027-1033 - [c99]Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott:
A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. PACBB 2014: 207-214 - [c98]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops 2014 - [c97]Eric Gressier-Soudan, Isabelle Astic, Stéphane Natkin, J. Murray, Minyoung Kim, Carolyn L. Talcott, P. Gautier:
SeCG: Serendipity enabled cyber games project. VRIC 2014: 13:1-13:4 - 2013
- [j49]Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp:
Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. 14: 114 (2013) - [j48]Di Wu, Lichun Bao, Amelia C. Regan, Carolyn L. Talcott:
Large-scale access scheduling in wireless mesh networks using social centrality. J. Parallel Distributed Comput. 73(8): 1049-1065 (2013) - [j47]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. 78(12): 2453-2467 (2013) - [c96]Jong-Seok Choi, Tim McCarthy, Maneesh Yadav, Minyoung Kim, Carolyn L. Talcott, Eric Gressier-Soudan:
Application patterns for cyber-physical systems. CPSNA 2013: 52-59 - [c95]Zhijing Qin, Grit Denker, Carolyn L. Talcott, Nalini Venkatasubramanian:
Achieving resilience of heterogeneous networks through predictive, formal analysis. HiCoNS 2013: 85-92 - [c94]Carolyn L. Talcott:
The Immune System: the ultimate fractionated cyber-physical system. Festschrift for Dave Schmidt 2013: 309-324 - 2012
- [j46]Grit Denker, Nikil D. Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian:
Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. 3(1): 41-49 (2012) - [j45]Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012) - [j44]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. 11(4): 73:1-73:23 (2012) - [j43]Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012) - [c93]Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic:
Towards an automated assistant for clinical investigations. IHI 2012: 773-778 - [c92]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Brief announcement: a calculus of policy-based routing systems. PODC 2012: 343-344 - [c91]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A Rewriting Framework for Activities Subject to Regulations. RTA 2012: 305-322 - [c90]Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov:
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM 2012: 89-90 - [c89]Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra:
Formal specification of multisimulations using Maude. SpringSim (TMS-DEVS) 2012: 22 - [c88]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Reduction-Based Formal Analysis of BGP Instances. TACAS 2012: 283-298 - 2011
- [j42]Shusaku Iida, Grit Denker, Carolyn L. Talcott:
Document Logic: Risk Analysis of Business Processes Through Document Authenticity. J. Res. Pract. Inf. Technol. 43(1): 41-64 (2011) - [j41]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76(1): 3-22 (2011) - [c87]Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio:
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143 - [c86]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 207-222 - [c85]Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott:
Applications of Pathway Logic Modeling to Target Identification. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 434-445 - [c84]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr:
Tailoring group membership consistency for mobile networks. CTS 2011: 548-554 - [c83]Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov:
Analyzing BGP Instances in Maude. FMOODS/FORTE 2011: 334-348 - [c82]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A Distributed Logic for Networked Cyber-Physical Systems. FSEN 2011: 190-205 - [c81]Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott:
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40 - [c80]Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott:
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC 2011: 310-325 - 2010
- [c79]Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder:
Understanding signalling networks as collections of signal transduction pathways. CMSB 2010: 86-95 - [c78]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC 2010: 397-413 - [e6]Carolyn L. Talcott, Nalini Venkatasubramanian:
Proceedings of the 9th Workshop on Adaptive and Reflective Middleware, ARM 2010, held at the ACM/IFIP/USENIX International Middleware Conference, November 30, 2010, Bangalore, India. ACM 2010, ISBN 978-1-4503-0455-9 [contents]
2000 – 2009
- 2009
- [j40]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 22(2): 113 (2009) - [j39]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 22(3): 197 (2009) - [j38]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 22(4): 293 (2009) - [c77]Shusaku Iida, Grit Denker, Carolyn L. Talcott:
Document Logic: Risk analysis of business processes through document authenticity. EDOCW 2009: 54-63 - [c76]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - [c75]Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20 - [c74]Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. FACS@FMWeek 2009: 129-143 - 2008
- [c73]Ashish Tiwari, Carolyn L. Talcott:
Analyzing a Discrete Model of Aplysia Central Pattern Generator. CMSB 2008: 347-366 - [c72]Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134 - [c71]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE 2008: 646-651 - [c70]Carolyn L. Talcott:
Pathway Logic. SFM 2008: 21-53 - [c69]Yue Yu, Shangping Ren, Carolyn L. Talcott:
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. FOCLASA@ICALP 2008: 133-153 - [p25]Carolyn L. Talcott:
Cyber-Physical Systems and Events. Software-Intensive Systems and New Computing Paradigms 2008: 101-115 - 2007
- [j37]Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 20(1-2): 1-2 (2007) - [j36]David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott:
Policy-Based Cognitive Radios. IEEE Wirel. Commun. 14(4): 41-46 (2007) - [c68]Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169 - [c67]Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929 - [c66]Bahram Parvin, Nirmalya Ghosh, Laura Heiser, Merrill Knapp, Carolyn L. Talcott, Keith Laderoute, Joe W. Gray, Paul T. Spellman:
Spectral Decomposition of Signaling Networks. CIBCB 2007: 76-81 - [c65]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS 2007: 285-300 - [c64]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS 2007: 257-273 - [c63]Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins:
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY 2007: 261-265 - [c62]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing Three Coordination Models: Reo, ARC, and RRD. FOCLASA 2007: 39-55 - [c61]Carolyn L. Talcott:
A Formal Framework for Interactive Agents. FInCo@ETAPS 2007: 95-106 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Using Maude. All About Maude 2007: 31-37 - [p22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Syntax and Basic Parsing. All About Maude 2007: 39-59 - [p21]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Functional Modules. All About Maude 2007: 61-118 - [p20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129 - [p19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
System Modules. All About Maude 2007: 131-157 - [p18]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Playing with Maude. All About Maude 2007: 159-184 - [p17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Module Operations. All About Maude 2007: 185-230 - [p16]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Predefined Data Modules. All About Maude 2007: 231-305 - [p15]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo:
Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338 - [p14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Based Programming. All About Maude 2007: 339-372 - [p13]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Model Checking Invariants Through Search. All About Maude 2007: 373-384 - [p12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
LTL Model Checking. All About Maude 2007: 385-418 - [p11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458 - [p10]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Metaprogramming Applications. All About Maude 2007: 459-483 - [p9]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - [p8]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555 - [p7]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Full Maude: Extending Core Maude. All About Maude 2007: 559-597 - [p6]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Object-Oriented Modules. All About Maude 2007: 599-642 - [p5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
A Sampler of Application Areas. All About Maude 2007: 645-665 - [p4]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693 - [p3]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Debugging and Troubleshooting. All About Maude 2007: 697-736 - [p2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Complete List of Maude Commands. All About Maude 2007: 737-749 - [p1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Core Maude Grammar. All About Maude 2007: 751-756 - [e5]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - [e4]Grit Denker, Carolyn L. Talcott:
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 176(4), Elsevier 2007 [contents] - 2006
- [j35]Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott:
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. 29(3): 253-293 (2006) - [j34]Furio Honsell, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 19(2-3): 167-168 (2006) - [j33]Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 19(4): 343-344 (2006) - [j32]Carolyn L. Talcott, David L. Dill:
Multiple Representations of Biological Processes. Trans. Comp. Sys. Biology 6: 221-245 (2006) - [c60]Carolyn L. Talcott:
Formal Executable Models of Cell Signaling Primitives. ISoLA 2006: 298-302 - [c59]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. PRDC 2006: 113-120 - [c58]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott:
A semantic model for safe protocol interaction. SAC 2006: 1599-1600 - [c57]Carolyn L. Talcott:
Symbolic modeling of signal transduction in pathway logic. WSC 2006: 1656-1665 - [c56]Grit Denker, Carolyn L. Talcott:
Preface. WRLA 2006: 1-3 - [c55]Carolyn L. Talcott:
Policy-based Coordination in PAGODA: A Case Study. CoOrg/MTCoord@COORDINATION 2006: 97-112 - [c54]Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister:
A Rewriting Logic Framework for Soft Constraints. WRLA 2006: 181-197 - [c53]Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta:
Rewriting Logic Systems. WRLA 2006: 233-247 - 2005
- [j31]Vitaly Shmatikov, Carolyn L. Talcott:
Reputation-based trust management. J. Comput. Secur. 13(1): 167-190 (2005) - [c52]Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute:
Pathway Logic Helping Biologists Understand and Organize Pathway Information. CSB Workshops 2005: 155-156 - [c51]David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln:
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. Systems Biology and Regulatory Genomics 2005: 11-22 - [c50]Ian A. Mason, Carolyn L. Talcott:
Actors and Logical Analysis of Interactive Systems. FInCo@ETAPS 2005: 115-133 - [c49]Carolyn L. Talcott:
Coordination Models Based on a Formal Model of Distributed Object Reflection. MTCoord@COORDINATION 2005: 143-157 - [i1]Mark-Oliver Stehr, Carolyn L. Talcott:
Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005 - 2004
- [j30]Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:
A formal model for reasoning about adaptive QoS-enabled middleware. ACM Trans. Softw. Eng. Methodol. 13(1): 86-147 (2004) - [c48]Prasanna Thati, Carolyn L. Talcott, Gul Agha:
Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536 - [c47]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Exploring adaptability of secure group communication using formal prototyping techniques. Adaptive and Reflective Middleware 2004: 232-237 - [c46]Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. Pacific Symposium on Biocomputing 2004: 568-580 - [c45]Grit Denker, Carolyn L. Talcott:
Formal Checklists for Remote Agent Dependability. WRLA 2004: 229-248 - [c44]Ian A. Mason, Carolyn L. Talcott:
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. WRLA 2004: 315-333 - 2003
- [c43]Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott:
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. CMSB 2003: 164-165 - [c42]Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB 2003: 618-619 - [c41]Sandeep Uttamchandani, Carolyn L. Talcott, David Pease:
Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. DSOM 2003: 16-27 - [c40]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
The Maude 2.0 System. RTA 2003: 76-87 - 2002
- [j29]Olivier Danvy, Takayasu Ito, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 15(1): 5 (2002) - [j28]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 15(4): 271 (2002) - [j27]Scott F. Smith, Carolyn L. Talcott:
Specification Diagrams for Actor Systems. High. Order Symb. Comput. 15(4): 301-348 (2002) - [j26]Carolyn L. Talcott:
Actor theories in rewriting logic. Theor. Comput. Sci. 285(2): 441-485 (2002) - [c39]José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott:
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510 - [c38]José Meseguer, Carolyn L. Talcott:
Semantic Models for Distributed Object Reflection. ECOOP 2002: 1-36 - [c37]Carolyn L. Talcott:
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. FMOODS 2002: 25-26 - [c36]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks. WRLA 2002: 144-161 - [c35]Mark-Oliver Stehr, Carolyn L. Talcott:
Plan in Maude: Specifying an Active Network Programming Language. WRLA 2002: 240-260 - [e3]Farhad Arbab, Carolyn L. Talcott:
Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings. Lecture Notes in Computer Science 2315, Springer 2002, ISBN 3-540-43410-0 [contents] - 2001
- [j25]Nalini Venkatasubramanian, Carolyn L. Talcott:
A Semantic Framework for Modeling and Reasoning about Reflective Middleware. IEEE Distributed Syst. Online 2(6) (2001) - [j24]Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott:
Reasoning Theories. J. Autom. Reason. 26(3): 291-331 (2001) - [j23]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 14(1): 5 (2001) - [j22]Olivier Danvy, Takayasu Ito, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 14(4): 307 (2001) - [c34]Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele:
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE 2001: 333-348 - [c33]Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221 - 2000
- [j21]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 13(1/2): 5-6 (2000) - [j20]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 13(3): 159-160 (2000) - [j19]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 13(4): 287-288 (2000) - [j18]José Meseguer, Carolyn L. Talcott:
Semantic interoperation of open systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 64-65 (2000) - [j17]José Meseguer, Carolyn L. Talcott:
Maude. ACM SIGSOFT Softw. Eng. Notes 25(1): 104 (2000) - [j16]Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott:
A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26(7): 617-634 (2000) - [c32]Carolyn L. Talcott:
Towards a Toolkit for Actor System Specification. AMAST 2000: 391-406 - [c31]Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott:
Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216 - [c30]Ian A. Mason, Carolyn L. Talcott:
Simple Network Protocol Simulation within Maude. WRLA 2000: 274-291 - [c29]Grit Denker, José Meseguer, Carolyn L. Talcott:
Rewriting Semantics of Meta-Objects and Composable Distributed Services. WRLA 2000: 405-425 - [e2]Scott F. Smith, Carolyn L. Talcott:
Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. IFIP Conference Proceedings 177, Kluwer 2000, ISBN 0-7923-7923-3 [contents]
1990 – 1999
- 1999
- [j15]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 12(1): 5 (1999) - [j14]Olivier Danvy, Carolyn L. Talcott:
Introduction. High. Order Symb. Comput. 12(2): 123-124 (1999) - [j13]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 12(3): 219 (1999) - [j12]Olivier Danvy, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 12(4): 307-308 (1999) - [j11]Ian A. Mason, Carolyn L. Talcott:
Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. 220(2): 409-467 (1999) - [c28]José Meseguer, Carolyn L. Talcott:
A Partial Order Event Model for Concurrent Objects. CONCUR 1999: 415-430 - [c27]Scott F. Smith, Carolyn L. Talcott:
Modular Reasoning for Actor Specification Diagrams. FMOODS 1999 - 1998
- [j10]Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott:
Using Abstract Resources to Control Reasoning. J. Log. Lang. Inf. 7(1): 77-101 (1998) - [j9]Carolyn L. Talcott:
Composable Semantic Models for Actor Theories. High. Order Symb. Comput. 11(3): 281-343 (1998) - [c26]José Meseguer, Carolyn L. Talcott:
Mapping OMRS to rewriting logic. WRLA 1998: 33-54 - 1997
- [j8]Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997) - [c25]Ian A. Mason, Carolyn L. Talcott:
A Semantically Sound Actor Tranlsation. ICALP 1997: 369-378 - [c24]Carolyn L. Talcott:
Composable Semantic Models for Actor Theories. TACS 1997: 321-364 - [c23]Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Preface. HOOTS 1997: 1 - [c22]Ugo Montanari, Carolyn L. Talcott:
Can Actors and pi-Agents Live Together? HOOTS 1997: 189-196 - [c21]Carolyn L. Talcott:
Reasoning about Programs With Effects. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 301-314 - [e1]Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997. Electronic Notes in Theoretical Computer Science 10, Elsevier 1997 [contents] - 1996
- [j7]Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
From Operational Semantics to Domain Theory. Inf. Comput. 128(1): 26-47 (1996) - [c20]Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott:
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174 - [c19]Carolyn L. Talcott:
An actor rewriting theory. WRLA 1996: 361-384 - 1995
- [j6]Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
A Variable Typed Logic of Effects. Inf. Comput. 119(1): 55-90 (1995) - [j5]Ian A. Mason, Carolyn L. Talcott:
Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. 6(3): 265-298 (1995) - [c18]Nalini Venkatasubramanian, Carolyn L. Talcott:
Reasoning about Meta Level Activities in Open Distributed Systems. PODC 1995: 144-152 - 1994
- [c17]Richard W. Weyhrauch, Carolyn L. Talcott:
The Logic of FOL Systems: Formulated in Set Theory. Logic, Language and Computation 1994: 119-132 - [c16]Ian A. Mason, Carolyn L. Talcott:
Program Transformation via Contextual Assertions. Logic, Language and Computation 1994: 225-254 - 1993
- [j4]Carolyn L. Talcott:
A Theory of Binding Structures and Applications to Rewriting. Theor. Comput. Sci. 112(1): 99-143 (1993) - 1992
- [j3]Carolyn L. Talcott:
A Theory for Program and Data Type Specification. Theor. Comput. Sci. 104(1): 129-159 (1992) - [j2]Ian A. Mason, Carolyn L. Talcott:
Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. 105(2): 167-215 (1992) - [c15]Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
Towards a Theory of Actor Computation. CONCUR 1992: 565-579 - [c14]Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
A Theory of Classes for a Functional Language with Effects. CSL 1992: 309-326 - [c13]Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott:
Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147 - [c12]Ian A. Mason, Carolyn L. Talcott:
References, Local Variables and Operational Reasoning. LICS 1992: 186-197 - 1991
- [j1]Ian A. Mason, Carolyn L. Talcott:
Equivalence in Functional Languages with Effects. J. Funct. Program. 1(3): 287-327 (1991) - [c11]Carolyn L. Talcott:
Towards a Theory of Binding Structures: An Abstract Algebra. AMAST 1991: 201-215 - [c10]Carolyn L. Talcott:
Binding Structures. Artificial and Mathematical Theory of Computation 1991: 427-448 - [c9]Ian A. Mason, Carolyn L. Talcott:
Program Transformations for Configuring Components. PEPM 1991: 297-308 - 1990
- [c8]Louis Galbiati, Carolyn L. Talcott:
A Simplifier for Untyped Lambda Expressions. CTRS 1990: 342-353 - [c7]Carolyn L. Talcott:
A theory for program and data type specification. DISCO 1990: 91-100 - [c6]Carolyn L. Talcott, Richard W. Weyhrauch:
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. ECAI 1990: 634-639 - [c5]Ian A. Mason, Carolyn L. Talcott:
Reasoning About Programs with Effects. PLILP 1990: 189-203
1980 – 1989
- 1989
- [c4]Alexandre Bronstein, Carolyn L. Talcott:
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems 1989: 317-333 - [c3]Ian A. Mason, Carolyn L. Talcott:
Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP 1989: 574-588 - [c2]Ian A. Mason, Carolyn L. Talcott:
Axiomatizing Operational Equivalence in the Presence of Side Effects. LICS 1989: 284-293 - 1986
- [c1]Carolyn L. Talcott:
Rum. An Intensional Theory of Function and Control Abstractions. Foundations of Logic and Functional Programming 1986: 3-44 - 1985
- [b1]Carolyn L. Talcott:
The essence of Rum: a theory of the intensional and extensional aspects of lisp-type computation. Stanford University, USA, 1985
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
