Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carolyn L. Talcott
@article{DBLP:journals/corr/abs-2401-05585,
author = {Tajana Ban Kirigin and
Jesse Comer and
Max I. Kanovich and
Andre Scedrov and
Carolyn L. Talcott},
title = {Technical Report: Time-Bounded Resilience},
journal = {CoRR},
volume = {abs/2401.05585},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.05585},
doi = {10.48550/ARXIV.2401.05585},
eprinttype = {arXiv},
eprint = {2401.05585},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-05585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/WhittersNT23,
author = {Gerald Whitters and
Vivek Nigam and
Carolyn L. Talcott},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Incremental Rewriting Modulo {SMT}},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {560--576},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_32},
doi = {10.1007/978-3-031-38499-8\_32},
timestamp = {Tue, 12 Sep 2023 07:57:19 +0200},
biburl = {https://dblp.org/rec/conf/cade/WhittersNT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/NigamT23,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Cristina David and
Meng Sun},
title = {Automating Recoverability Proofs for Cyber-Physical Systems with Runtime
Assurance Architectures},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium,
{TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_1},
doi = {10.1007/978-3-031-35257-7\_1},
timestamp = {Fri, 30 Jun 2023 22:40:45 +0200},
biburl = {https://dblp.org/rec/conf/tase/NigamT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11564,
author = {Vivek Nigam and
Carolyn L. Talcott},
title = {Technical-Report: Automating Recoverability Proofs for Cyber-Physical
Systems with Runtime Assurance Architectures},
journal = {CoRR},
volume = {abs/2304.11564},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11564},
doi = {10.48550/ARXIV.2304.11564},
eprinttype = {arXiv},
eprint = {2304.11564},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/StehrKT22,
author = {Mark{-}Oliver Stehr and
Minyoung Kim and
Carolyn L. Talcott},
title = {A probabilistic approximate logic for neuro-symbolic learning and
reasoning},
journal = {J. Log. Algebraic Methods Program.},
volume = {124},
pages = {100719},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100719},
doi = {10.1016/J.JLAMP.2021.100719},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/StehrKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/NigamT22,
author = {Vivek Nigam and
Carolyn L. Talcott},
title = {Automated construction of security integrity wrappers for Industry
4.0 applications},
journal = {J. Log. Algebraic Methods Program.},
volume = {126},
pages = {100745},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2021.100745},
doi = {10.1016/J.JLAMP.2021.100745},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/NigamT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A formal framework for distributed cyber-physical systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {128},
pages = {100795},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100795},
doi = {10.1016/J.JLAMP.2022.100795},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/LionAT22a,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A semantic model for interacting cyber-physical systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {129},
pages = {100807},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100807},
doi = {10.1016/J.JLAMP.2022.100807},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/LionAT22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NigamKMT22,
author = {Vivek Nigam and
Minyoung Kim and
Ian A. Mason and
Carolyn L. Talcott},
title = {Detection and diagnosis of deviations in distributed systems of autonomous
agents},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {9},
pages = {1254--1282},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000251},
doi = {10.1017/S0960129522000251},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NigamKMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/AlturkiKKNST22,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {On the Security and Complexity of Periodic Systems},
journal = {{SN} Comput. Sci.},
volume = {3},
number = {5},
pages = {356},
year = {2022},
url = {https://doi.org/10.1007/s42979-022-01223-9},
doi = {10.1007/S42979-022-01223-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/AlturkiKKNST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {Runtime Composition of Systems of Interacting Cyber-Physical Components},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {141--162},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_7},
doi = {10.1007/978-3-031-43345-0\_7},
timestamp = {Tue, 24 Oct 2023 15:45:06 +0200},
biburl = {https://dblp.org/rec/conf/adt/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DuranEEMMRT22,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Rub{\'{e}}n Rubio and
Carolyn L. Talcott},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Equational Unification and Matching, and Symbolic Reachability Analysis
in Maude 3.2 (System Description)},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {529--540},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_31},
doi = {10.1007/978-3-031-10769-6\_31},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DuranEEMMRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AlturkiKKNST22,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Helmut Seidl and
Zhiming Liu and
Corina S. Pasareanu},
title = {On the Formalization and Computational Complexity of Resilience Problems
for Cyber-Physical Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13572},
pages = {96--113},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17715-6\_8},
doi = {10.1007/978-3-031-17715-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AlturkiKKNST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LionAT22,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Rewriting Framework for Interacting Cyber-Physical Agents},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {356--372},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_22},
doi = {10.1007/978-3-031-19759-8\_22},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/LionAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT22,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Kyungmin Bae},
title = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting
Modulo {SMT}},
booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
pages = {212--229},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9\_11},
doi = {10.1007/978-3-031-12441-9\_11},
timestamp = {Wed, 03 Aug 2022 15:28:31 +0200},
biburl = {https://dblp.org/rec/conf/wrla/NigamT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13008,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Runtime Composition Of Systems of Interacting Cyber-Physical Components},
journal = {CoRR},
volume = {abs/2205.13008},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13008},
doi = {10.48550/ARXIV.2205.13008},
eprinttype = {arXiv},
eprint = {2205.13008},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03997,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Rewriting Framework for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2206.03997},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03997},
doi = {10.48550/ARXIV.2206.03997},
eprinttype = {arXiv},
eprint = {2206.03997},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-01048,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Formal Framework for Distributed Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2207.01048},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.01048},
doi = {10.48550/ARXIV.2207.01048},
eprinttype = {arXiv},
eprint = {2207.01048},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-01048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/UrquizaAKKNST21,
author = {Abra{\~{a}}o Aires Urquiza and
Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Resource and timing aspects of security protocols},
journal = {J. Comput. Secur.},
volume = {29},
number = {3},
pages = {299--340},
year = {2021},
url = {https://doi.org/10.3233/JCS-200012},
doi = {10.3233/JCS-200012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/UrquizaAKKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KanovichKNST21,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {On the Complexity of Verification of Time-Sensitive Distributed Systems},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {251--275},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_14},
doi = {10.1007/978-3-030-91631-2\_14},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KanovichKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/AlturkiKKNST21,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {On Security Analysis of Periodic Systems: Expressiveness and Complexity},
booktitle = {Proceedings of the 7th International Conference on Information Systems
Security and Privacy, {ICISSP} 2021, Online Streaming, February 11-13,
2021},
pages = {43--54},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010195100430054},
doi = {10.5220/0010195100430054},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icissp/AlturkiKKNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-02214,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
booktitle = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
pages = {77--95},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347.5},
doi = {10.4204/EPTCS.347.5},
timestamp = {Tue, 21 Mar 2023 21:05:33 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/Heinrich0TZ21,
author = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Introduction},
booktitle = {Composing Model-Based Analysis Tools},
pages = {1--8},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_1},
doi = {10.1007/978-3-030-81915-6\_1},
timestamp = {Wed, 25 May 2022 16:45:35 +0200},
biburl = {https://dblp.org/rec/books/sp/21/Heinrich0TZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV0Z21,
author = {Carolyn L. Talcott and
Sofia Ananieva and
Kyungmin Bae and
Beno{\^{\i}}t Combemale and
Robert Heinrich and
Mark Hills and
Narges Khakpour and
Ralf H. Reussner and
Bernhard Rumpe and
Patrizia Scandurra and
Hans Vangheluwe and
Francisco Dur{\'{a}}n and
Steffen Zschaler},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Foundations},
booktitle = {Composing Model-Based Analysis Tools},
pages = {9--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_2},
doi = {10.1007/978-3-030-81915-6\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/0001HTZ21,
author = {Francisco Dur{\'{a}}n and
Robert Heinrich and
Carolyn L. Talcott and
Steffen Zschaler},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Overview of Challenges in Composing Model-Based Analysis Tools},
booktitle = {Composing Model-Based Analysis Tools},
pages = {41--43},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_3},
doi = {10.1007/978-3-030-81915-6\_3},
timestamp = {Wed, 25 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/0001HTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV21,
author = {Carolyn L. Talcott and
Sofia Ananieva and
Kyungmin Bae and
Beno{\^{\i}}t Combemale and
Robert Heinrich and
Mark Hills and
Narges Khakpour and
Ralf H. Reussner and
Bernhard Rumpe and
Patrizia Scandurra and
Hans Vangheluwe},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Composition of Languages, Models, and Analyses},
booktitle = {Composing Model-Based Analysis Tools},
pages = {45--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_4},
doi = {10.1007/978-3-030-81915-6\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/0001HTZ21a,
author = {Francisco Dur{\'{a}}n and
Robert Heinrich and
Carolyn L. Talcott and
Steffen Zschaler},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Conclusion},
booktitle = {Composing Model-Based Analysis Tools},
pages = {301--307},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_14},
doi = {10.1007/978-3-030-81915-6\_14},
timestamp = {Wed, 25 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/0001HTZ21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/21/HDTZ2021,
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Composing Model-Based Analysis Tools},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6},
doi = {10.1007/978-3-030-81915-6},
isbn = {978-3-030-81914-9},
timestamp = {Wed, 25 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/HDTZ2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03531,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {On the Complexity of Verification of Time-Sensitive Distributed Systems:
Technical Report},
journal = {CoRR},
volume = {abs/2105.03531},
year = {2021},
url = {https://arxiv.org/abs/2105.03531},
eprinttype = {arXiv},
eprint = {2105.03531},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-09802,
author = {Deborah Shands and
Carolyn L. Talcott},
title = {Intentional Forgetting},
journal = {CoRR},
volume = {abs/2106.09802},
year = {2021},
url = {https://arxiv.org/abs/2106.09802},
eprinttype = {arXiv},
eprint = {2106.09802},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-09802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15661,
author = {Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Semantic Model for Interacting Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2106.15661},
year = {2021},
url = {https://arxiv.org/abs/2106.15661},
eprinttype = {arXiv},
eprint = {2106.15661},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/DuranEEMMRT20,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Rub{\'{e}}n Rubio and
Carolyn L. Talcott},
title = {Programming and symbolic computation in Maude},
journal = {J. Log. Algebraic Methods Program.},
volume = {110},
year = {2020},
url = {https://doi.org/10.1016/j.jlamp.2019.100497},
doi = {10.1016/J.JLAMP.2019.100497},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/DuranEEMMRT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MoradiASCST20,
author = {Fereidoun Moradi and
Sara Abbaspour Asadollah and
Ali Sedaghatbaf and
Aida Causevic and
Marjan Sirjani and
Carolyn L. Talcott},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {An Actor-Based Approach for Security Analysis of Cyber-Physical Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {130--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_5},
doi = {10.1007/978-3-030-58298-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/MoradiASCST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/0001SKSGT20,
author = {Adri{\'{a}}n Riesco and
Beatriz Santos{-}Buitrago and
Merrill Knapp and
Gustavo Santos{-}Garc{\'{\i}}a and
Emiliano Hern{\'{a}}ndez Galilea and
Carolyn L. Talcott},
editor = {Gabriella Panuccio and
Miguel Rocha and
Florentino Fdez{-}Riverola and
Mohd Saberi Mohamad and
Roberto Casado{-}Vara},
title = {Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma
Model},
booktitle = {Practical Applications of Computational Biology {\&} Bioinformatics,
14th International Conference {(PACBB} 2020), L'Aquila, Italy, 17-19
June, 2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1240},
pages = {80--90},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54568-0\_9},
doi = {10.1007/978-3-030-54568-0\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pacbb/0001SKSGT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/DantasNT20,
author = {Yuri Gil Dantas and
Vivek Nigam and
Carolyn L. Talcott},
title = {A Formal Security Assessment Framework for Cooperative Adaptive Cruise
Control},
booktitle = {{IEEE} Vehicular Networking Conference, {VNC} 2020, New York, NY,
USA, December 16-18, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/VNC51378.2020.9318334},
doi = {10.1109/VNC51378.2020.9318334},
timestamp = {Mon, 25 Jan 2021 11:10:27 +0100},
biburl = {https://dblp.org/rec/conf/vnc/DantasNT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/NigamT20,
author = {Vivek Nigam and
Carolyn L. Talcott},
editor = {Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Automated Construction of Security Integrity Wrappers for Industry
4.0 Applications},
booktitle = {Rewriting Logic and Its Applications - 13th International Workshop,
{WRLA} 2020, Virtual Event, October 20-22, 2020, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12328},
pages = {197--215},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63595-4\_11},
doi = {10.1007/978-3-030-63595-4\_11},
timestamp = {Mon, 14 Dec 2020 17:03:10 +0100},
biburl = {https://dblp.org/rec/conf/wrla/NigamT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2020scedrov,
editor = {Vivek Nigam and
Tajana Ban Kirigin and
Carolyn L. Talcott and
Joshua D. Guttman and
Stepan L. Kuznetsov and
Boon Thau Loo and
Mitsuhiro Okada},
title = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12300},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62077-6},
doi = {10.1007/978-3-030-62077-6},
isbn = {978-3-030-62076-9},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2020scedrov.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/Santos-Buitrago19,
author = {Beatriz Santos{-}Buitrago and
Adri{\'{a}}n Riesco and
Merrill Knapp and
Jos{\'{e}} Carlos R. Alcantud and
Gustavo Santos{-}Garc{\'{\i}}a and
Carolyn L. Talcott},
title = {Soft Set Theory for Decision Making in Computational Biology Under
Incomplete Information},
journal = {{IEEE} Access},
volume = {7},
pages = {18183--18193},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2896947},
doi = {10.1109/ACCESS.2019.2896947},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/Santos-Buitrago19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MasonT19,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Reasoning about effects: from lists to cyber-physical agents},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:8)2019},
doi = {10.23638/LMCS-15(2:8)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/MasonT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KappeLAT19,
author = {Tobias Kapp{\'{e}} and
Benjamin Lion and
Farhad Arbab and
Carolyn L. Talcott},
title = {Soft component automata: Composition, compilation, logic, and verification},
journal = {Sci. Comput. Program.},
volume = {183},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.08.001},
doi = {10.1016/J.SCICO.2019.08.001},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KappeLAT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NigamTU19,
author = {Vivek Nigam and
Carolyn L. Talcott and
Abra{\~{a}}o Aires Urquiza},
editor = {Joshua D. Guttman and
Carl E. Landwehr and
Jos{\'{e}} Meseguer and
Dusko Pavlovic},
title = {Symbolic Timed Trace Equivalence},
booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
Dedicated to Catherine A. Meadows},
series = {Lecture Notes in Computer Science},
volume = {11565},
pages = {89--111},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19052-1\_8},
doi = {10.1007/978-3-030-19052-1\_8},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NigamTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlTurkiKKNST19,
author = {Musab A. AlTurki and
Tajana Ban Kirigin and
Max I. Kanovich and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Joshua D. Guttman and
Carl E. Landwehr and
Jos{\'{e}} Meseguer and
Dusko Pavlovic},
title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects
of Security Protocols},
booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
Dedicated to Catherine A. Meadows},
series = {Lecture Notes in Computer Science},
volume = {11565},
pages = {192--213},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19052-1\_13},
doi = {10.1007/978-3-030-19052-1\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/AlTurkiKKNST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/VertesAAKPSBKNP19,
author = {Akos Vertes and
Albert{-}Baskar Arul and
Peter Avar and
Andrew R. Korte and
Lida Parvin and
Ziad J. Sahab and
Deborah I. Bunin and
Merrill Knapp and
Denise Nishita and
Andrew Poggio and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Brian M. Davis and
Christine A. Morton and
Christopher J. Sevinsky and
Maria I. Zavodszky},
editor = {Luca Bortolussi and
Guido Sanguinetti},
title = {Transcriptional Response of {SK-N-AS} Cells to Methamidophos (Extended
Abstract)},
booktitle = {Computational Methods in Systems Biology - 17th International Conference,
{CMSB} 2019, Trieste, Italy, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11773},
pages = {368--372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31304-3\_29},
doi = {10.1007/978-3-030-31304-3\_29},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/VertesAAKPSBKNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/UrquizaAKKNST19,
author = {Abra{\~{a}}o Aires Urquiza and
Musab A. AlTurki and
Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Resource-Bounded Intruders in Denial of Service Attacks},
booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
NJ, USA, June 25-28, 2019},
pages = {382--396},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSF.2019.00033},
doi = {10.1109/CSF.2019.00033},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/UrquizaAKKNST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NigamT19,
author = {Vivek Nigam and
Carolyn L. Talcott},
title = {Formal Security Verification of Industry 4.0 Applications},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {1043--1050},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8869428},
doi = {10.1109/ETFA.2019.8869428},
timestamp = {Thu, 24 Oct 2019 15:50:20 +0200},
biburl = {https://dblp.org/rec/conf/etfa/NigamT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-02291,
author = {Mark{-}Oliver Stehr and
Peter Avar and
Andrew R. Korte and
Lida Parvin and
Ziad J. Sahab and
Deborah I. Bunin and
Merrill Knapp and
Denise Nishita and
Andrew Poggio and
Carolyn L. Talcott and
Brian M. Davis and
Christine A. Morton and
Christopher J. Sevinsky and
Maria I. Zavodszky and
Akos Vertes},
title = {Learning Causality: Synthesis of Large-Scale Causal Networks from
High-Dimensional Time Series Data},
journal = {CoRR},
volume = {abs/1905.02291},
year = {2019},
url = {http://arxiv.org/abs/1905.02291},
eprinttype = {arXiv},
eprint = {1905.02291},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-02291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11321,
author = {Mark{-}Oliver Stehr and
Minyoung Kim and
Carolyn L. Talcott and
Merrill Knapp and
Akos Vertes},
title = {Probabilistic Approximate Logic and its Implementation in the Logical
Imagination Engine},
journal = {CoRR},
volume = {abs/1907.11321},
year = {2019},
url = {http://arxiv.org/abs/1907.11321},
eprinttype = {arXiv},
eprint = {1907.11321},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-03841,
author = {Akos Vertes and
Albert{-}Baskar Arul and
Peter Avar and
Andrew R. Korte and
Lida Parvin and
Ziad J. Sahab and
Deborah I. Bunin and
Merrill Knapp and
Denise Nishita and
Andrew Poggio and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Brian M. Davis and
Christine A. Morton and
Christopher J. Sevinsky and
Maria I. Zavodszky},
title = {Transcriptional Response of {SK-N-AS} Cells to Methamidophos},
journal = {CoRR},
volume = {abs/1908.03841},
year = {2019},
url = {http://arxiv.org/abs/1908.03841},
eprinttype = {arXiv},
eprint = {1908.03841},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-03841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08416,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Rub{\'{e}}n Rubio and
Carolyn L. Talcott},
title = {Programming and Symbolic Computation in Maude},
journal = {CoRR},
volume = {abs/1910.08416},
year = {2019},
url = {http://arxiv.org/abs/1910.08416},
eprinttype = {arXiv},
eprint = {1910.08416},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-08416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DuranHPTZ19,
author = {Francisco Dur{\'{a}}n and
Robert Heinrich and
Diego Perez{-}Palacin and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)},
journal = {Dagstuhl Reports},
volume = {9},
number = {11},
pages = {97--116},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.11.97},
doi = {10.4230/DAGREP.9.11.97},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DuranHPTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Talcott18,
author = {Carolyn L. Talcott},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Jan Rutten},
title = {From Soft Agents to Soft Component Automata and Back},
booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
series = {Lecture Notes in Computer Science},
volume = {10865},
pages = {189--207},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90089-6\_13},
doi = {10.1007/978-3-319-90089-6\_13},
timestamp = {Sat, 19 Oct 2019 20:29:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Talcott18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlTurkiKKNST18,
author = {Musab A. AlTurki and
Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {David Lie and
Mohammad Mannan},
title = {Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn
Family of Protocols},
booktitle = {Proceedings of the 2018 Workshop on Cyber-Physical Systems Security
and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018},
pages = {60--71},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264888.3264895},
doi = {10.1145/3264888.3264895},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AlTurkiKKNST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/VertesAAKLNPSHS18,
author = {Akos Vertes and
Albert{-}Baskar Arul and
Peter Avar and
Andrew R. Korte and
Hang Li and
Peter Nemes and
Lida Parvin and
Sylwia Stopka and
Sunil Hwang and
Ziad J. Sahab and
Linwen Zhang and
Deborah I. Bunin and
Merrill Knapp and
Andrew Poggio and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Brian M. Davis and
Sean R. Dinn and
Christine A. Morton and
Christopher J. Sevinsky and
Maria I. Zavodszky},
editor = {Milan Ceska and
David Safr{\'{a}}nek},
title = {Inferring Mechanism of Action of an Unknown Compound from Time Series
Omics Data},
booktitle = {Computational Methods in Systems Biology - 16th International Conference,
{CMSB} 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11095},
pages = {238--255},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99429-1\_14},
doi = {10.1007/978-3-319-99429-1\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/VertesAAKLNPSHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/DuranEEMMT18,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Vlad Rusu},
title = {Associative Unification and Symbolic Reasoning Modulo Associativity
in Maude},
booktitle = {Rewriting Logic and Its Applications - 12th International Workshop,
{WRLA} 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece,
June 14-15, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11152},
pages = {98--114},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99840-4\_6},
doi = {10.1007/978-3-319-99840-4\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/DuranEEMMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04066,
author = {Vivek Nigam and
Carolyn L. Talcott and
Abra{\~{a}}o Aires Urquiza},
title = {Symbolic Timed Observational Equivalence},
journal = {CoRR},
volume = {abs/1801.04066},
year = {2018},
url = {http://arxiv.org/abs/1801.04066},
eprinttype = {arXiv},
eprint = {1801.04066},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-04066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08450,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Reasoning about effects: from lists to cyber-physical agents},
journal = {CoRR},
volume = {abs/1801.08450},
year = {2018},
url = {http://arxiv.org/abs/1801.08450},
eprinttype = {arXiv},
eprint = {1801.08450},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04826,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Compliance in Real Time Multiset Rewriting Models},
journal = {CoRR},
volume = {abs/1811.04826},
year = {2018},
url = {http://arxiv.org/abs/1811.04826},
eprinttype = {arXiv},
eprint = {1811.04826},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/KanovichKNST17,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Time, computational complexity, and probability in the analysis of
distance-bounding protocols},
journal = {J. Comput. Secur.},
volume = {25},
number = {6},
pages = {585--630},
year = {2017},
url = {https://doi.org/10.3233/JCS-0560},
doi = {10.3233/JCS-0560},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/KanovichKNST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KanovichKNSTP17,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott and
Ranko Perovic},
title = {A rewriting framework and logic for activities subject to regulations},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {3},
pages = {332--375},
year = {2017},
url = {https://doi.org/10.1017/S096012951500016X},
doi = {10.1017/S096012951500016X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KanovichKNSTP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/0002AKTRMV17,
author = {Di Wu and
Dmitri I. Arkhipov and
Minyoung Kim and
Carolyn L. Talcott and
Amelia C. Regan and
Julie A. McCann and
Nalini Venkatasubramanian},
title = {{ADDSEN:} Adaptive Data Processing and Dissemination for Drone Swarms
in Urban Sensing},
journal = {{IEEE} Trans. Computers},
volume = {66},
number = {2},
pages = {183--198},
year = {2017},
url = {https://doi.org/10.1109/TC.2016.2584061},
doi = {10.1109/TC.2016.2584061},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/0002AKTRMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/TalcottK17,
author = {Carolyn L. Talcott and
Merrill Knapp},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Explaining Response to Drugs Using Pathway Logic},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {249--264},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_15},
doi = {10.1007/978-3-319-67471-1\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/TalcottK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/KappeAT17,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {A Component-Oriented Framework for Autonomous Agents},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {20--38},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_2},
doi = {10.1007/978-3-319-68034-7\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/KappeAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/Santos-Buitrago17,
author = {Beatriz Santos{-}Buitrago and
Adri{\'{a}}n Riesco and
Merrill Knapp and
Gustavo Santos{-}Garc{\'{\i}}a and
Carolyn L. Talcott},
editor = {Florentino Fdez{-}Riverola and
Mohd Saberi Mohamad and
Miguel P. Rocha and
Juan F. De Paz and
Tiago Pinto},
title = {Reverse Inference in Symbolic Systems Biology},
booktitle = {11th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2017, Porto, Portugal, 21-23
June, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {616},
pages = {101--109},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60816-7\_13},
doi = {10.1007/978-3-319-60816-7\_13},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/Santos-Buitrago17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MasonNTB17,
author = {Ian A. Mason and
Vivek Nigam and
Carolyn L. Talcott and
Alisson Vasconcelos de Brito},
editor = {Antonio Cerone and
Marco Roveri},
title = {A Framework for Analyzing Adaptive Autonomous Aerial Vehicles},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {406--422},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_28},
doi = {10.1007/978-3-319-74781-1\_28},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MasonNTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KanovichKNST17,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Time, Computational Complexity, and Probability in the Analysis of
Distance-Bounding Protocols},
journal = {CoRR},
volume = {abs/1702.03504},
year = {2017},
url = {http://arxiv.org/abs/1702.03504},
eprinttype = {arXiv},
eprint = {1702.03504},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KanovichKNST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00072,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
title = {A Component-oriented Framework for Autonomous Agents},
journal = {CoRR},
volume = {abs/1708.00072},
year = {2017},
url = {http://arxiv.org/abs/1708.00072},
eprinttype = {arXiv},
eprint = {1708.00072},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/Talcott16,
author = {Carolyn L. Talcott},
editor = {Tianhai Tian and
Qinghua Jiang and
Yunlong Liu and
Kevin Burrage and
Jiangning Song and
Yadong Wang and
Xiaohua Hu and
Shinichi Morishita and
Qian Zhu and
Guohua Wang},
title = {The Pathway Logic formal modeling system: Diverse views of a formal
representation of signal transduction},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2016, Shenzhen, China, December 15-18, 2016},
pages = {1468--1476},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIBM.2016.7822740},
doi = {10.1109/BIBM.2016.7822740},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/Talcott16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DuranEEMMT16,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Built-in Variant Generation and Unification, and Their Applications
in Maude 2.7},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {183--192},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_13},
doi = {10.1007/978-3-319-40229-1\_13},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DuranEEMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/NigamTU16,
author = {Vivek Nigam and
Carolyn L. Talcott and
Abra{\~{a}}o Aires Urquiza},
editor = {Ioannis G. Askoxylakis and
Sotiris Ioannidis and
Sokratis K. Katsikas and
Catherine Meadows},
title = {Towards the Automated Verification of Cyber-Physical Security Protocols:
Bounding the Number of Timed Intruders},
booktitle = {Computer Security - {ESORICS} 2016 - 21st European Symposium on Research
in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9879},
pages = {450--470},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45741-3\_23},
doi = {10.1007/978-3-319-45741-3\_23},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/esorics/NigamTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KanovichKNST16,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {228--244},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_14},
doi = {10.1007/978-3-319-44878-7\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/KanovichKNST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/Santos-GarciaTR16,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Carolyn L. Talcott and
Adri{\'{a}}n Riesco and
Beatriz Santos{-}Buitrago and
Javier De Las Rivas},
editor = {Mohd Saberi Mohamad and
Miguel P. Rocha and
Florentino Fdez{-}Riverola and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Juan F. De Paz},
title = {Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation
and Survival Using a Reachability Analysis Approach},
booktitle = {10th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2016, Sevilla, Spain, 1-3
June 2016},
series = {Advances in Intelligent Systems and Computing},
volume = {477},
pages = {173--181},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40126-3\_18},
doi = {10.1007/978-3-319-40126-3\_18},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/Santos-GarciaTR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/TalcottNAK16,
author = {Carolyn L. Talcott and
Vivek Nigam and
Farhad Arbab and
Tobias Kapp{\'{e}}},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical
Systems},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {1--35},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_1},
doi = {10.1007/978-3-319-34096-8\_1},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/TalcottNAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KappeAT16,
author = {Tobias Kapp{\'{e}} and
Farhad Arbab and
Carolyn L. Talcott},
editor = {Mehdi Kargahi and
Ashutosh Trivedi},
title = {A Compositional Framework for Preference-Aware Agents},
booktitle = {Proceedings of the The First Workshop on Verification and Validation
of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
Iceland, June 4-5, 2016},
series = {{EPTCS}},
volume = {232},
pages = {21--35},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.232.6},
doi = {10.4204/EPTCS.232.6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KappeAT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NigamTU16,
author = {Vivek Nigam and
Carolyn L. Talcott and
Abra{\~{a}}o Aires Urquiza},
title = {Towards the Automated Verification of Cyber-Physical Security Protocols:
Bounding the Number of Timed Intruders},
journal = {CoRR},
volume = {abs/1605.08563},
year = {2016},
url = {http://arxiv.org/abs/1605.08563},
eprinttype = {arXiv},
eprint = {1605.08563},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NigamTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KanovichKNST16,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed
Systems},
journal = {CoRR},
volume = {abs/1606.07886},
year = {2016},
url = {http://arxiv.org/abs/1606.07886},
eprinttype = {arXiv},
eprint = {1606.07886},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KanovichKNST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Marti-OlietOT15,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Jos{\'{e}} Meseguer: Scientist and Friend Extraordinaire},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {1--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_1},
doi = {10.1007/978-3-319-23165-5\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Marti-OlietOT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClavelDEELMT15,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Two Decades of Maude},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {232--254},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_11},
doi = {10.1007/978-3-319-23165-5\_11},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClavelDEELMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/TalcottAY15,
author = {Carolyn L. Talcott and
Farhad Arbab and
Maneesh Yadav},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed
Cyber-Physical Agent Systems},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {273--290},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_18},
doi = {10.1007/978-3-319-15545-6\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/TalcottAY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NigamDKMT15,
author = {Vivek Nigam and
Robin Donaldson and
Merrill Knapp and
Tim McCarthy and
Carolyn L. Talcott},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Inferring Executable Models from Formalized Experimental Evidence},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {90--103},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_9},
doi = {10.1007/978-3-319-23401-4\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/NigamDKMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/Santos-GarciaTR15,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Carolyn L. Talcott and
Javier De Las Rivas},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Analysis of Cellular Proliferation and Survival Signaling by Using
Two Ligand/Receptor Systems Modeled by Pathway Logic},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {226--245},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_13},
doi = {10.1007/978-3-319-26916-0\_13},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/hsb/Santos-GarciaTR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/KanovichKNST15,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
editor = {Riccardo Focardi and
Andrew C. Myers},
title = {Discrete vs. Dense Times in the Analysis of Cyber-Physical Security
Protocols},
booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
2015, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9036},
pages = {259--279},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46666-7\_14},
doi = {10.1007/978-3-662-46666-7\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/KanovichKNST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Talcott15,
author = {Carolyn L. Talcott},
editor = {Maribel Fern{\'{a}}ndez},
title = {Executable Formal Models in Rewriting Logic (Invited Talk)},
booktitle = {26th International Conference on Rewriting Techniques and Applications,
{RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {36},
pages = {22--22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.RTA.2015.22},
doi = {10.4230/LIPICS.RTA.2015.22},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Talcott15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015meseguer,
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5},
doi = {10.1007/978-3-319-23165-5},
isbn = {978-3-319-23164-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015meseguer.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Gutierrez-NolascoVST14,
author = {Sebastian Gutierrez{-}Nolasco and
Nalini Venkatasubramanian and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
title = {Tailoring consistency in group membership for mobile networks},
journal = {Future Gener. Comput. Syst.},
volume = {31},
pages = {134--146},
year = {2014},
url = {https://doi.org/10.1016/j.future.2013.06.014},
doi = {10.1016/J.FUTURE.2013.06.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/Gutierrez-NolascoVST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StehrKT14,
author = {Mark{-}Oliver Stehr and
Minyoung Kim and
Carolyn L. Talcott},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Partially Ordered Knowledge Sharing and Fractionated Systems in the
Context of other Models for Distributed Computing},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {402--433},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_20},
doi = {10.1007/978-3-642-54624-2\_20},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StehrKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/WangGHCLTS14,
author = {Anduo Wang and
Alexander J. T. Gurney and
Xianglong Han and
Jinyan Cao and
Boon Thau Loo and
Carolyn L. Talcott and
Andre Scedrov},
title = {A reduction-based approach towards scaling up formal analysis of internet
configurations},
booktitle = {2014 {IEEE} Conference on Computer Communications, {INFOCOM} 2014,
Toronto, Canada, April 27 - May 2, 2014},
pages = {637--645},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/INFOCOM.2014.6847989},
doi = {10.1109/INFOCOM.2014.6847989},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/WangGHCLTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/Santos-GarciaRT14,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Javier De Las Rivas and
Carolyn L. Talcott},
editor = {Ignacio Rojas and
Francisco M. Ortu{\~{n}}o Guzman},
title = {Rewriting Logic and Symbolic Systems Biology applied to {EGF} Signaling
Pathway},
booktitle = {International Work-Conference on Bioinformatics and Biomedical Engineering,
{IWBBIO} 2014, Granada, Spain, April 7-9, 2014},
pages = {924--935},
publisher = {Copicentro Editorial},
year = {2014},
url = {http://iwbbio.ugr.es/2014/papers/IWBBIO\_2014\_paper\_96.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwbbio/Santos-GarciaRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/LiCAASTKMW14,
author = {Hua Li and
Ralph Costantini and
David Anhalt and
Rafael Alonso and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Minyoung Kim and
Timothy McCarthy and
Samuel B. Wood},
title = {Adaptive Interest Modeling Improves Content Services at the Network
Edge},
booktitle = {2014 {IEEE} Military Communications Conference, {MILCOM} 2014, Baltimore,
MD, USA, October 6-8, 2014},
pages = {1027--1033},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MILCOM.2014.175},
doi = {10.1109/MILCOM.2014.175},
timestamp = {Fri, 16 Sep 2022 20:28:33 +0200},
biburl = {https://dblp.org/rec/conf/milcom/LiCAASTKMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacbb/Santos-GarciaRT14,
author = {Gustavo Santos{-}Garc{\'{\i}}a and
Javier De Las Rivas and
Carolyn L. Talcott},
editor = {Julio Saez{-}Rodriguez and
Miguel P. Rocha and
Florentino Fdez{-}Riverola and
Juan F. De Paz Santana},
title = {A Logic Computational Framework to Query Dynamics on Complex Biological
Pathways},
booktitle = {8th International Conference on Practical Applications of Computational
Biology {\&} Bioinformatics, {PACBB} 2014, 4-6 June, 2014, Salamanca,
Spain},
series = {Advances in Intelligent Systems and Computing},
volume = {294},
pages = {207--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07581-5\_25},
doi = {10.1007/978-3-319-07581-5\_25},
timestamp = {Wed, 12 Oct 2022 08:58:54 +0200},
biburl = {https://dblp.org/rec/conf/pacbb/Santos-GarciaRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/um/LiCAASTKMW14,
author = {Hua Li and
Ralph Costantini and
David Anhalt and
Rafael Alonso and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Minyoung Kim and
Timothy McCarthy and
Samuel B. Wood},
editor = {Iv{\'{a}}n Cantador and
Min Chi and
Rosta Farzan and
Robert J{\"{a}}schke},
title = {Adaptive Interest Modeling Enables Proactive Content Services at the
Network Edge},
booktitle = {Posters, Demos, Late-breaking Results and Workshop Proceedings of
the 22nd Conference on User Modeling, Adaptation, and Personalization
co-located with the 22nd Conference on User Modeling, Adaptation,
and Personalization (UMAP2014), Aalborg, Denmark, July 7-11, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1181},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1181/pros2014\_paper\_03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:25 +0100},
biburl = {https://dblp.org/rec/conf/um/LiCAASTKMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vric/Gressier-SoudanANMKTG14,
author = {Eric Gressier{-}Soudan and
Isabelle Astic and
St{\'{e}}phane Natkin and
J. Murray and
Minyoung Kim and
Carolyn L. Talcott and
P. Gautier},
title = {SeCG: Serendipity enabled cyber games project},
booktitle = {Proceedings of the 2014 Virtual Reality International Conference,
{VRIC} 2014, Laval, France, April 9-11, 2014},
pages = {13:1--13:4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2617841.2620699},
doi = {10.1145/2617841.2620699},
timestamp = {Fri, 28 Jan 2022 16:17:04 +0100},
biburl = {https://dblp.org/rec/conf/vric/Gressier-SoudanANMKTG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/EkerKSTKTK13,
author = {Steven Eker and
Markus Krummenacker and
Alexander Glennon Shearer and
Ashish Tiwari and
Ingrid M. Keseler and
Carolyn L. Talcott and
Peter D. Karp},
title = {Computing minimal nutrient sets from metabolic networks via linear
constraint solving},
journal = {{BMC} Bioinform.},
volume = {14},
pages = {114},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-114},
doi = {10.1186/1471-2105-14-114},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/EkerKSTKTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/WuBRT13,
author = {Di Wu and
Lichun Bao and
Amelia C. Regan and
Carolyn L. Talcott},
title = {Large-scale access scheduling in wireless mesh networks using social
centrality},
journal = {J. Parallel Distributed Comput.},
volume = {73},
number = {8},
pages = {1049--1065},
year = {2013},
url = {https://doi.org/10.1016/j.jpdc.2013.03.011},
doi = {10.1016/J.JPDC.2013.03.011},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/WuBRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KimST13,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
title = {A distributed logic for Networked Cyber-Physical Systems},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2453--2467},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.01.011},
doi = {10.1016/J.SCICO.2013.01.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KimST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/ChoiMYKTG13,
author = {Jong{-}Seok Choi and
Tim McCarthy and
Maneesh Yadav and
Minyoung Kim and
Carolyn L. Talcott and
Eric Gressier{-}Soudan},
title = {Application patterns for cyber-physical systems},
booktitle = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
pages = {52--59},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CPSNA.2013.6614246},
doi = {10.1109/CPSNA.2013.6614246},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/ChoiMYKTG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/QinDTV13,
author = {Zhijing Qin and
Grit Denker and
Carolyn L. Talcott and
Nalini Venkatasubramanian},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Achieving resilience of heterogeneous networks through predictive,
formal analysis},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {85--92},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461459},
doi = {10.1145/2461446.2461459},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/QinDTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Talcott13,
author = {Carolyn L. Talcott},
editor = {Anindya Banerjee and
Olivier Danvy and
Kyung{-}Goo Doh and
John Hatcliff},
title = {The Immune System: the ultimate fractionated cyber-physical system},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs:
Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
series = {{EPTCS}},
volume = {129},
pages = {309--324},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.129.18},
doi = {10.4204/EPTCS.129.18},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Talcott13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/DenkerDMSTV12,
author = {Grit Denker and
Nikil D. Dutt and
Sharad Mehrotra and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nalini Venkatasubramanian},
title = {Resilient dependable cyber-physical systems: a middleware perspective},
journal = {J. Internet Serv. Appl.},
volume = {3},
number = {1},
pages = {41--49},
year = {2012},
url = {https://doi.org/10.1007/s13174-011-0057-4},
doi = {10.1007/S13174-011-0057-4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/DenkerDMSTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KhakpourJTSM12,
author = {Narges Khakpour and
Saeed Jalili and
Carolyn L. Talcott and
Marjan Sirjani and
Mohammad Reza Mousavi},
title = {Formal modeling of evolving self-adaptive systems},
journal = {Sci. Comput. Program.},
volume = {78},
number = {1},
pages = {3--26},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.09.004},
doi = {10.1016/J.SCICO.2011.09.004},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KhakpourJTSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KimSTDV12,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nikil D. Dutt and
Nalini Venkatasubramanian},
title = {xTune: {A} formal methodology for cross-layer tuning of mobile embedded
systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {4},
pages = {73:1--73:23},
year = {2012},
url = {https://doi.org/10.1145/2362336.2362340},
doi = {10.1145/2362336.2362340},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KimSTDV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/WangJZRLRNST12,
author = {Anduo Wang and
Limin Jia and
Wenchao Zhou and
Yiqing Ren and
Boon Thau Loo and
Jennifer Rexford and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {{FSR:} formal analysis and implementation toolkit for safe interdomain
routing},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {20},
number = {6},
pages = {1814--1827},
year = {2012},
url = {https://doi.org/10.1109/TNET.2012.2187924},
doi = {10.1109/TNET.2012.2187924},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/WangJZRLRNST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/NigamKSTKP12,
author = {Vivek Nigam and
Tajana Ban Kirigin and
Andre Scedrov and
Carolyn L. Talcott and
Max I. Kanovich and
Ranko Perovic},
editor = {Gang Luo and
Jiming Liu and
Christopher C. Yang},
title = {Towards an automated assistant for clinical investigations},
booktitle = {{ACM} International Health Informatics Symposium, {IHI} '12, Miami,
FL, USA, January 28-30, 2012},
pages = {773--778},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110363.2110456},
doi = {10.1145/2110363.2110456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihi/NigamKSTKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WangTGLS12,
author = {Anduo Wang and
Carolyn L. Talcott and
Alexander J. T. Gurney and
Boon Thau Loo and
Andre Scedrov},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Brief announcement: a calculus of policy-based routing systems},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {343--344},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332501},
doi = {10.1145/2332432.2332501},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WangTGLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KanovichKNSTP12,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott and
Ranko Perovic},
editor = {Ashish Tiwari},
title = {A Rewriting Framework for Activities Subject to Regulations},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {305--322},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.305},
doi = {10.4230/LIPICS.RTA.2012.305},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/KanovichKNSTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/WangGHCTLS12,
author = {Anduo Wang and
Alexander J. T. Gurney and
Xianglong Han and
Jinyan Cao and
Carolyn L. Talcott and
Boon Thau Loo and
Andre Scedrov},
editor = {Lars Eggert and
J{\"{o}}rg Ott and
Venkata N. Padmanabhan and
George Varghese},
title = {Reduction-based analysis of {BGP} systems with BGPVerif},
booktitle = {{ACM} {SIGCOMM} 2012 Conference, {SIGCOMM} '12, Helsinki, Finland
- August 13 - 17, 2012},
pages = {89--90},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342356.2342374},
doi = {10.1145/2342356.2342374},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/WangGHCTLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/JalaliTVM12,
author = {Leila Jalali and
Carolyn L. Talcott and
Nalini Venkatasubramanian and
Sharad Mehrotra},
editor = {Gabriel A. Wainer and
Pieter J. Mosterman},
title = {Formal specification of multisimulations using Maude},
booktitle = {2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL,
USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory
of Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {22},
publisher = {{SCS/ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2346638},
timestamp = {Sat, 13 Oct 2012 13:15:05 +0200},
biburl = {https://dblp.org/rec/conf/springsim/JalaliTVM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangTGLS12,
author = {Anduo Wang and
Carolyn L. Talcott and
Alexander J. T. Gurney and
Boon Thau Loo and
Andre Scedrov},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Reduction-Based Formal Analysis of {BGP} Instances},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {283--298},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_20},
doi = {10.1007/978-3-642-28756-5\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangTGLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/IidaDT11,
author = {Shusaku Iida and
Grit Denker and
Carolyn L. Talcott},
title = {Document Logic: Risk Analysis of Business Processes Through Document
Authenticity},
journal = {J. Res. Pract. Inf. Technol.},
volume = {43},
number = {1},
pages = {41--64},
year = {2011},
url = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.41.pdf},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/IidaDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TalcottSR11,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
title = {Comparing three coordination models: Reo, ARC, and {PBRD}},
journal = {Sci. Comput. Program.},
volume = {76},
number = {1},
pages = {3--22},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2009.11.006},
doi = {10.1016/J.SCICO.2009.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/TalcottSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StehrTRLKCP11,
author = {Mark{-}Oliver Stehr and
Carolyn L. Talcott and
John M. Rushby and
Patrick Lincoln and
Minyoung Kim and
Steven Cheung and
Andy Poggio},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Fractionated Software for Networked Cyber-Physical Systems: Research
Directions and Long-Term Vision},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {110--143},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_7},
doi = {10.1007/978-3-642-24933-4\_7},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StehrTRLKCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KimSTDV11,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nikil D. Dutt and
Nalini Venkatasubramanian},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {A Formal Methodology for Compositional Cross-Layer Optimization},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {207--222},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_10},
doi = {10.1007/978-3-642-24933-4\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KimSTDV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PanikkarKMAKGT11,
author = {Anupama Panikkar and
Merrill Knapp and
Huaiyu Mi and
Dave Anderson and
Krishna Kodukula and
Amit K. Galande and
Carolyn L. Talcott},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Applications of Pathway Logic Modeling to Target Identification},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {434--445},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_21},
doi = {10.1007/978-3-642-24933-4\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PanikkarKMAKGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cts/Gutierrez-NolascoVTS11,
author = {Sebastian Gutierrez{-}Nolasco and
Nalini Venkatasubramanian and
Carolyn L. Talcott and
Mark{-}Oliver Stehr},
editor = {Waleed W. Smari and
Geoffrey C. Fox},
title = {Tailoring group membership consistency for mobile networks},
booktitle = {2011 International Conference on Collaboration Technologies and Systems,
{CTS} 2011, Philadelphia, Pennsylvania, USA, May 23-27, 2011},
pages = {548--554},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CTS.2011.5928735},
doi = {10.1109/CTS.2011.5928735},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/cts/Gutierrez-NolascoVTS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WangTJLS11,
author = {Anduo Wang and
Carolyn L. Talcott and
Limin Jia and
Boon Thau Loo and
Andre Scedrov},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {Analyzing {BGP} Instances in Maude},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {334--348},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_22},
doi = {10.1007/978-3-642-21461-5\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WangTJLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/KimST11,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Distributed Logic for Networked Cyber-Physical Systems},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {190--205},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_13},
doi = {10.1007/978-3-642-29320-7\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/KimST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DuranEEMT11,
author = {Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Variants, Unification, Narrowing, and Symbolic Reachability in Maude
2.6},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {31--40},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.31},
doi = {10.4230/LIPICS.RTA.2011.31},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/DuranEEMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/KimSGT11,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Ashish Gehani and
Carolyn L. Talcott},
editor = {Ching{-}Hsien Hsu and
Laurence Tianruo Yang and
Jianhua Ma and
Chunsheng Zhu},
title = {Ensuring Security and Availability through Model-Based Cross-Layer
Adaptation},
booktitle = {Ubiquitous Intelligence and Computing - 8th International Conference,
{UIC} 2011, Banff, Canada, September 2-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6905},
pages = {310--325},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23641-9\_26},
doi = {10.1007/978-3-642-23641-9\_26},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/uic/KimSGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/DonaldsonTKC10,
author = {Robin Donaldson and
Carolyn L. Talcott and
Merrill Knapp and
Muffy Calder},
editor = {Paola Quaglia},
title = {Understanding signalling networks as collections of signal transduction
pathways},
booktitle = {Computational Methods in Systems Biology, 8th International Conference,
{CMSB} 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings},
pages = {86--95},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839764.1839775},
doi = {10.1145/1839764.1839775},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/DonaldsonTKC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/StehrKT10,
author = {Mark{-}Oliver Stehr and
Minyoung Kim and
Carolyn L. Talcott},
editor = {Zhiwen Yu and
Ramiro Liscano and
Guanling Chen and
Daqing Zhang and
Xingshe Zhou},
title = {Toward Distributed Declarative Control of Networked Cyber-Physical
Systems},
booktitle = {Ubiquitous Intelligence and Computing - 7th International Conference,
{UIC} 2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6406},
pages = {397--413},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16355-5\_32},
doi = {10.1007/978-3-642-16355-5\_32},
timestamp = {Wed, 11 Nov 2020 16:58:38 +0100},
biburl = {https://dblp.org/rec/conf/uic/StehrKT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/middleware/2010arm,
editor = {Carolyn L. Talcott and
Nalini Venkatasubramanian},
title = {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},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0455-9},
timestamp = {Thu, 09 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/2010arm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {2},
pages = {113},
year = {2009},
url = {https://doi.org/10.1007/s10990-009-9045-9},
doi = {10.1007/S10990-009-9045-9},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {3},
pages = {197},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9051-y},
doi = {10.1007/S10990-010-9051-Y},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT09b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {4},
pages = {293},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9052-x},
doi = {10.1007/S10990-010-9052-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/IidaDT09,
author = {Shusaku Iida and
Grit Denker and
Carolyn L. Talcott},
title = {Document Logic: Risk analysis of business processes through document
authenticity},
booktitle = {Workshops Proceedings of the 12th {IEEE} International Enterprise
Distributed Object Computing Conference, EDOCw 2009, 1-4 September
2009, Auckland, New Zealand},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/EDOCW.2009.5332014},
doi = {10.1109/EDOCW.2009.5332014},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/edoc/IidaDT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ClavelDEELMMT09,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Santiago Escobar and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Ralf Treinen},
title = {Unification and Narrowing in Maude 2.4},
booktitle = {Rewriting Techniques and Applications, 20th International Conference,
{RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5595},
pages = {380--390},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02348-4\_27},
doi = {10.1007/978-3-642-02348-4\_27},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ClavelDEELMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SantiagoTEMM09,
author = {Sonia Santiago and
Carolyn L. Talcott and
Santiago Escobar and
Catherine Meadows and
Jos{\'{e}} Meseguer},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {A Graphical User Interface for Maude-NPA},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {3--20},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.002},
doi = {10.1016/J.ENTCS.2009.12.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SantiagoTEMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhakpourJTSM10,
author = {Narges Khakpour and
Saeed Jalili and
Carolyn L. Talcott and
Marjan Sirjani and
Mohammad Reza Mousavi},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {129--143},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.008},
doi = {10.1016/J.ENTCS.2010.05.008},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhakpourJTSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/Takahashi08a,
author = {Ashish Tiwari and
Carolyn L. Talcott},
editor = {Monika Heiner and
Adelinde M. Uhrmacher},
title = {Analyzing a Discrete Model of Aplysia Central Pattern Generator},
booktitle = {Computational Methods in Systems Biology, 6th International Conference,
{CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5307},
pages = {347--366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88562-7\_24},
doi = {10.1007/978-3-540-88562-7\_24},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/Takahashi08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cts/PagliarecciSST08,
author = {Francesco Pagliarecci and
Luca Spalazzi and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {William K. McQuay and
Waleed W. Smari},
title = {Formal specification of agent-object oriented programs},
booktitle = {2008 International Symposium on Collaborative Technologies and Systems,
{CTS} 2008, Irvine, California, USA, May 19-23, 2008},
pages = {127--134},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CTS.2008.4543922},
doi = {10.1109/CTS.2008.4543922},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/cts/PagliarecciSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimSTDV08,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nikil D. Dutt and
Nalini Venkatasubramanian},
editor = {Donatella Sciuto},
title = {Constraint Refinement for Online Verifiable Cross-Layer System Adaptation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {646--651},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484750},
doi = {10.1109/DATE.2008.4484750},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/KimSTDV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Talcott08,
author = {Carolyn L. Talcott},
editor = {Marco Bernardo and
Pierpaolo Degano and
Gianluigi Zavattaro},
title = {Pathway Logic},
booktitle = {Formal Methods for Computational Systems Biology, 8th International
School on Formal Methods for the Design of Computer, Communication,
and Software Systems, {SFM} 2008, Bertinoro, Italy, June 2-7, 2008,
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {5016},
pages = {21--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68894-5\_2},
doi = {10.1007/978-3-540-68894-5\_2},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Talcott08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuRT09,
author = {Yue Yu and
Shangping Ren and
Carolyn L. Talcott},
editor = {Carlos Canal and
Pascal Poizat and
Marjan Sirjani},
title = {Coordinating Asynchronous and Open Distributed Systems under Semiring-Based
Timing Constraints},
booktitle = {Proceedings of the 7th International Workshop on the Foundations of
Coordination Languages and Software Architectures, FOCLASA@ICALP 2008,
Reykjavik, Iceland, July 13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {2},
pages = {133--153},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.033},
doi = {10.1016/J.ENTCS.2009.06.033},
timestamp = {Fri, 24 Feb 2023 11:36:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YuRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Talcott08,
author = {Carolyn L. Talcott},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Cyber-Physical Systems and Events},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {101--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_6},
doi = {10.1007/978-3-540-89437-7\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Talcott08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Marti-OlietRT07,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Grigore Rosu and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {1-2},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9005-1},
doi = {10.1007/S10990-007-9005-1},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Marti-OlietRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/WilkinsDSEST07,
author = {David Wilkins and
Grit Denker and
Mark{-}Oliver Stehr and
Daniel Elenius and
Rukman Senanayake and
Carolyn L. Talcott},
title = {Policy-Based Cognitive Radios},
journal = {{IEEE} Wirel. Commun.},
volume = {14},
number = {4},
pages = {41--46},
year = {2007},
url = {https://doi.org/10.1109/MWC.2007.4300982},
doi = {10.1109/MWC.2007.4300982},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/wc/WilkinsDSEST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/TiwariTKLL07,
author = {Ashish Tiwari and
Carolyn L. Talcott and
Merrill Knapp and
Patrick Lincoln and
Keith Laderoute},
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Analyzing Pathways Using SAT-Based Approaches},
booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
pages = {155--169},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8\_12},
doi = {10.1007/978-3-540-73433-8\_12},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ab/TiwariTKLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/AbateBSTT07,
author = {Alessandro Abate and
Yu Bai and
Nathalie Sznajder and
Carolyn L. Talcott and
Ashish Tiwari},
title = {Quantitative and Probabilistic Modeling in Pathway Logic},
booktitle = {Proceedings of the 7th {IEEE} International Conference on Bioinformatics
and Bioengineering, {BIBE} 2007, October 14-17, 2007, Harvard Medical
School, Boston, MA, {USA}},
pages = {922--929},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/BIBE.2007.4375669},
doi = {10.1109/BIBE.2007.4375669},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/AbateBSTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibcb/ParvinGHKTLGS07,
author = {Bahram Parvin and
Nirmalya Ghosh and
Laura Heiser and
Merrill Knapp and
Carolyn L. Talcott and
Keith Laderoute and
Joe W. Gray and
Paul T. Spellman},
title = {Spectral Decomposition of Signaling Networks},
booktitle = {Proceedings of the 2007 {IEEE} Symposium on Computational Intelligence
in Bioinformatics and Computational Biology, {CIBCB} 2007, Honolulu,
Hawaii, USA, April 1-5, 2007, Part of the {IEEE} Symposium Series
on Computational Intelligence {(IEEE} {SSCI} 2007)},
pages = {76--81},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CIBCB.2007.4221207},
doi = {10.1109/CIBCB.2007.4221207},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibcb/ParvinGHKTLGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KimSTDV07,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nikil D. Dutt and
Nalini Venkatasubramanian},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Probabilistic Formal Analysis Approach to Cross Layer Optimization
in Distributed Embedded Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {285--300},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_18},
doi = {10.1007/978-3-540-72952-5\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/KimSTDV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KimSTDV07,
author = {Minyoung Kim and
Mark{-}Oliver Stehr and
Carolyn L. Talcott and
Nikil D. Dutt and
Nalini Venkatasubramanian},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Combining Formal Verification with Observed System Execution Behavior
to Tune System Parameters},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {257--273},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_19},
doi = {10.1007/978-3-540-75454-1\_19},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/KimSTDV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/EleniusDSSTW07,
author = {Daniel Elenius and
Grit Denker and
Mark{-}Oliver Stehr and
Rukman Senanayake and
Carolyn L. Talcott and
David Wilkins},
title = {CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies},
booktitle = {8th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2007), 13-15 June 2007, Bologna, Italy},
pages = {261--265},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/POLICY.2007.13},
doi = {10.1109/POLICY.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/EleniusDSSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TalcottSR08,
author = {Carolyn L. Talcott and
Marjan Sirjani and
Shangping Ren},
editor = {Carlos Canal and
Pascal Poizat and
Mirko Viroli},
title = {Comparing Three Coordination Models: Reo, ARC, and {RRD}},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of
Coordination Languages and Software Architectures, {FOCLASA} 2007,
Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {4},
pages = {39--55},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.098},
doi = {10.1016/J.ENTCS.2008.03.098},
timestamp = {Tue, 06 Dec 2022 12:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TalcottSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott08,
author = {Carolyn L. Talcott},
editor = {Dina Q. Goldin and
Farhad Arbab},
title = {A Formal Framework for Interactive Agents},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {3},
pages = {95--106},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.088},
doi = {10.1016/J.ENTCS.2008.04.088},
timestamp = {Mon, 13 Feb 2023 11:56:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Talcott08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Introduction},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {1--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_1},
doi = {10.1007/978-3-540-71999-1\_1},
timestamp = {Wed, 20 Sep 2023 08:58:11 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07a,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Using Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {31--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_2},
doi = {10.1007/978-3-540-71999-1\_2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07b,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Syntax and Basic Parsing},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {39--59},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_3},
doi = {10.1007/978-3-540-71999-1\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07c,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Functional Modules},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {61--118},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_4},
doi = {10.1007/978-3-540-71999-1\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07d,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {A Hierarchy of Data Types: From Trees to Sets},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {119--129},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_5},
doi = {10.1007/978-3-540-71999-1\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07e,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {System Modules},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {131--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_6},
doi = {10.1007/978-3-540-71999-1\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTPV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Miguel Palomino and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Playing with Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {159--184},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_7},
doi = {10.1007/978-3-540-71999-1\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07f,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Module Operations},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {185--230},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_8},
doi = {10.1007/978-3-540-71999-1\_8},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07g,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Predefined Data Modules},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {231--305},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_9},
doi = {10.1007/978-3-540-71999-1\_9},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTPV07a,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Miguel Palomino and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Specifying Parameterized Data Structures in Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {307--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_10},
doi = {10.1007/978-3-540-71999-1\_10},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07h,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Object-Based Programming},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {339--372},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_11},
doi = {10.1007/978-3-540-71999-1\_11},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07i,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Model Checking Invariants Through Search},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {373--384},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_12},
doi = {10.1007/978-3-540-71999-1\_12},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07j,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {{LTL} Model Checking},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {385--418},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_13},
doi = {10.1007/978-3-540-71999-1\_13},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07j.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07k,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Reflection, Metalevel Computation, and Strategies},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {419--458},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_14},
doi = {10.1007/978-3-540-71999-1\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07k.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07l,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Metaprogramming Applications},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {459--483},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_15},
doi = {10.1007/978-3-540-71999-1\_15},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07l.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTRV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Adri{\'{a}}n Riesco and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Mobile Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {485--522},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_16},
doi = {10.1007/978-3-540-71999-1\_16},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07m,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {User Interfaces and Metalanguage Applications},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {523--555},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_17},
doi = {10.1007/978-3-540-71999-1\_17},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07m.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07n,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Full Maude: Extending Core Maude},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {559--597},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_18},
doi = {10.1007/978-3-540-71999-1\_18},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07n.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07o,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Object-Oriented Modules},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {599--642},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_19},
doi = {10.1007/978-3-540-71999-1\_19},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07o.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07p,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {A Sampler of Application Areas},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {645--665},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_20},
doi = {10.1007/978-3-540-71999-1\_20},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Christiano Braga and
Azadeh Farzan and
Joe Hendrix and
Peter Csaba {\"{O}}lveczky and
Miguel Palomino and
Ralf Sasse and
Mark{-}Oliver Stehr and
Alberto Verdejo},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Some Tools},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {667--693},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_21},
doi = {10.1007/978-3-540-71999-1\_21},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07q,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Debugging and Troubleshooting},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {697--736},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_22},
doi = {10.1007/978-3-540-71999-1\_22},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07q.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07r,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Complete List of Maude Commands},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {737--749},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_23},
doi = {10.1007/978-3-540-71999-1\_23},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07r.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/maude/ClavelDELMMT07s,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Core Maude Grammar},
booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
pages = {751--756},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1\_24},
doi = {10.1007/978-3-540-71999-1\_24},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMT07s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/maude/2007,
editor = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
Program and Verify Systems in Rewriting Logic},
series = {Lecture Notes in Computer Science},
volume = {4350},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71999-1},
doi = {10.1007/978-3-540-71999-1},
isbn = {978-3-540-71940-3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/maude/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2006,
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/176/issue/4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrla/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/OlveczkyMT06,
author = {Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Specification and analysis of the {AER/NCA} active network protocol
suite in Real-Time Maude},
journal = {Formal Methods Syst. Des.},
volume = {29},
number = {3},
pages = {253--293},
year = {2006},
url = {https://doi.org/10.1007/s10703-006-0015-0},
doi = {10.1007/S10703-006-0015-0},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/OlveczkyMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HonsellT06,
author = {Furio Honsell and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {2-3},
pages = {167--168},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-8744-8},
doi = {10.1007/S10990-006-8744-8},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HonsellT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyFGKMT06,
author = {Olivier Danvy and
Andrzej Filinski and
Jean{-}Louis Giavitto and
Andy King and
Pierre{-}Etienne Moreau and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {19},
number = {4},
pages = {343--344},
year = {2006},
url = {https://doi.org/10.1007/s10990-006-0478-0},
doi = {10.1007/S10990-006-0478-0},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyFGKMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/TalcottD06,
author = {Carolyn L. Talcott and
David L. Dill},
title = {Multiple Representations of Biological Processes},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {221--245},
year = {2006},
url = {https://doi.org/10.1007/11880646\_10},
doi = {10.1007/11880646\_10},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/TalcottD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Talcott06,
author = {Carolyn L. Talcott},
title = {Formal Executable Models of Cell Signaling Primitives},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {298--302},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.66},
doi = {10.1109/ISOLA.2006.66},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Talcott06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Gutierrez-NolascoVST06,
author = {Sebastian Gutierrez{-}Nolasco and
Nalini Venkatasubramanian and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
title = {Towards Adaptive Secure Group Communication: Bridging the Gap between
Formal Specification and Network Simulation},
booktitle = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
{USA}},
pages = {113--120},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PRDC.2006.62},
doi = {10.1109/PRDC.2006.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Gutierrez-NolascoVST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Gutierrez-NolascoVT06,
author = {Sebastian Gutierrez{-}Nolasco and
Nalini Venkatasubramanian and
Carolyn L. Talcott},
editor = {Hisham Haddad},
title = {A semantic model for safe protocol interaction},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1599--1600},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141650},
doi = {10.1145/1141277.1141650},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/Gutierrez-NolascoVT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Talcott06,
author = {Carolyn L. Talcott},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Symbolic modeling of signal transduction in pathway logic},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1656--1665},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.322940},
doi = {10.1109/WSC.2006.322940},
timestamp = {Mon, 29 Apr 2024 16:19:40 +0200},
biburl = {https://dblp.org/rec/conf/wsc/Talcott06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerT07,
author = {Grit Denker and
Carolyn L. Talcott},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.004},
doi = {10.1016/J.ENTCS.2007.06.004},
timestamp = {Tue, 24 Jan 2023 12:37:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DenkerT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott07,
author = {Carolyn L. Talcott},
editor = {Guido Boella and
Mehdi Dastani and
Andrea Omicini and
Leon van der Torre and
Ivana Cern{\'{a}} and
Isabelle Linden},
title = {Policy-based Coordination in {PAGODA:} {A} Case Study},
booktitle = {Combined Proceedings of the Second International Workshop on Coordination
and Organization (CoOrg 2006) and the Second International Workshop
on Methods and Tools for Coordinating Concurrent, Distributed and
Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {181},
pages = {97--112},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.056},
doi = {10.1016/J.ENTCS.2007.01.056},
timestamp = {Tue, 24 Jan 2023 13:37:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Talcott07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WirsingDTPB07,
author = {Martin Wirsing and
Grit Denker and
Carolyn L. Talcott and
Andy Poggio and
Linda Briesemeister},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {A Rewriting Logic Framework for Soft Constraints},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {181--197},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.015},
doi = {10.1016/J.ENTCS.2007.06.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WirsingDTPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerTRBES07,
author = {Grit Denker and
Carolyn L. Talcott and
Grigore Rosu and
Mark van den Brand and
Steven Eker and
Traian{-}Florin Serbanuta},
editor = {Grit Denker and
Carolyn L. Talcott},
title = {Rewriting Logic Systems},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and
its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {233--247},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.06.018},
doi = {10.1016/J.ENTCS.2007.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DenkerTRBES07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/ShmatikovT05,
author = {Vitaly Shmatikov and
Carolyn L. Talcott},
title = {Reputation-based trust management},
journal = {J. Comput. Secur.},
volume = {13},
number = {1},
pages = {167--190},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13107},
doi = {10.3233/JCS-2005-13107},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/ShmatikovT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/KnappBELPTL05,
author = {Merrill Knapp and
Linda Briesemeister and
Steven Eker and
Patrick Lincoln and
Andy Poggio and
Carolyn L. Talcott and
Keith Laderoute},
title = {Pathway Logic Helping Biologists Understand and Organize Pathway Information},
booktitle = {Fourth International {IEEE} Computer Society Computational Systems
Bioinformatics Conference Workshops {\&} Poster Abstracts, {CSB}
2005 Workshops, Stanford, CA, USA, August 8-11, 2005},
pages = {155--156},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSBW.2005.103},
doi = {10.1109/CSBW.2005.103},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csb/KnappBELPTL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/DillKGTLL05,
author = {David L. Dill and
Merrill Knapp and
Pamela Gage and
Carolyn L. Talcott and
Keith Laderoute and
Patrick Lincoln},
editor = {Eleazar Eskin and
Trey Ideker and
Benjamin J. Raphael and
Christopher T. Workman},
title = {The Pathalyzer: {A} Tool for Analysis of Signal Transduction Pathways},
booktitle = {Systems Biology and Regulatory Genomics, Joint Annual {RECOMB} 2005
Satellite Workshops on Systems Biology and on Regulatory Genomics,
San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4023},
pages = {11--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-48540-7\_2},
doi = {10.1007/978-3-540-48540-7\_2},
timestamp = {Mon, 13 May 2019 09:30:09 +0200},
biburl = {https://dblp.org/rec/conf/recomb/DillKGTLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT05a,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Dina Q. Goldin and
Mirko Viroli},
title = {Actors and Logical Analysis of Interactive Systems},
booktitle = {Proceedings of the Workshop on the Foundations of Interactive Computation,
FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {5},
pages = {115--133},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.019},
doi = {10.1016/J.ENTCS.2005.05.019},
timestamp = {Tue, 13 Dec 2022 10:25:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MasonT05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott06,
author = {Carolyn L. Talcott},
editor = {Lubos Brim and
Isabelle Linden},
title = {Coordination Models Based on a Formal Model of Distributed Object
Reflection},
booktitle = {Proceedings of the First International Workshop on Methods and Tools
for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION
2005, Namur, Belgium, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {150},
number = {1},
pages = {143--157},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.028},
doi = {10.1016/J.ENTCS.2005.12.028},
timestamp = {Fri, 20 Jan 2023 09:08:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Talcott06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/StehrT05,
author = {Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {Practical Techniques for Language Design and Prototyping},
booktitle = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/300},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/StehrT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/VenkatasubramanianTA04,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott and
Gul Agha},
title = {A formal model for reasoning about adaptive QoS-enabled middleware},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {13},
number = {1},
pages = {86--147},
year = {2004},
url = {https://doi.org/10.1145/1005561.1005564},
doi = {10.1145/1005561.1005564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/VenkatasubramanianTA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ThatiTA04,
author = {Prasanna Thati and
Carolyn L. Talcott and
Gul Agha},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Techniques for Executing and Reasoning about Specification Diagrams},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {521--536},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_39},
doi = {10.1007/978-3-540-27815-3\_39},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ThatiTA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/Gutierrez-NolascoVST04,
author = {Sebastian Gutierrez{-}Nolasco and
Nalini Venkatasubramanian and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {Fabio Kon and
F{\'{a}}bio M. Costa and
Nanbor Wang and
Renato Cerqueira},
title = {Exploring adaptability of secure group communication using formal
prototyping techniques},
booktitle = {Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware,
{ARM} 2003, Toronto, Ontario, Canada, October 19, 2004},
pages = {232--237},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028613.1028622},
doi = {10.1145/1028613.1028622},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/Gutierrez-NolascoVST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psb/TalcottEKLL04,
author = {Carolyn L. Talcott and
Steven Eker and
Merrill Knapp and
Patrick Lincoln and
Keith Laderoute},
editor = {Russ B. Altman and
A. Keith Dunker and
Lawrence Hunter and
Tiffany A. Jung and
Teri E. Klein},
title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
booktitle = {Biocomputing 2004, Proceedings of the Pacific Symposium, Hawaii, USA,
6-10 January 2004},
pages = {568--580},
publisher = {World Scientific},
year = {2004},
url = {http://psb.stanford.edu/psb-online/proceedings/psb04/talcott.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/psb/TalcottEKLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerT05,
author = {Grit Denker and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Formal Checklists for Remote Agent Dependability},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {229--248},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.021},
doi = {10.1016/J.ENTCS.2004.06.021},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DenkerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT05,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {{IOP:} The InterOperability Platform {\&} IMaude: An Interactive
Extension of Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {315--333},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.016},
doi = {10.1016/J.ENTCS.2004.06.016},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MasonT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/EkerLLST03,
author = {Steven Eker and
Keith Laderoute and
Patrick Lincoln and
M. G. Sriram and
Carolyn L. Talcott},
editor = {Corrado Priami},
title = {Representing and Simulating Protein Functional Domains in Signal Transduction
Using Maude},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {164--165},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_15},
doi = {10.1007/3-540-36481-1\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/EkerLLST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csb/TalcottEKLL03,
author = {Carolyn L. Talcott and
Steven Eker and
Merrill Knapp and
Patrick Lincoln and
Keith Laderoute},
title = {Pathway Logic Modeling of Protein Functional Domains in Signal Transduction},
booktitle = {2nd {IEEE} Computer Society Bioinformatics Conference, {CSB} 2003,
Stanford, CA, USA, August 11-14, 2003},
pages = {618--619},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSB.2003.1227425},
doi = {10.1109/CSB.2003.1227425},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csb/TalcottEKLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsom/UttamchandaniTP03,
author = {Sandeep Uttamchandani and
Carolyn L. Talcott and
David Pease},
editor = {Marcus Brunner and
Alexander Keller},
title = {Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management},
booktitle = {Self-Managing Distributed Systems, 14th {IFIP/IEEE} International
Workshop on Distributed Systems: Operations and Management, {DSOM}
2003, Heidelberg, Germany, October 20-22, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2867},
pages = {16--27},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39671-0\_3},
doi = {10.1007/978-3-540-39671-0\_3},
timestamp = {Tue, 20 Aug 2019 14:59:26 +0200},
biburl = {https://dblp.org/rec/conf/dsom/UttamchandaniTP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ClavelDELMMT03,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Steven Eker and
Patrick Lincoln and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Robert Nieuwenhuis},
title = {The Maude 2.0 System},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {76--87},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_7},
doi = {10.1007/3-540-44881-0\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ClavelDELMMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyIT02,
author = {Olivier Danvy and
Takayasu Ito and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {1},
pages = {5},
year = {2002},
url = {https://doi.org/10.1023/A:1019966413716},
doi = {10.1023/A:1019966413716},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyIT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT02,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {4},
pages = {271},
year = {2002},
url = {https://doi.org/10.1023/A:1022974204050},
doi = {10.1023/A:1022974204050},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/SmithT02,
author = {Scott F. Smith and
Carolyn L. Talcott},
title = {Specification Diagrams for Actor Systems},
journal = {High. Order Symb. Comput.},
volume = {15},
number = {4},
pages = {301--348},
year = {2002},
url = {https://doi.org/10.1023/A:1022934504959},
doi = {10.1023/A:1022934504959},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/SmithT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Talcott02,
author = {Carolyn L. Talcott},
title = {Actor theories in rewriting logic},
journal = {Theor. Comput. Sci.},
volume = {285},
number = {2},
pages = {441--485},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00365-6},
doi = {10.1016/S0304-3975(01)00365-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Talcott02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dance/MeseguerOST02,
author = {Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky and
Mark{-}Oliver Stehr and
Carolyn L. Talcott},
title = {Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis
of Active Networks},
booktitle = {2002 {DARPA} Active Networks Conference and Exposition {(DANCE} 2002),
29-31 May 2002, San Francisco, CA, {USA}},
pages = {494--510},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DANCE.2002.1003516},
doi = {10.1109/DANCE.2002.1003516},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dance/MeseguerOST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MeseguerT02,
author = {Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Boris Magnusson},
title = {Semantic Models for Distributed Object Reflection},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {1--36},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_1},
doi = {10.1007/3-540-47993-7\_1},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/MeseguerT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Talcott02,
author = {Carolyn L. Talcott},
editor = {Bart Jacobs and
Arend Rensink},
title = {A Semantic Framework for Specifying and Reasoning about Composable
Distributed Middleware Services},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {25--26},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Talcott02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EkerKLLT02,
author = {Steven Eker and
Merrill Knapp and
Keith Laderoute and
Patrick Lincoln and
Carolyn L. Talcott},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {Pathway Logic: Executable Models of Biological Networks},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {144--161},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82533-2},
doi = {10.1016/S1571-0661(05)82533-2},
timestamp = {Wed, 07 Dec 2022 08:35:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EkerKLLT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StehrT02,
author = {Mark{-}Oliver Stehr and
Carolyn L. Talcott},
editor = {Fabio Gadducci and
Ugo Montanari},
title = {Plan in Maude: Specifying an Active Network Programming Language},
booktitle = {Fourth International Workshop on Rewriting logic and Its Applications,
WRLA2002, Pisa, Italy, 19-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {240--260},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82538-1},
doi = {10.1016/S1571-0661(05)82538-1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StehrT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2002,
editor = {Farhad Arbab and
Carolyn L. Talcott},
title = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
2002, YORK, UK, April 8-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2315},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46000-4},
doi = {10.1007/3-540-46000-4},
isbn = {3-540-43410-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/VenkatasubramanianT01,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott},
title = {A Semantic Framework for Modeling and Reasoning about Reflective Middleware},
journal = {{IEEE} Distributed Syst. Online},
volume = {2},
number = {6},
year = {2001},
url = {https://www.computer.org/csdl/mags/ds/2001/06/o6002-abs.html},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/VenkatasubramanianT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GiunchigliaPT01,
author = {Fausto Giunchiglia and
Paolo Pecchiari and
Carolyn L. Talcott},
title = {Reasoning Theories},
journal = {J. Autom. Reason.},
volume = {26},
number = {3},
pages = {291--331},
year = {2001},
url = {https://doi.org/10.1023/A:1006407208923},
doi = {10.1023/A:1006407208923},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GiunchigliaPT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT01,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {1},
pages = {5},
year = {2001},
url = {https://doi.org/10.1023/A:1011513031288},
doi = {10.1023/A:1011513031288},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyIT01,
author = {Olivier Danvy and
Takayasu Ito and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {4},
pages = {307},
year = {2001},
url = {https://doi.org/10.1023/A:1014426530629},
doi = {10.1023/A:1014426530629},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyIT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/OlveczkyKMTZ01,
author = {Peter Csaba {\"{O}}lveczky and
Mark Keaton and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott and
Steve Zabele},
editor = {Heinrich Hu{\ss}mann},
title = {Specification and Analysis of the {AER/NCA} Active Network Protocol
Suite in Real-Time Maude},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {333--348},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_24},
doi = {10.1007/3-540-45314-8\_24},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/OlveczkyKMTZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VenkatasubramanianTA01,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott and
Gul Agha},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {197--221},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_11},
doi = {10.1007/3-540-45251-6\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/VenkatasubramanianTA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {5--6},
year = {2000},
url = {https://doi.org/10.1023/A:1010022412197},
doi = {10.1023/A:1010022412197},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {159--160},
year = {2000},
url = {https://doi.org/10.1023/A:1010014500357},
doi = {10.1023/A:1010014500357},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {287--288},
year = {2000},
url = {https://doi.org/10.1023/A:1026586714900},
doi = {10.1023/A:1026586714900},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MesenguerT00,
author = {Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Semantic interoperation of open systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {64--65},
year = {2000},
url = {https://doi.org/10.1145/340855.340976},
doi = {10.1145/340855.340976},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MesenguerT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MeseguerT00,
author = {Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
title = {Maude},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {104},
year = {2000},
url = {https://doi.org/10.1145/340855.341115},
doi = {10.1145/340855.341115},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MeseguerT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BlasioFT00,
author = {Paolo Di Blasio and
Kathleen Fisher and
Carolyn L. Talcott},
title = {A Control-Flow Analysis for a Calculus of Concurrent Objects},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {617--634},
year = {2000},
url = {https://doi.org/10.1109/32.859531},
doi = {10.1109/32.859531},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BlasioFT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Talcott00,
author = {Carolyn L. Talcott},
editor = {Teodor Rus},
title = {Towards a Toolkit for Actor System Specification},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {391--406},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_28},
doi = {10.1007/3-540-45499-3\_28},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Talcott00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/CoglioGMT00,
author = {Alessandro Coglio and
Fausto Giunchiglia and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Composing and Controlling Search in Reasoning Theories Using Mappings},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {200--216},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_14},
doi = {10.1007/10720084\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/CoglioGMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT00,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Kokichi Futatsugi},
title = {Simple Network Protocol Simulation within Maude},
booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications,
{WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {36},
pages = {274--291},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80139-2},
doi = {10.1016/S1571-0661(05)80139-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MasonT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerMT00,
author = {Grit Denker and
Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Kokichi Futatsugi},
title = {Rewriting Semantics of Meta-Objects and Composable Distributed Services},
booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications,
{WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {36},
pages = {405--425},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80132-X},
doi = {10.1016/S1571-0661(05)80132-X},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DenkerMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2000,
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {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}},
series = {{IFIP} Conference Proceedings},
volume = {177},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7923-3},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {1},
pages = {5},
year = {1999},
url = {https://doi.org/10.1023/A:1010023032358},
doi = {10.1023/A:1010023032358},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Introduction},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {2},
pages = {123--124},
year = {1999},
url = {https://doi.org/10.1023/A:1010089522078},
doi = {10.1023/A:1010089522078},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99c,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {3},
pages = {219},
year = {1999},
url = {https://doi.org/10.1023/A:1010025114115},
doi = {10.1023/A:1010025114115},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT99b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {12},
number = {4},
pages = {307--308},
year = {1999},
url = {https://doi.org/10.1023/A:1010002000861},
doi = {10.1023/A:1010002000861},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MasonT99,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Actor Languages Their Syntax, Semantics, Translation, and Equivalence},
journal = {Theor. Comput. Sci.},
volume = {220},
number = {2},
pages = {409--467},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00009-2},
doi = {10.1016/S0304-3975(99)00009-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MasonT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeseguerT99,
author = {Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {A Partial Order Event Model for Concurrent Objects},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {415--430},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_29},
doi = {10.1007/3-540-48320-9\_29},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MeseguerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SmithT99,
author = {Scott F. Smith and
Carolyn L. Talcott},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Modular Reasoning for Actor Specification Diagrams},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/SmithT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/WeyhrauchCT98,
author = {Richard W. Weyhrauch and
Marco Cadoli and
Carolyn L. Talcott},
title = {Using Abstract Resources to Control Reasoning},
journal = {J. Log. Lang. Inf.},
volume = {7},
number = {1},
pages = {77--101},
year = {1998},
url = {https://doi.org/10.1023/A:1008275403912},
doi = {10.1023/A:1008275403912},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/WeyhrauchCT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Talcott98,
author = {Carolyn L. Talcott},
title = {Composable Semantic Models for Actor Theories},
journal = {High. Order Symb. Comput.},
volume = {11},
number = {3},
pages = {281--343},
year = {1998},
url = {https://doi.org/10.1023/A:1010042915896},
doi = {10.1023/A:1010042915896},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Talcott98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeseguerT98,
author = {Jos{\'{e}} Meseguer and
Carolyn L. Talcott},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Mapping {OMRS} to rewriting logic},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {33--54},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)82551-4},
doi = {10.1016/S1571-0661(05)82551-4},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MeseguerT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AghaMST97,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {A Foundation for Actor Computation},
journal = {J. Funct. Program.},
volume = {7},
number = {1},
pages = {1--72},
year = {1997},
url = {https://doi.org/10.1017/s095679689700261x},
doi = {10.1017/S095679689700261X},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AghaMST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MasonT97,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Semantically Sound Actor Tranlsation},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {369--378},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_193},
doi = {10.1007/3-540-63165-8\_193},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MasonT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Talcott97,
author = {Carolyn L. Talcott},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Composable Semantic Models for Actor Theories},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {321--364},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014558},
doi = {10.1007/BFB0014558},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Talcott97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GordonPT97,
author = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Preface},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {1},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80684-X},
doi = {10.1016/S1571-0661(05)80684-X},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GordonPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontanariT97,
author = {Ugo Montanari and
Carolyn L. Talcott},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Can Actors and pi-Agents Live Together?},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {189--196},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80697-8},
doi = {10.1016/S1571-0661(05)80697-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontanariT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott98,
author = {Carolyn L. Talcott},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Reasoning about Programs With Effects},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {301--314},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80243-9},
doi = {10.1016/S1571-0661(05)80243-9},
timestamp = {Fri, 11 Nov 2022 13:55:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Talcott98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/1997,
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/10/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MasonST96,
author = {Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {From Operational Semantics to Domain Theory},
journal = {Inf. Comput.},
volume = {128},
number = {1},
pages = {26--47},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0061},
doi = {10.1006/INCO.1996.0061},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MasonST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GiunchigliaPT96,
author = {Fausto Giunchiglia and
Paolo Pecchiari and
Carolyn L. Talcott},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning
Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {157--174},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/GiunchigliaPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Talcott96,
author = {Carolyn L. Talcott},
editor = {Jos{\'{e}} Meseguer},
title = {An actor rewriting theory},
booktitle = {First International Workshop on Rewriting Logic and its Applications,
{RWLW} 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September
3-6, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {4},
pages = {361--384},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(04)00047-7},
doi = {10.1016/S1571-0661(04)00047-7},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Talcott96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HonsellMST95,
author = {Furio Honsell and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
title = {A Variable Typed Logic of Effects},
journal = {Inf. Comput.},
volume = {119},
number = {1},
pages = {55--90},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1077},
doi = {10.1006/INCO.1995.1077},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HonsellMST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MasonT95,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Reasoning About Object Systems in VTLoE},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {3},
pages = {265--298},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000160},
doi = {10.1142/S0129054195000160},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MasonT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/VenkatasubramanianT95,
author = {Nalini Venkatasubramanian and
Carolyn L. Talcott},
editor = {James H. Anderson},
title = {Reasoning about Meta Level Activities in Open Distributed Systems},
booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
pages = {144--152},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224964.224981},
doi = {10.1145/224964.224981},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/VenkatasubramanianT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WeyhrauchT94,
author = {Richard W. Weyhrauch and
Carolyn L. Talcott},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {The Logic of {FOL} Systems: Formulated in Set Theory},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {119--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032398},
doi = {10.1007/BFB0032398},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WeyhrauchT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MasonT94,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Neil D. Jones and
Masami Hagiya and
Masahiko Sato},
title = {Program Transformation via Contextual Assertions},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
series = {Lecture Notes in Computer Science},
volume = {792},
pages = {225--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0032403},
doi = {10.1007/BFB0032403},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MasonT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Talcott93,
author = {Carolyn L. Talcott},
title = {A Theory of Binding Structures and Applications to Rewriting},
journal = {Theor. Comput. Sci.},
volume = {112},
number = {1},
pages = {99--143},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90240-T},
doi = {10.1016/0304-3975(93)90240-T},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Talcott93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Talcott92,
author = {Carolyn L. Talcott},
title = {A Theory for Program and Data Type Specification},
journal = {Theor. Comput. Sci.},
volume = {104},
number = {1},
pages = {129--159},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90169-G},
doi = {10.1016/0304-3975(92)90169-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Talcott92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MasonT92,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Inferring the Equivalence of Functional Programs That Mutate Data},
journal = {Theor. Comput. Sci.},
volume = {105},
number = {2},
pages = {167--215},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90301-U},
doi = {10.1016/0304-3975(92)90301-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MasonT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AghaMST92,
author = {Gul Agha and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Rance Cleaveland},
title = {Towards a Theory of Actor Computation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {565--579},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084816},
doi = {10.1007/BFB0084816},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AghaMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HonsellMST92,
author = {Furio Honsell and
Ian A. Mason and
Scott F. Smith and
Carolyn L. Talcott},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {A Theory of Classes for a Functional Language with Effects},
booktitle = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
pages = {309--326},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56992-8\_18},
doi = {10.1007/3-540-56992-8\_18},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/HonsellMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VenkatasubramanianAT92,
author = {Nalini Venkatasubramanian and
Gul Agha and
Carolyn L. Talcott},
editor = {Yves Bekkers and
Jacques Cohen},
title = {Scalable Distributed Garbage Collection for Systems of Active Objects},
booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
September 17-19, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {637},
pages = {134--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017187},
doi = {10.1007/BFB0017187},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VenkatasubramanianAT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MasonT92,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {References, Local Variables and Operational Reasoning},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {186--197},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185532},
doi = {10.1109/LICS.1992.185532},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MasonT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/MasonT91,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Equivalence in Functional Languages with Effects},
journal = {J. Funct. Program.},
volume = {1},
number = {3},
pages = {287--327},
year = {1991},
url = {https://doi.org/10.1017/S0956796800000125},
doi = {10.1017/S0956796800000125},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MasonT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Talcott91,
author = {Carolyn L. Talcott},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Towards a Theory of Binding Structures: An Abstract Algebra},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
series = {Workshops in Computing},
pages = {201--215},
publisher = {Springer},
year = {1991},
timestamp = {Tue, 18 Feb 2003 11:01:41 +0100},
biburl = {https://dblp.org/rec/conf/amast/Talcott91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Talcott91,
author = {Carolyn L. Talcott},
editor = {Vladimir Lifschitz},
title = {Binding Structures},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
pages = {427--448},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50030-x},
doi = {10.1016/B978-0-12-450010-5.50030-X},
timestamp = {Wed, 26 Jun 2019 13:52:03 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Talcott91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MasonT91,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Charles Consel and
Olivier Danvy},
title = {Program Transformations for Configuring Components},
booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
USA, June 17-19, 1991},
pages = {297--308},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/115865.115898},
doi = {10.1145/115865.115898},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MasonT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/GalbiatiT90,
author = {Louis Galbiati and
Carolyn L. Talcott},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {A Simplifier for Untyped Lambda Expressions},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {342--353},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_103},
doi = {10.1007/3-540-54317-1\_103},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/GalbiatiT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/Talcott90,
author = {Carolyn L. Talcott},
editor = {Alfonso Miola},
title = {A theory for program and data type specification},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {429},
pages = {91--100},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52531-9\_128},
doi = {10.1007/3-540-52531-9\_128},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/Talcott90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TalcottW90,
author = {Carolyn L. Talcott and
Richard W. Weyhrauch},
title = {Towards a Theory of Mechanizable Theories: I, {FOL} Contexts: The
Extensional View},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {634--639},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/TalcottW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/MasonT90,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Reasoning About Programs with Effects},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {189--203},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024185},
doi = {10.1007/BFB0024185},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/MasonT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/BronsteinT89,
author = {Alexandre Bronstein and
Carolyn L. Talcott},
editor = {Joseph Sifakis},
title = {Formal Verification of Synchronous Circuits based on String-Functional
Semantics: The 7 Paillet Circuits in Boyer-Moore},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {317--333},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_27},
doi = {10.1007/3-540-52148-8\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/BronsteinT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MasonT89,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Programming, Transforming, and Providing with Function Abstractions
and Memories},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {574--588},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035784},
doi = {10.1007/BFB0035784},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MasonT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MasonT89,
author = {Ian A. Mason and
Carolyn L. Talcott},
title = {Axiomatizing Operational Equivalence in the Presence of Side Effects},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {284--293},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39183},
doi = {10.1109/LICS.1989.39183},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MasonT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flfp/Talcott86,
author = {Carolyn L. Talcott},
editor = {Mauro Boscarol and
Luigia Carlucci Aiello and
Giorgio Levi},
title = {\emph{Rum}. An Intensional Theory of Function and Control Abstractions},
booktitle = {Foundations of Logic and Functional Programming, Workshop, Trento,
Italy, December 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {306},
pages = {3--44},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-19129-1\_1},
doi = {10.1007/3-540-19129-1\_1},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/flfp/Talcott86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Talcott85,
author = {Carolyn L. Talcott},
title = {The essence of Rum: a theory of the intensional and extensional aspects
of lisp-type computation},
school = {Stanford University, {USA}},
year = {1985},
url = {https://searchworks.stanford.edu/view/1190063},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Talcott85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-08 21:04 CEST 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:
