Search results for "Carolyn L. Talcott"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian	Resilient dependable cyber-physical systems: a middleware perspective.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov	Reduction-Based Formal Analysis of BGP Instances.	TACAS	2012	DBLP DOI BibTeX RDF
1	Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic	Towards an automated assistant for clinical investigations.	IHI	2012	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing three coordination models: Reo, ARC, and PBRD.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov	Analyzing BGP Instances in Maude.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott	A Distributed Logic for Networked Cyber-Physical Systems.	FSEN	2011	DBLP DOI BibTeX RDF
1	Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott	Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6.	RTA	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	A Formal Methodology for Compositional Cross-Layer Optimization.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott	Ensuring Security and Availability through Model-Based Cross-Layer Adaptation.	UIC	2011	DBLP DOI BibTeX RDF
1	Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi	PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder	Understanding signalling networks as collections of signal transduction pathways.	CMSB	2010	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Nalini Venkatasubramanian (eds.)	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	2010	DBLP BibTeX RDF
1	Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott	Toward Distributed Declarative Control of Networked Cyber-Physical Systems.	UIC	2010	DBLP DOI BibTeX RDF
1	Yue Yu, Shangping Ren, Carolyn L. Talcott	Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer	A Graphical User Interface for Maude-NPA.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Olivier Danvy, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	Olivier Danvy, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	Olivier Danvy, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2009	DBLP DOI BibTeX RDF
1	S. Iida, Grit Denker, Carolyn L. Talcott	Document Logic: Risk analysis of business processes through document authenticity.	EDOCW	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	A Formal Framework for Interactive Agents.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Marjan Sirjani, Shangping Ren	Comparing Three Coordination Models: Reo, ARC, and RRD.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Cyber-Physical Systems and Events.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
1	Ashish Tiwari, Carolyn L. Talcott	Analyzing a Discrete Model of Aplysia Central Pattern Generator	CMSB	2008	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Pathway Logic.	SFM	2008	DBLP DOI BibTeX RDF	Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.	DATE	2008	DBLP DOI BibTeX RDF
1	Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta	Rewriting Logic Systems.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister	A Rewriting Logic Framework for Soft Constraints.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Grit Denker, Carolyn L. Talcott	Preface.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Policy-based Coordination in PAGODA: A Case Study.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Narciso Martí-Oliet, Grigore Rosu, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (eds.)	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic	All About Maude	2007	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Using Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Object-Oriented Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Introduction.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	LTL Model Checking.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Functional Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	System Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Predefined Data Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Core Maude Grammar.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Probabilistic Formal Methods, Resource Management, Statistical Analysis, Cross-layer Optimization
1	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	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.	FORMATS	2007	DBLP DOI BibTeX RDF	Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling
1	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	DBLP BibTeX RDF
1	Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari	Quantitative and Probabilistic Modeling in Pathway Logic.	BIBE	2007	DBLP DOI BibTeX RDF
1	Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute	Analyzing Pathways Using SAT-Based Approaches.	AB	2007	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Coordination Models Based on a Formal Model of Distributed Object Reflection.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF
1	Furio Honsell, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2006	DBLP DOI BibTeX RDF
1	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 in System Design	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
1	Carolyn L. Talcott, David L. Dill	Multiple Representations of Biological Processes.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF	biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction
1	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	DBLP DOI BibTeX RDF
1	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott	A semantic model for safe protocol interaction.	SAC	2006	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Formal Executable Models of Cell Signaling Primitives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Symbolic modeling of signal transduction in pathway logic.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov, Carolyn L. Talcott	Reputation-based trust management.	Journal of Computer Security	2005	DBLP BibTeX RDF
1	Ian A. Mason, Carolyn L. Talcott	Actors and Logical Analysis of Interactive Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Grit Denker, Carolyn L. Talcott	Formal Checklists for Remote Agent Dependability.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Ian A. Mason, Carolyn L. Talcott	IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Mark-Oliver Stehr, Carolyn L. Talcott	Practical Techniques for Language Design and Prototyping.	Foundations of Global Computing	2005	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha	A formal model for reasoning about adaptive QoS-enabled middleware.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	meta-object models, quality-of-service, multimedia, reflection, actors, theoretical foundations, Middleware services
1	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	DBLP BibTeX RDF
1	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
1	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	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute	Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. (PDF / PS)	CSB	2003	DBLP DOI BibTeX RDF
1	Sandeep Uttamchandani, Carolyn L. Talcott, David Pease	Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management.	DSOM	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	The Maude 2.0 System.	RTA	2003	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Actor theories in rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott	Pathway Logic: Executable Models of Biological Networks.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Mark-Oliver Stehr, Carolyn L. Talcott	Plan in Maude: Specifying an Active Network Programming Language.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Scott F. Smith, Carolyn L. Talcott	Specification Diagrams for Actor Systems.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Olivier Danvy, Takayasu Ito, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Olivier Danvy, Carolyn L. Talcott	Editorial.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.	FMOODS	2002	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Farhad Arbab, Carolyn L. Talcott (eds.)	Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings	COORDINATION	2002	DBLP BibTeX RDF
1	José Meseguer, Carolyn L. Talcott	Semantic Models for Distributed Object Reflection.	ECOOP	2002	DBLP BibTeX RDF
1	Nalini Venkatasubramanian, Carolyn L. Talcott	A Semantic Framework for Modeling and Reasoning about Reflective Middleware.	IEEE Distributed Systems Online	2001	DBLP BibTeX RDF
1	Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott	Reasoning Theories.	J. Autom. Reasoning	2001	DBLP DOI BibTeX RDF

Publications of "Carolyn L. Talcott" ( http://dblp.L3S.de/Authors/Carolyn_L._Talcott )