Carolyn L. Talcott

279 papers A* 8A 8B 4C 15Misc 8Journal 88Unranked 108

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems. CoRR Joud Khoury, Minyoung Kim, Christophe Merlin, José Meseguer, Zachary B. Ratliff, Carolyn L. Talcott
2026	—	`conf`	Open CPS: A Symbolic Model. Concurrent Programming, Open Systems and Formal Methods Farhad Arbab, Carolyn L. Talcott
2026	J	`jnl`	Verification of time-bounded multiset rewriting properties. J. Log. Algebraic Methods Program. Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2025	J	`jnl`	Challenges in Formal Analysis of Resilience: Capturing the Tradeoff Between the Chance of Failure and the Cost of Success. Logica Universalis Carolyn L. Talcott
2025	—	`conf`	Concurrent Rules Machines. Rebeca for Actor Analysis in Action Farhad Arbab, Carolyn L. Talcott
2025	C	`conf`	Dialects for the CoAP IoT Messaging Protocol. COORDINATION Carolyn L. Talcott
2025	C	`conf`	On the Automated Verification of BGP Convergence. PPDP Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott
2025	—	`ed.`	Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday Rebeca for Actor Analysis in Action Edward A. Lee, Mohammad Reza Mousavi, Carolyn L. Talcott
2024	J	`jnl`	Dialects for CoAP-like Messaging Protocols. CoRR Carolyn L. Talcott
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024	J	`jnl`	Technical Report: Time-Bounded Resilience. CoRR Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2024	—	`conf`	Time-Bounded Resilience. WRLA Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2023	Misc	`conf`	Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE Vivek Nigam, Carolyn L. Talcott
2023	A	`conf`	Incremental Rewriting Modulo SMT. CADE Gerald Whitters, Vivek Nigam, Carolyn L. Talcott
2023	J	`jnl`	Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR Vivek Nigam, Carolyn L. Talcott
2022	J	`jnl`	A Formal Framework for Distributed Cyber-Physical Systems. CoRR Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	J	`jnl`	A Rewriting Framework for Cyber-Physical Systems. CoRR Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	—	`conf`	A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	J	`jnl`	A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	J	`jnl`	A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2022	J	`jnl`	A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	J	`jnl`	Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. Vivek Nigam, Carolyn L. Talcott
2022	—	`conf`	Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA Vivek Nigam, Carolyn L. Talcott
2022	J	`jnl`	Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	C	`conf`	On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022	J	`jnl`	On the Security and Complexity of Periodic Systems. SN Comput. Sci. Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2022	J	`jnl`	Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2022	—	`conf`	Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021	J	`jnl`	A Semantic Model for Interacting Cyber-Physical Systems. CoRR Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021	—	`conf`	A Semantic Model for Interacting Cyber-Physical Systems. ICE Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2021	—	`book`	Composing Model-Based Analysis Tools Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler
2021	—	`ch.`	Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 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
2021	—	`ch.`	Conclusion. Composing Model-Based Analysis Tools Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler
2021	—	`ch.`	Foundations. Composing Model-Based Analysis Tools 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
2021	J	`jnl`	Intentional Forgetting. CoRR Deborah Shands, Carolyn L. Talcott
2021	—	`ch.`	Introduction. Composing Model-Based Analysis Tools Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler
2021	C	`conf`	On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	—	`conf`	On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	J	`jnl`	On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2021	—	`ch.`	Overview of Challenges in Composing Model-Based Analysis Tools. Composing Model-Based Analysis Tools Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler
2021	J	`jnl`	Resource and timing aspects of security protocols. J. Comput. Secur. Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2020	—	`conf`	A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott
2020	C	`conf`	An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott
2020	—	`conf`	Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA Vivek Nigam, Carolyn L. Talcott
2020	Misc	`conf`	Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. PACBB Adrián Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-García, Emiliano Hernández Galilea, Carolyn L. Talcott
2020	—	`ed.`	Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Logic, Language, and Security Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	—	`conf`	A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019	J	`jnl`	Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler
2019	C	`conf`	Formal Security Verification of Industry 4.0 Applications. ETFA Vivek Nigam, Carolyn L. Talcott
2019	J	`jnl`	Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. CoRR 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
2019	J	`jnl`	Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2019	J	`jnl`	Reasoning about effects: from lists to cyber-physical agents. Log. Methods Comput. Sci. Ian A. Mason, Carolyn L. Talcott
2019	A	`conf`	Resource-Bounded Intruders in Denial of Service Attacks. CSF Abraão Aires Urquiza, Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2019	J	`jnl`	Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. IEEE Access Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, José Carlos R. Alcantud, Gustavo Santos-García, Carolyn L. Talcott
2019	J	`jnl`	Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott
2019	—	`conf`	Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2019	—	`conf`	Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). CMSB 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
2019	J	`jnl`	Transcriptional Response of SK-N-AS Cells to Methamidophos. CoRR 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
2018	—	`conf`	Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2018	J	`jnl`	Compliance in Real Time Multiset Rewriting Models. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018	—	`conf`	From Soft Agents to Soft Component Automata and Back. It's All About Coordination Carolyn L. Talcott
2018	—	`conf`	Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. CMSB 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
2018	J	`jnl`	Reasoning about effects: from lists to cyber-physical agents. CoRR Ian A. Mason, Carolyn L. Talcott
2018	—	`conf`	Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS Musab A. Alturki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2018	J	`jnl`	Symbolic Timed Observational Equivalence. CoRR Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2017	—	`conf`	A Component-Oriented Framework for Autonomous Agents. FACS Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017	J	`jnl`	A Component-oriented Framework for Autonomous Agents. CoRR Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2017	—	`conf`	A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito
2017	J	`jnl`	A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2017	J	`jnl`	ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing. IEEE Trans. Computers Di Wu, Dmitri I. Arkhipov, Minyoung Kim, Carolyn L. Talcott, Amelia C. Regan, Julie A. McCann, Nalini Venkatasubramanian
2017	—	`conf`	Explaining Response to Drugs Using Pathway Logic. CMSB Carolyn L. Talcott, Merrill Knapp
2017	Misc	`conf`	Reverse Inference in Symbolic Systems Biology. PACBB Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott
2017	J	`jnl`	Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2017	J	`jnl`	Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	—	`conf`	A Compositional Framework for Preference-Aware Agents. V2CPS@IFM Tobias Kappé, Farhad Arbab, Carolyn L. Talcott
2016	A	`conf`	Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2016	—	`conf`	Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
2016	Misc	`conf`	Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. PACBB Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas
2016	—	`conf`	The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction. BIBM Carolyn L. Talcott
2016	—	`conf`	Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	J	`jnl`	Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2016	—	`conf`	Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2016	J	`jnl`	Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
2015	—	`conf`	Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. HSB Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas
2015	—	`conf`	Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2015	—	`conf`	Executable Formal Models in Rewriting Logic (Invited Talk). RTA Carolyn L. Talcott
2015	—	`conf`	Inferring Executable Models from Formalized Experimental Evidence. CMSB Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott
2015	—	`conf`	José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	—	`ed.`	Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott
2015	—	`conf`	Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav
2015	—	`conf`	Two Decades of Maude. Logic, Rewriting, and Concurrency Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
2014	Misc	`conf`	A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. PACBB Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott
2014	A*	`conf`	A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
2014	—	`conf`	Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
2014	—	`conf`	Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood
2014	—	`conf`	Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2014	—	`conf`	Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway. IWBBIO Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott
2014	—	`conf`	SeCG: Serendipity enabled cyber games project. VRIC Eric Gressier-Soudan, Isabelle Astic, Stéphane Natkin, J. Murray, Minyoung Kim, Carolyn L. Talcott, P. Gautier
2014	J	`jnl`	Tailoring consistency in group membership for mobile networks. Future Gener. Comput. Syst. Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
2013	J	`jnl`	A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
2013	—	`conf`	Achieving resilience of heterogeneous networks through predictive, formal analysis. HiCoNS Zhijing Qin, Grit Denker, Carolyn L. Talcott, Nalini Venkatasubramanian
2013	—	`conf`	Application patterns for cyber-physical systems. CPSNA Jong-Seok Choi, Tim McCarthy, Maneesh Yadav, Minyoung Kim, Carolyn L. Talcott, Eric Gressier-Soudan
2013	J	`jnl`	Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp
2013	J	`jnl`	Large-scale access scheduling in wireless mesh networks using social centrality. J. Parallel Distributed Comput. Di Wu, Lichun Bao, Amelia C. Regan, Carolyn L. Talcott
2013	—	`conf`	The Immune System: the ultimate fractionated cyber-physical system. Festschrift for Dave Schmidt Carolyn L. Talcott
2012	—	`conf`	A Rewriting Framework for Activities Subject to Regulations. RTA Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic
2012	A*	`conf`	Brief announcement: a calculus of policy-based routing systems. PODC Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2012	J	`jnl`	FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2012	J	`jnl`	Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2012	—	`conf`	Formal specification of multisimulations using Maude. SpringSim (TMS-DEVS) Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra
2012	A	`conf`	Reduction-Based Formal Analysis of BGP Instances. TACAS Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
2012	A*	`conf`	Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
2012	J	`jnl`	Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. Grit Denker, Nikil D. Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian
2012	—	`conf`	Towards an automated assistant for clinical investigations. IHI Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic
2012	J	`jnl`	xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2011	—	`conf`	A Distributed Logic for Networked Cyber-Physical Systems. FSEN Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott
2011	—	`conf`	A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2011	—	`conf`	Analyzing BGP Instances in Maude. FMOODS/FORTE Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
2011	—	`conf`	Applications of Pathway Logic Modeling to Target Identification. Formal Modeling: Actors, Open Systems, Biological Systems Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, Carolyn L. Talcott
2011	J	`jnl`	Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
2011	J	`jnl`	Document Logic: Risk Analysis of Business Processes Through Document Authenticity. J. Res. Pract. Inf. Technol. Shusaku Iida, Grit Denker, Carolyn L. Talcott
2011	C	`conf`	Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott
2011	—	`conf`	Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio
2011	—	`conf`	Tailoring group membership consistency for mobile networks. CTS Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr
2011	—	`conf`	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
2010	—	`ed.`	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 ARM Carolyn L. Talcott, Nalini Venkatasubramanian
2010	C	`conf`	Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
2010	—	`conf`	Understanding signalling networks as collections of signal transduction pathways. CMSB Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder
2009	—	`conf`	A Graphical User Interface for Maude-NPA. PROLE Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer
2009	—	`conf`	Document Logic: Risk analysis of business processes through document authenticity. EDOCW Shusaku Iida, Grit Denker, Carolyn L. Talcott
2009	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2009	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2009	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2009	—	`conf`	PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. FACS@FMWeek Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi
2009	—	`conf`	Unification and Narrowing in Maude 2.4. RTA Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2008	—	`conf`	Analyzing a Discrete Model of Aplysia Central Pattern Generator CMSB Ashish Tiwari, Carolyn L. Talcott
2008	A	`conf`	Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2008	—	`conf`	Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. FOCLASA@ICALP Yue Yu, Shangping Ren, Carolyn L. Talcott
2008	—	`ch.`	Cyber-Physical Systems and Events. Software-Intensive Systems and New Computing Paradigms Carolyn L. Talcott
2008	—	`conf`	Formal specification of agent-object oriented programs. CTS Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
2008	—	`conf`	Pathway Logic. SFM Carolyn L. Talcott
2007	—	`conf`	A Formal Framework for Interactive Agents. FInCo@ETAPS Carolyn L. Talcott
2007	—	`ch.`	A Hierarchy of Data Types: From Trees to Sets. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`conf`	A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2007	—	`ch.`	A Sampler of Application Areas. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`book`	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`conf`	Analyzing Pathways Using SAT-Based Approaches. AB Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2007	—	`conf`	CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins
2007	—	`conf`	Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian
2007	—	`conf`	Comparing Three Coordination Models: Reo, ARC, and RRD. FOCLASA Carolyn L. Talcott, Marjan Sirjani, Shangping Ren
2007	—	`ch.`	Complete List of Maude Commands. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Core Maude Grammar. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Debugging and Troubleshooting. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	J	`jnl`	Editorial. High. Order Symb. Comput. Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott
2007	—	`ch.`	Full Maude: Extending Core Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Functional Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Introduction. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	LTL Model Checking. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Metaprogramming Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Mobile Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo
2007	—	`ch.`	Model Checking Invariants Through Search. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Module Operations. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Based Programming. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Object-Oriented Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Playing with Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	J	`jnl`	Policy-Based Cognitive Radios. IEEE Wirel. Commun. David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott
2007	—	`ch.`	Predefined Data Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ed.`	Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006 WRLA Grit Denker, Carolyn L. Talcott
2007	C	`conf`	Quantitative and Probabilistic Modeling in Pathway Logic. BIBE Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari
2007	—	`ch.`	Reflection, Metalevel Computation, and Strategies. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Some Tools. All About Maude 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
2007	—	`ch.`	Specifying Parameterized Data Structures in Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
2007	C	`conf`	Spectral Decomposition of Signaling Networks. CIBCB Bahram Parvin, Nirmalya Ghosh, Laura Heiser, Merrill Knapp, Carolyn L. Talcott, Keith Laderoute, Joe W. Gray, Paul T. Spellman
2007	—	`ch.`	Syntax and Basic Parsing. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	System Modules. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	User Interfaces and Metalanguage Applications. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2007	—	`ch.`	Using Maude. All About Maude Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2006	—	`conf`	A Rewriting Logic Framework for Soft Constraints. WRLA Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
2006	Misc	`conf`	A semantic model for safe protocol interaction. SAC Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Furio Honsell, Carolyn L. Talcott
2006	C	`conf`	Formal Executable Models of Cell Signaling Primitives. ISoLA Carolyn L. Talcott
2006	J	`jnl`	Multiple Representations of Biological Processes. Trans. Comp. Sys. Biology Carolyn L. Talcott, David L. Dill
2006	—	`conf`	Policy-based Coordination in PAGODA: A Case Study. CoOrg/MTCoord@COORDINATION Carolyn L. Talcott
2006	—	`conf`	Preface. WRLA Grit Denker, Carolyn L. Talcott
2006	—	`conf`	Rewriting Logic Systems. WRLA Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
2006	J	`jnl`	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods Syst. Des. Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott
2006	Misc	`conf`	Symbolic modeling of signal transduction in pathway logic. WSC Carolyn L. Talcott
2006	C	`conf`	Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. PRDC Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
2005	—	`conf`	Actors and Logical Analysis of Interactive Systems. FInCo@ETAPS Ian A. Mason, Carolyn L. Talcott
2005	—	`conf`	Coordination Models Based on a Formal Model of Distributed Object Reflection. MTCoord@COORDINATION Carolyn L. Talcott
2005	—	`conf`	Pathway Logic Helping Biologists Understand and Organize Pathway Information. CSB Workshops Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
2005	—	`conf`	Practical Techniques for Language Design and Prototyping. Foundations of Global Computing Mark-Oliver Stehr, Carolyn L. Talcott
2005	J	`jnl`	Reputation-based trust management. J. Comput. Secur. Vitaly Shmatikov, Carolyn L. Talcott
2005	—	`conf`	The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. Systems Biology and Regulatory Genomics David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
2004	J	`jnl`	A formal model for reasoning about adaptive QoS-enabled middleware. ACM Trans. Softw. Eng. Methodol. Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
2004	—	`conf`	Exploring adaptability of secure group communication using formal prototyping techniques. Adaptive and Reflective Middleware Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
2004	—	`conf`	Formal Checklists for Remote Agent Dependability. WRLA Grit Denker, Carolyn L. Talcott
2004	—	`conf`	IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. WRLA Ian A. Mason, Carolyn L. Talcott
2004	Misc	`conf`	Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. Pacific Symposium on Biocomputing Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2004	—	`conf`	Techniques for Executing and Reasoning about Specification Diagrams. AMAST Prasanna Thati, Carolyn L. Talcott, Gul Agha
2003	—	`conf`	Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management. DSOM Sandeep Uttamchandani, Carolyn L. Talcott, David Pease
2003	—	`conf`	Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2003	—	`conf`	Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. CMSB Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
2003	—	`conf`	The Maude 2.0 System. RTA Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
2002	—	`conf`	A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services. FMOODS Carolyn L. Talcott
2002	J	`jnl`	Actor theories in rewriting logic. Theor. Comput. Sci. Carolyn L. Talcott
2002	C	`ed.`	Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings COORDINATION Farhad Arbab, Carolyn L. Talcott
2002	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2002	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2002	—	`conf`	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott
2002	—	`conf`	Pathway Logic: Executable Models of Biological Networks. WRLA Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
2002	—	`conf`	Plan in Maude: Specifying an Active Network Programming Language. WRLA Mark-Oliver Stehr, Carolyn L. Talcott
2002	A	`conf`	Semantic Models for Distributed Object Reflection. ECOOP José Meseguer, Carolyn L. Talcott
2002	J	`jnl`	Specification Diagrams for Actor Systems. High. Order Symb. Comput. Scott F. Smith, Carolyn L. Talcott
2001	—	`conf`	A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha
2001	J	`jnl`	A Semantic Framework for Modeling and Reasoning about Reflective Middleware. IEEE Distributed Syst. Online Nalini Venkatasubramanian, Carolyn L. Talcott
2001	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2001	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2001	J	`jnl`	Reasoning Theories. J. Autom. Reason. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
2001	B	`conf`	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. FASE Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele
2000	J	`jnl`	A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott
2000	—	`conf`	Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
2000	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2000	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2000	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
2000	—	`ed.`	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 FMOODS Scott F. Smith, Carolyn L. Talcott
2000	J	`jnl`	Maude. ACM SIGSOFT Softw. Eng. Notes José Meseguer, Carolyn L. Talcott
2000	—	`conf`	Rewriting Semantics of Meta-Objects and Composable Distributed Services. WRLA Grit Denker, José Meseguer, Carolyn L. Talcott
2000	J	`jnl`	Semantic interoperation of open systems. ACM SIGSOFT Softw. Eng. Notes José Meseguer, Carolyn L. Talcott
2000	—	`conf`	Simple Network Protocol Simulation within Maude. WRLA Ian A. Mason, Carolyn L. Talcott
2000	—	`conf`	Towards a Toolkit for Actor System Specification. AMAST Carolyn L. Talcott
1999	B	`conf`	A Partial Order Event Model for Concurrent Objects. CONCUR José Meseguer, Carolyn L. Talcott
1999	J	`jnl`	Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1999	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
1999	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
1999	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
1999	J	`jnl`	Introduction. High. Order Symb. Comput. Olivier Danvy, Carolyn L. Talcott
1999	—	`conf`	Modular Reasoning for Actor Specification Diagrams. FMOODS Scott F. Smith, Carolyn L. Talcott
1998	J	`jnl`	Composable Semantic Models for Actor Theories. High. Order Symb. Comput. Carolyn L. Talcott
1998	—	`conf`	Mapping OMRS to rewriting logic. WRLA José Meseguer, Carolyn L. Talcott
1998	J	`jnl`	Using Abstract Resources to Control Reasoning. J. Log. Lang. Inf. Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott
1997	J	`jnl`	A Foundation for Actor Computation. J. Funct. Program. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1997	A*	`conf`	A Semantically Sound Actor Tranlsation. ICALP Ian A. Mason, Carolyn L. Talcott
1997	—	`conf`	Can Actors and pi-Agents Live Together? HOOTS Ugo Montanari, Carolyn L. Talcott
1997	—	`conf`	Composable Semantic Models for Actor Theories. TACS Carolyn L. Talcott
1997	—	`conf`	Preface. HOOTS Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott
1997	—	`conf`	Reasoning about Programs With Effects. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Carolyn L. Talcott
1997	—	`ed.`	Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997 HOOTS Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott
1996	—	`conf`	An actor rewriting theory. WRLA Carolyn L. Talcott
1996	J	`jnl`	From Operational Semantics to Domain Theory. Inf. Comput. Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1996	—	`conf`	Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
1995	J	`jnl`	A Variable Typed Logic of Effects Inf. Comput. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1995	J	`jnl`	Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1995	A*	`conf`	Reasoning about Meta Level Activities in Open Distributed Systems. PODC Nalini Venkatasubramanian, Carolyn L. Talcott
1994	—	`conf`	Program Transformation via Contextual Assertions. Logic, Language and Computation Ian A. Mason, Carolyn L. Talcott
1994	—	`conf`	The Logic of FOL Systems: Formulated in Set Theory. Logic, Language and Computation Richard W. Weyhrauch, Carolyn L. Talcott
1993	J	`jnl`	A Theory of Binding Structures and Applications to Rewriting. Theor. Comput. Sci. Carolyn L. Talcott
1992	J	`jnl`	A Theory for Program and Data Type Specification. Theor. Comput. Sci. Carolyn L. Talcott
1992	B	`conf`	A Theory of Classes for a Functional Language with Effects. CSL Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1992	J	`jnl`	Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1992	A*	`conf`	References, Local Variables and Operational Reasoning LICS Ian A. Mason, Carolyn L. Talcott
1992	—	`conf`	Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott
1992	B	`conf`	Towards a Theory of Actor Computation. CONCUR Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1991	—	`conf`	Binding Structures. Artificial and Mathematical Theory of Computation Carolyn L. Talcott
1991	J	`jnl`	Equivalence in Functional Languages with Effects. J. Funct. Program. Ian A. Mason, Carolyn L. Talcott
1991	C	`conf`	Program Transformations for Configuring Components. PEPM Ian A. Mason, Carolyn L. Talcott
1991	—	`conf`	Towards a Theory of Binding Structures: An Abstract Algebra. AMAST Carolyn L. Talcott
1990	—	`conf`	A Simplifier for Untyped Lambda Expressions. CTRS Louis Galbiati, Carolyn L. Talcott
1990	—	`conf`	A theory for program and data type specification. DISCO Carolyn L. Talcott
1990	—	`conf`	Reasoning About Programs with Effects. PLILP Ian A. Mason, Carolyn L. Talcott
1990	A	`conf`	Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. ECAI Carolyn L. Talcott, Richard W. Weyhrauch
1989	A*	`conf`	Axiomatizing Operational Equivalence in the Presence of Side Effects LICS Ian A. Mason, Carolyn L. Talcott
1989	—	`conf`	Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems Alexandre Bronstein, Carolyn L. Talcott
1989	A*	`conf`	Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP Ian A. Mason, Carolyn L. Talcott
1985	—	`—`	The essence of Rum: a theory of the intensional and extensional aspects of lisp-type computation. Carolyn L. Talcott