David Garlan - ACSOS 2020

Mon 17 - Fri 21 August 2020

Registered user since Mon 24 Apr 2017

Name: David Garlan

Country: United States

Affiliation: Carnegie Mellon University

Personal website: https://www.cs.cmu.edu/~garlan/

Research interests: Software architecture, self-adaptive systems, applied formal methods

Contributions

ACSOS 2020	Author of Case Study of an Automated Approach to Managing Collections of Autonomic Systems within the Research Papers-track Author of Building Reusable Repertoires for Stochastic Self-* Planners within the Research Papers-track Author of Hybrid Planning Using Learning and Model Checking for Autonomous Systems within the Research Papers-track Author of Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems within the Research Papers-track
Show activities from other conferences