David Garlan

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 2020Author 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
ESEC/FSE 2020Author of A Behavioral Notion of Robustness for Software Systems within the Research Papers-track
ECSA 2020Committee Member in Steering Committee
SEAMS 2020Author of Towards Bridging the Gap between Control and Self-Adaptive System Properties within the SEAMS 2020-track
Author of Explanation for Human-on-the-loop: a probabilistic model checking approach within the SEAMS 2020-track
Author of Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots within the SEAMS 2020-track
Author of SEAMS 2006 MIP: Architecture-based self-adaptation in the presence of multiple objectives within the SEAMS 2020-track
Committee Member in Program Committee within the SEAMS 2020-track
SEAMS 2019Author of DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems within the SEAMS 2019-track
Session Chair of Security (part of SEAMS 2019)
Author of Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots within the SEAMS 2019-track
Program Committee in Program Committee within the SEAMS 2019-track
ICSE 2020Author of How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems within the Software Engineering in Practice-track
Committee Member in Program Committee within the Software Engineering Education and Training-track
ICSE 2019Committee Member in Program Committee within the Software Engineering Education and Training -track
Author of Trade-off-Oriented Development: Making Quality Attribute Trade-offs First-Class within the New Ideas and Emerging Results-track
SEAMS 2018Committee Member in Program Committee within the SEAMS 2018-track
Author of SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications within the SEAMS 2018-track
Author of Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic Search within the SEAMS 2018-track
Session Chair of Security and Adaptivity (part of SEAMS 2018)
Committee Member in Steering Committee within the SEAMS 2018-track
Security and Adaptivity Session Chair in Organizing Committee within the SEAMS 2018-track
Author of Uncertainty Reduction in Self-Adaptive Systems within the SEAMS 2018-track
* ICSE 2018 *Committee Member in SEET Program committee within the SEET - Software Engineering Education and Training -track