Travelled to:1 × Brazil
1 × Estonia
1 × Japan
1 × Poland
1 × Serbia
1 × Sweden
2 × France
2 × Germany
2 × Spain
3 × USA
5 × Italy
Collaborated with:I.A.Mason J.Meseguer ∅ N.Venkatasubramanian G.Denker S.Eker M.Stehr G.Agha F.Durán S.Escobar P.Lincoln N.Martí-Oliet A.Scedrov S.Gutierrez-Nolasco M.Clavel F.Honsell S.F.Smith A.Wang A.J.T.Gurney B.T.Loo M.Kim N.Dutt M.Wirsing A.Poggio L.Briesemeister M.Knapp K.Laderoute P.C.Ölveczky M.Keaton S.Zabele M.I.Kanovich T.B.Kirigin V.Nigam R.Perovic G.Rosu M.v.d.Brand T.Serbanuta
Talks about:maud (9) rewrit (8) logic (7) model (5) program (4) network (4) system (4) semant (4) formal (4) activ (4)
Person: Carolyn L. Talcott
DBLP: Talcott:Carolyn_L=
Facilitated 2 volumes:
EdEdContributed to:
20152012
201220112009
2008
2008
2006200720052003
20022002
2001
200120001998
199719962002
1992
1992
1992
1991
199019891989
2016Wrote 32 papers:
- RTA-2015-Talcott #execution #formal method #logic #modelling
- Executable Formal Models in Rewriting Logic (CLT), p. 22.
- RTA-2012-KanovichKNSTP #framework #process
- A Rewriting Framework for Activities Subject to Regulations (MIK, TBK, VN, AS, CLT, RP), pp. 305–322.
- TACAS-2012-WangTGLS #analysis #formal method
- Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
- RTA-2011-DuranEEMT #maude #reachability #unification
- Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (FD, SE, SE, JM, CLT), pp. 31–40.
- RTA-2009-ClavelDEELMMT #maude #unification
- Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
- DATE-2008-KimSTDV #adaptation #constraints #online #refinement
- Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (MK, MOS, CLT, ND, NV), pp. 646–651.
- SFM-2008-Talcott #logic
- Pathway Logic (CLT), pp. 21–53.
- SAC-2006-Gutierrez-NolascoVT #interactive #protocol #semantics
- A semantic model for safe protocol interaction (SGN, NV, CLT), pp. 1599–1600.
- WRLA-2006-DenkerTRBES07 #logic
- Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.
- WRLA-2006-WirsingDTPB07 #constraints #framework #logic
- A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
- WRLA-2004-DenkerT05 #dependence
- Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.
- WRLA-2004-MasonT05 #framework #interactive #maude #named #platform
- IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.
- RTA-2003-ClavelDELMMT #maude
- The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
- ECOOP-2002-MeseguerT #distributed #modelling #semantics
- Semantic Models for Distributed Object Reflection (JM, CLT), pp. 1–36.
- WRLA-2002-EkerKLLT #biology #execution #logic #modelling #network
- Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
- WRLA-2002-StehrT #maude #network #programming language #specification
- Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.
- FASE-2001-OlveczkyKMTZ #analysis #maude #network #protocol #realtime #specification
- Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude (PCÖ, MK, JM, CLT, SZ), pp. 333–348.
- FME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning
- A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.
- WRLA-2000-DenkerMT #composition #distributed #semantics
- Rewriting Semantics of Meta-Objects and Composable Distributed Services (GD, JM, CLT), pp. 405–425.
- WRLA-2000-MasonT #maude #network #protocol #simulation
- Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.
- WRLA-1998-MeseguerT #logic
- Mapping OMRS to rewriting logic (JM, CLT), pp. 33–54.
- ICALP-1997-MasonT #semantics
- A Semantically Sound Actor Tranlsation (IAM, CLT), pp. 369–378.
- RWLW-1996-Talcott
- An actor rewriting theory (CLT), pp. 361–384.
- WRLA-J-1996-Talcott02 #logic
- Actor theories in rewriting logic (CLT), pp. 441–485.
- CSL-1992-HonsellMST #formal method #functional
- A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
- IWMM-1992-VenkatasubramanianAT #distributed #garbage collection #scalability
- Scalable Distributed Garbage Collection for Systems of Active Objects (NV, GA, CLT), pp. 134–147.
- LICS-1992-MasonT #reasoning
- References, Local Variables and Operational Reasoning (IAM, CLT), pp. 186–197.
- PEPM-1991-MasonT #component #configuration management #program transformation
- Program Transformations for Configuring Components (IAM, CLT), pp. 297–308.
- PLILP-1990-MasonT #reasoning #source code
- Reasoning About Programs with Effects (IAM, CLT), pp. 189–203.
- ICALP-1989-MasonT #abstraction #programming
- Programming, Transforming, and Providing with Function Abstractions and Memories (IAM, CLT), pp. 574–588.
- LICS-1989-MasonT #axiom #equivalence
- Axiomatizing Operational Equivalence in the Presence of Side Effects (IAM, CLT), pp. 284–293.
- IJCAR-2016-DuranEEMMT #generative #maude #unification
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.