default search action
Carolyn L. Talcott
Person information
- affiliation: Stanford University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c146]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming Open Distributed Systems in Maude. PPDP 2024: 7:1-7:12 - [c145]Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott:
Time-Bounded Resilience. WRLA 2024: 22-44 - [i21]Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott:
Technical Report: Time-Bounded Resilience. CoRR abs/2401.05585 (2024) - 2023
- [c144]Gerald Whitters, Vivek Nigam, Carolyn L. Talcott:
Incremental Rewriting Modulo SMT. CADE 2023: 560-576 - [c143]Vivek Nigam, Carolyn L. Talcott:
Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. TASE 2023: 1-19 - [i20]Vivek Nigam, Carolyn L. Talcott:
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. CoRR abs/2304.11564 (2023) - 2022
- [j64]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. 124: 100719 (2022) - [j63]Vivek Nigam, Carolyn L. Talcott:
Automated construction of security integrity wrappers for Industry 4.0 applications. J. Log. Algebraic Methods Program. 126: 100745 (2022) - [j62]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A formal framework for distributed cyber-physical systems. J. Log. Algebraic Methods Program. 128: 100795 (2022) - [j61]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A semantic model for interacting cyber-physical systems. J. Log. Algebraic Methods Program. 129: 100807 (2022) - [j60]Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott:
Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. 32(9): 1254-1282 (2022) - [j59]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Security and Complexity of Periodic Systems. SN Comput. Sci. 3(5): 356 (2022) - [c142]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition of Systems of Interacting Cyber-Physical Components. WADT 2022: 141-162 - [c141]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - [c140]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. ICTAC 2022: 96-113 - [c139]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Interacting Cyber-Physical Agents. ISoLA (3) 2022: 356-372 - [c138]Vivek Nigam, Carolyn L. Talcott:
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. WRLA@ETAPS 2022: 212-229 - [i19]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Runtime Composition Of Systems of Interacting Cyber-Physical Components. CoRR abs/2205.13008 (2022) - [i18]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Rewriting Framework for Cyber-Physical Systems. CoRR abs/2206.03997 (2022) - [i17]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Formal Framework for Distributed Cyber-Physical Systems. CoRR abs/2207.01048 (2022) - 2021
- [j58]Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource and timing aspects of security protocols. J. Comput. Secur. 29(3): 299-340 (2021) - [c137]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275 - [c136]Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On Security Analysis of Periodic Systems: Expressiveness and Complexity. ICISSP 2021: 43-54 - [c135]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. ICE 2021: 77-95 - [p30]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Introduction. Composing Model-Based Analysis Tools 2021: 1-8 - [p29]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p28]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Overview of Challenges in Composing Model-Based Analysis Tools. Composing Model-Based Analysis Tools 2021: 41-43 - [p27]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - [p26]Francisco Durán, Robert Heinrich, Carolyn L. Talcott, Steffen Zschaler:
Conclusion. Composing Model-Based Analysis Tools 2021: 301-307 - [e9]Robert Heinrich, Francisco Durán, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools. Springer 2021, ISBN 978-3-030-81914-9 [contents] - [i16]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report. CoRR abs/2105.03531 (2021) - [i15]Deborah Shands, Carolyn L. Talcott:
Intentional Forgetting. CoRR abs/2106.09802 (2021) - [i14]Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
A Semantic Model for Interacting Cyber-Physical Systems. CoRR abs/2106.15661 (2021) - 2020
- [j57]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020) - [c134]Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn L. Talcott:
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. FMICS 2020: 130-147 - [c133]Adrián Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-García, Emiliano Hernández Galilea, Carolyn L. Talcott:
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. PACBB 2020: 80-90 - [c132]Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott:
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. VNC 2020: 1-8 - [c131]Vivek Nigam, Carolyn L. Talcott:
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications. WRLA@ETAPS 2020: 197-215 - [e8]Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada:
Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 12300, Springer 2020, ISBN 978-3-030-62076-9 [contents]
2010 – 2019
- 2019
- [j56]Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, José Carlos R. Alcantud, Gustavo Santos-García, Carolyn L. Talcott:
Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. IEEE Access 7: 18183-18193 (2019) - [j55]Ian A. Mason, Carolyn L. Talcott:
Reasoning about effects: from lists to cyber-physical agents. Log. Methods Comput. Sci. 15(2) (2019) - [j54]Tobias Kappé, Benjamin Lion, Farhad Arbab, Carolyn L. Talcott:
Soft component automata: Composition, compilation, logic, and verification. Sci. Comput. Program. 183 (2019) - [c130]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning 2019: 89-111 - [c129]Musab A. AlTurki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 192-213 - [c128]Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). CMSB 2019: 368-372 - [c127]Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Resource-Bounded Intruders in Denial of Service Attacks. CSF 2019: 382-396 - [c126]Vivek Nigam, Carolyn L. Talcott:
Formal Security Verification of Industry 4.0 Applications. ETFA 2019: 1043-1050 - [i13]Mark-Oliver Stehr, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky, Akos Vertes:
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. CoRR abs/1905.02291 (2019) - [i12]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes:
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR abs/1907.11321 (2019) - [i11]Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Lida Parvin, Ziad J. Sahab, Deborah I. Bunin, Merrill Knapp, Denise Nishita, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos. CoRR abs/1908.03841 (2019) - [i10]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019) - [i9]Francisco Durán, Robert Heinrich, Diego Perez-Palacin, Carolyn L. Talcott, Steffen Zschaler:
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). Dagstuhl Reports 9(11): 97-116 (2019) - 2018
- [c125]Carolyn L. Talcott:
From Soft Agents to Soft Component Automata and Back. It's All About Coordination 2018: 189-207 - [c124]Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. CPS-SPC@CCS 2018: 60-71 - [c123]Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Hang Li, Peter Nemes, Lida Parvin, Sylwia Stopka, Sunil Hwang, Ziad J. Sahab, Linwen Zhang, Deborah I. Bunin, Merrill Knapp, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Sean R. Dinn, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. CMSB 2018: 238-255 - [c122]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114 - [i8]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Symbolic Timed Observational Equivalence. CoRR abs/1801.04066 (2018) - [i7]Ian A. Mason, Carolyn L. Talcott:
Reasoning about effects: from lists to cyber-physical agents. CoRR abs/1801.08450 (2018) - [i6]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Compliance in Real Time Multiset Rewriting Models. CoRR abs/1811.04826 (2018) - 2017
- [j53]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, computational complexity, and probability in the analysis of distance-bounding protocols. J. Comput. Secur. 25(6): 585-630 (2017) - [j52]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A rewriting framework and logic for activities subject to regulations. Math. Struct. Comput. Sci. 27(3): 332-375 (2017) - [j51]Di Wu, Dmitri I. Arkhipov, Minyoung Kim, Carolyn L. Talcott, Amelia C. Regan, Julie A. McCann, Nalini Venkatasubramanian:
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing. IEEE Trans. Computers 66(2): 183-198 (2017) - [c121]Carolyn L. Talcott, Merrill Knapp:
Explaining Response to Drugs Using Pathway Logic. CMSB 2017: 249-264 - [c120]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Component-Oriented Framework for Autonomous Agents. FACS 2017: 20-38 - [c119]Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott:
Reverse Inference in Symbolic Systems Biology. PACBB 2017: 101-109 - [c118]Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito:
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops 2017: 406-422 - [i5]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols. CoRR abs/1702.03504 (2017) - [i4]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Component-oriented Framework for Autonomous Agents. CoRR abs/1708.00072 (2017) - 2016
- [c117]Carolyn L. Talcott:
The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction. BIBM 2016: 1468-1476 - [c116]Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192 - [c115]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) 2016: 450-470 - [c114]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. FORMATS 2016: 228-244 - [c113]Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas:
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. PACBB 2016: 173-181 - [c112]Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé:
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35 - [c111]Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Compositional Framework for Preference-Aware Agents. V2CPS@IFM 2016: 21-35 - [i3]Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza:
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR abs/1605.08563 (2016) - [i2]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems. CoRR abs/1606.07886 (2016) - 2015
- [c110]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
José Meseguer: Scientist and Friend Extraordinaire. Logic, Rewriting, and Concurrency 2015: 1-47 - [c109]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - [c108]Carolyn L. Talcott, Farhad Arbab, Maneesh Yadav:
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems. Software, Services, and Systems 2015: 273-290 - [c107]Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott:
Inferring Executable Models from Formalized Experimental Evidence. CMSB 2015: 90-103 - [c106]Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas:
Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. HSB 2015: 226-245 - [c105]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols. POST 2015: 259-279 - [c104]Carolyn L. Talcott:
Executable Formal Models in Rewriting Logic (Invited Talk). RTA 2015: 22-22 - [e7]Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott:
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9200, Springer 2015, ISBN 978-3-319-23164-8 [contents] - 2014
- [j50]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Tailoring consistency in group membership for mobile networks. Future Gener. Comput. Syst. 31: 134-146 (2014) - [c103]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software 2014: 402-433 - [c102]Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov:
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM 2014: 637-645 - [c101]Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott:
Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway. IWBBIO 2014: 924-935 - [c100]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM 2014: 1027-1033 - [c99]Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott:
A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. PACBB 2014: 207-214 - [c98]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops 2014 - [c97]Eric Gressier-Soudan, Isabelle Astic, Stéphane Natkin, J. Murray, Minyoung Kim, Carolyn L. Talcott, P. Gautier:
SeCG: Serendipity enabled cyber games project. VRIC 2014: 13:1-13:4 - 2013
- [j49]Steven Eker, Markus Krummenacker, Alexander Glennon Shearer, Ashish Tiwari, Ingrid M. Keseler, Carolyn L. Talcott, Peter D. Karp:
Computing minimal nutrient sets from metabolic networks via linear constraint solving. BMC Bioinform. 14: 114 (2013) - [j48]Di Wu, Lichun Bao, Amelia C. Regan, Carolyn L. Talcott:
Large-scale access scheduling in wireless mesh networks using social centrality. J. Parallel Distributed Comput. 73(8): 1049-1065 (2013) - [j47]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. 78(12): 2453-2467 (2013) - [c96]Jong-Seok Choi, Tim McCarthy, Maneesh Yadav, Minyoung Kim, Carolyn L. Talcott, Eric Gressier-Soudan:
Application patterns for cyber-physical systems. CPSNA 2013: 52-59 - [c95]Zhijing Qin, Grit Denker, Carolyn L. Talcott, Nalini Venkatasubramanian:
Achieving resilience of heterogeneous networks through predictive, formal analysis. HiCoNS 2013: 85-92 - [c94]Carolyn L. Talcott:
The Immune System: the ultimate fractionated cyber-physical system. Festschrift for Dave Schmidt 2013: 309-324 - 2012
- [j46]Grit Denker, Nikil D. Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian:
Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. 3(1): 41-49 (2012) - [j45]Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
Formal modeling of evolving self-adaptive systems. Sci. Comput. Program. 78(1): 3-26 (2012) - [j44]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian:
xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. 11(4): 73:1-73:23 (2012) - [j43]Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott:
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012) - [c93]Vivek Nigam, Tajana Ban Kirigin, Andre Scedrov, Carolyn L. Talcott, Max I. Kanovich, Ranko Perovic:
Towards an automated assistant for clinical investigations. IHI 2012: 773-778 - [c92]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Brief announcement: a calculus of policy-based routing systems. PODC 2012: 343-344 - [c91]Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic:
A Rewriting Framework for Activities Subject to Regulations. RTA 2012: 305-322 - [c90]Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov:
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM 2012: 89-90 - [c89]Leila Jalali, Carolyn L. Talcott, Nalini Venkatasubramanian, Sharad Mehrotra:
Formal specification of multisimulations using Maude. SpringSim (TMS-DEVS) 2012: 22 - [c88]Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov:
Reduction-Based Formal Analysis of BGP Instances. TACAS 2012: 283-298 - 2011
- [j42]Shusaku Iida, Grit Denker, Carolyn L. Talcott:
Document Logic: Risk Analysis of Business Processes Through Document Authenticity. J. Res. Pract. Inf. Technol. 43(1): 41-64 (2011) - [j41]Carolyn L. Talcott, Marjan Sirjani, Shangping Ren:
Comparing three coordination models: Reo, ARC, and PBRD. Sci. Comput. Program. 76(1): 3-22 (2011) - [c87]Mark-Oliver Stehr, Carolyn L. Talcott,